Tom Smeding's "blog"

Hi! People are supposed to have a blog nowadays, don't they? Well, this isn't really one, but it does contain some pieces of writing; in particular, there are some notes that I gathered for myself over the years, and that might be useful to someone else. Feel free to look around. :)