Hello there! I am Lukas Heidemann, a mathematics and computer science student at the University of Bonn. This is my blog which I intend to fill with mostly technical ramblings about Haskell, type theory and kernel code.

Feel free to have a look around, and don't forget to check out my GitHub projects!

My nickname often is a source of confusion, so I might as well explain it here: It is pronounced just like zero (the number). It originated in a phase of utter inability to come up with a name that isn't already taken just about anywhere (except reddit... I'm zrho0 there) and is no insult in any spoken language that Google knows about. But I like it, since it's short and quite unique. So no need to twist your tongue, you already know that word ;)

Recent Posts