I’m a software developer from Munich and write software for satellite mission planning in Scala and Akka.
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.
In this blog I write about
- types and functional programming,
- and things I like about programming or I’m doing right now.
I don’t have any comments here, but I answer mails to email@example.com.
About this site
The Vollkorn and Iosevka fonts are subject to their respective licenses:
Unless otherwise noted all content on this site is subject to the CC BY-NC-ND 4.0 license.