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.


Most recently modified notes:

Reasonably healthy, quick, and easy to cook meals ( to , 2689 words)
Distributed systems
An overview of—and musings on—distributed computing ( to , 2715 words)
Commercial software development
Purposes, technologies, and existential dread (, 1558 words)
Issue tracking systems
An overview and some thoughts on BTSes ( to , 887 words)
Software packaging and deployment
An overview of software packaging and deployment options ( to , 1004 words)
Dependent types
Links and notes on programming and formal verification with dependent types ( to , 803 words)
Web design checklist
Creating accessible and usable websites ( to , 1465 words)
Music discovery
Music recommender systems, metadata distribution, search, analysis (, 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.


Most of my recent hobby projects are on, and on my GitHub page.

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.