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:

Computing context
On extending the context in which personal computing is done ( to )
Everyday programming in Haskell
Regular Unix programming practice ()
Online service provision
Mostly technical notes on decent online service setups ( to )
Lightweight web browsers
Lightweight WWW user agent implementations and relevant technologies ( to )
A note on note taking ( to )
Dependent types
Links and notes on programming and formal verification with dependent types ( to )
Computer hardware
Personal notes on workstation hardware ( to )
Email usage notes, including mail server maintenance ( 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.