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:

• GitHub
• YouTube
• LinkedIn

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.