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