# Programming

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

## 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.

## 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)