I am a software engineer from Freiburg, Germany employed at Medilyse working on distributed systems using Haskell, TypeScript and Docker. Prior to starting my professional career I received a bachelors and masters degree in computer science from the Technical University of Munich. During my studies I focused on program correctness, functional programming and programming language theory.
In my free time I create a video series on the programming language Haskell. Also, I am the author of Haskell Bookcamp a comprehensive book for beginners to functional programming and Haskell specifically.
When I am not in front of the computer I either work on hobby electronics projects or sing, play guitar and create a mixture of rock, folk and electronic music.
This page mainly serves as my personal blog were I write posts on all kinds of things, mainly software and technology related.
Where I am active
Defeating Return Type Polymorphism
This post is an exploration of a generic technique to effectively circumvent return type polymorphism in Haskell programs using GADTs and existential quantification.
Is LaTeX worth it?
A critique of academia's typesetting darling, LaTeX. Is its widespread usage really evidence of its inherent superiority?
Video Game Dialogues and Graph Theory
Analyzing video game dialogues using graph theory.
Hugo: Tips & Tricks
A few tips and tricks I found helpful when using Hugo.
Hooking Into Python Programs
A showcase of a novel method to hook into any Python program when a normal debugger just doesn't suffice.
A critical view on Large Language Models and their relation to education and art.
Screaming Into the Void
A tiny essay on why blogs are cool.