I currently write about
- types and functional programming,
- and things I like about programming or I’m doing right now.
I’m a software developer from Munich. Currently I write software for satellite mission planning in Scala and .NET.
I like Scala and Rust, and I believe that type systems are here to help us—I love powerful type systems, and I like to use types to make my code correct by construction.
The static site generator Hugo generates HTML from the content of this site. Netlify automatically builds the site after every push and serves the results in their CDN, using a TLS certificate from Let’s Encrypt.
The Vollkorn and Iosevka fonts are subject to their respective licenses: