Hallöchen!

I am Philipp, a software engineer from Freiburg, Germany working at Natuvion. My main interests are in programming language theory, functional programming and program verification.

I’m a huge fan of Haskell and have created various learning materials for it:

Haskell for Imperative Programmers (Free YouTube series)
Learn Haskell by Example (Beginner book)

This page mainly serves as my personal blog where I write posts on all kinds of things, mainly software and technology related.

You can find me on:

Posts

12.04.2025 - A Distorted New World
This post is voicing concerns that uncritical and overoptimistic usage of AI will be exploited by private companies to influence our daily lives in unprecedented ways and bring horrific societal issues with it.
18.01.2025 - Data-aware Dialogues for Video Games
This post discusses a way to construct dialogues for video games in a graph-based system that allows to easily incorporate variables and data-manipulation.
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.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.