quanttype is a weblog about computing, culture et cetera, by Miikka Koskinen. I live in Helsinki, Finland. Currently I work as a programmer and study mathematics. Other stuff I’m interested in includes photography and books. These are also the topics covered by this blog. There’s a special page for my posts about Coq.
I’ve been writing this site since 2013. Usually I’m writing down my thoughts on the stuff I’ve been doing or thinking about. Sometimes I offer tips on using UNIX shells or doing your laundry. You can find all the posts in the archive.
I aim to publish a post once a week. To get the latest updates, you can subscribe to the RSS feed.
I also aim to illustrate every post with a photo. All Finns claim to be inspired by the nature in Finland. I can’t deny it. Here’s a photo of the nature, for the reference: