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:
Control flow Error handling methods and state diagram depiction
(2016-12 to 2020-09 )
Typing and handwriting Observations and musings on typing and handwriting
(2020-07 )
Email Email usage notes, including mail server maintenance
(2016-06 to 2020-07 )
Issue tracking systems An overview and some thoughts on BTSes
(2015-08 to 2020-07 )
Dependent types Links and notes on programming and formal verification with dependent types
(2019-09 to 2020-06 )
Learning Blender My experience of learning Blender basics
(2016-01 to 2020-06 )
Another blocked website A timeline of Internet censorship and mass surveillance in Russia
(2016-08 to 2020-06 )
Web design checklist Creating accessible and usable websites
(2016-02 to 2020-05 )
Other notes can be found in the index of notes . 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.