Hallöchen!

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

Posts

17.03.2024 - Productivity and a Casio Keyboard
An examination of how productivity and the need to "not waste time" can destroy joy in leisure activity. What happens when one becomes obsessed with maximizing efficiency?
21.09.2023 - 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.
08.09.2023 - Is LaTeX worth it?
A critique of academia's typesetting darling, LaTeX. Is its widespread usage really evidence of its inherent superiority?
09.07.2023 - Video Game Dialogues and Graph Theory
Analyzing video game dialogues using graph theory.
12.06.2023 - Hugo: Tips & Tricks
A few tips and tricks I found helpful when using Hugo.
12.05.2023 - Hooking Into Python Programs
A showcase of a novel method to hook into any Python program when a normal debugger just doesn't suffice.
26.02.2023 - Machine Regurgitation
A critical view on Large Language Models and their relation to education and art.
25.01.2023 - Screaming Into the Void
A tiny essay on why blogs are cool.