about this site

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.

If you want to reach me, you can tweet to me or send an e-mail to. My encryption key is available on Keybase. For more ways to contact, see my home page.

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:

A juniper covered in snow, with a birch in the background.