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:
Computer hardware Personal notes on workstation hardware
(2019-04 to 2019-10 )
Email Email usage notes, including mail server maintenance
(2016-06 to 2019-10 )
UI colours Legibility, colour selection, and colour generation for user interfaces
(2019-02 to 2019-10 )
Dependent types Links and notes on programming and formal verification with dependent types
(2019-09 to 2019-10 )
Software project complexity Different kinds of—and views on—complexity
(2019-01 to 2019-09 )
Reverse engineering of protocols Notes on dealing with unspecified network protocols and file formats
(2019-09 )
Flat structures Considering the merits of flat structures
(2017-11 to 2019-07 )
Lightweight web browsers Lightweight WWW user agent implementations and relevant technologies
(2019-06 to 2019-07 )
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 .
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.