Hi, I’m a mathematics student from Germany and among other things I’m interested in:

  • mathematics
  • pure functional programming languages
  • proof assistants
  • music, especially singing
  • ergonomic keyboard layouts
  • philosophy
  • history
  • politics
Licensed under CC BY-NC-SA 4.0
Last updated on Aug 10, 2023 13:21 CEST
Built with Hugo
Theme Stack designed by Jimmy