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:

Computer hardware
Personal notes on workstation hardware ( to )
Email usage notes, including mail server maintenance ( to )
UI colours
Legibility, colour selection, and colour generation for user interfaces ( to )
Dependent types
Links and notes on programming and formal verification with dependent types ( to )
Software project complexity
Different kinds of—and views on—complexity ( to )
Reverse engineering of protocols
Notes on dealing with unspecified network protocols and file formats ()
Flat structures
Considering the merits of flat structures ( to )
Lightweight web browsers
Lightweight WWW user agent implementations and relevant technologies ( to )

Other notes can be found in the index of notes, and among stashed notes that did not get into the index.

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.