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.