I am Anton Lorenzen, a student of mathematics attending the University of Bonn. I publish some stuff on Github and I like Project Euler. I sometimes go to seminars and then publish a summary in German for my debating society. I am currently interested in:
- Type theory and theorem proving (Lean, Agda)
- Functional programming in Haskell
- Web/app programming (.NET Core/F#, Flutter, Reflex)
- Algorithms, discrete maths, algorithmic game theory
- Debating and Negotiating
- Developmental psychology
- Techno/House music
You can contact me under: *my github user name* @posteo.de