This is an old revision of the document!
If you got here from a link in one of my blog posts, and are looking for the corresponding wiki page, here is a list of pages which were spawned from blog posts:
I used to write a blog. In September 2023, I realized that the blog format was preventing me from writing more, because I felt like every blog post had to be finished before publication.
Consequently I set up a wiki. I moved all of the writing on my blog into wiki pages. Those wiki pages have most likely changed since then.