Programming

I’m an advocate of free-as-in-speech software and Creative Commons.

• Slides for a general audience (in German)

Pugs

Many moons ago, I contributed to Pugs, an experimental compiler and interpreter for Perl 6. This project had a lasting influence on me, among other things introducing me to Haskell.

• A retrospective on Pugs

Free software projects I maintain

• sshlatex: A collection of hacks to efficiently run LaTeX via ssh
• nat-traverse: NAT gateway traversal utility
• instiki-cli: Tiny tool to edit Instiki wikis such as the nLab locally
• A Haskell library for constructive algebra (student project, exact computation with complex numbers and computation of Galois groups)

Functional programming

I regularly give talks (in German) at the Curry Club Augsburg, a group of people interested in functional programming. Topics included:

• Haskell
• Monoids, free monoids and monads as monoids
• Effect systems
• Seemingly impossible functional programs
• Initial algebras and terminal coalgebras
• Infinite-time Turing machines
• Continuations
• Dark corners of logic
• Zipper

Ancient talks

Ancient talks for the Linux User Group Augsburg (in German)