Hi, I’m Stefan. I’m a programmer in the Stuttgart (Germany) area. I like technical writing, chatting, and exploring new things.

My general interests are programming languages of all kinds and formal methods in order to rigorously prove that code is correct. If you are aware of a new language, feature, tool, paper I should have read, or whatsoever I would love to hear about it. I’m always curious to hear how people solve, invent, use, or just have fun with technical things.

If you have a question, comment, or just want to talk to me about a post I wrote, then please contact me. Furthermore, if you think that something is wrong in a post, then please contact me—regardless if it is a major question or just a minor spelling mistake.

You can reach me via email which I prefer for the first time. My address is of the form <firstname>@<domain> where <domain> is any domain I own; including this one.