About

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

  • Scala,
  • 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 sebastian@swsnr.de.

About this site

The static site generator Hugo generates HTML from the content of this site. Uberspace hosts the site with a TLS certificate from Let’s Encrypt; a custom script builds it in regular intervals.

I use the Vollkorn font for all body text, and Iosevka in Pragmata Pro Style (stylistic set ss08) with a variant of the Solarized colour scheme for code blocks.

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.