defanor's personal web page
This website is a personal one, where I am writing about the things I
learn, use, do, and think of.
Notes
Most recently modified notes:
Food Reasonably healthy, quick, and easy to cook meals
(2021-05 to 2022-01 ,
2689 words)
Distributed systems An overview of—and musings on—distributed computing
(2015-05 to 2022-01 ,
2715 words)
Commercial software development Purposes, technologies, and existential dread
(2022-01 ,
1558 words)
Issue tracking systems An overview and some thoughts on BTSes
(2015-08 to 2022-01 ,
887 words)
Software packaging and deployment An overview of software packaging and deployment options
(2018-10 to 2022-01 ,
1004 words)
Dependent types Links and notes on programming and formal verification with dependent types
(2019-09 to 2022-01 ,
803 words)
Web design checklist Creating accessible and usable websites
(2016-02 to 2021-12 ,
1465 words)
Music discovery Music recommender systems, metadata distribution, search, analysis
(2021-12 ,
332 words)
Other notes can be found in the index of notes . There is something
closer to a blog (a phlog) on my Gopher site .
Links
There is a lot of interesting things around, and I am trying to collect
them: it is both for me, to keep them around, and for others who may be
interested.