# Marvin Borner
19-year-old software developer and CogSci student living in Tübingen, Germany.
## Current interests
- Functional programming
- Homotopy type theory
- Lambda calculus
- Interaction nets
- CogSci (Neuroscience, Psychology, Linguistics, Philosophy)
## Skills
- Extensive Linux/*BSD experience
- C99, x86 NASM, LaTeX, JS/HTML/CSS, Haskell, Python, Racket, C#
- Network security (CTFs)
## Socials
## Internal links [asking me *may* grant you access]
- studium: Homework and exam solutions
- notes: {Study,everything} notes [Obsidian vault]
- shared: Sharing platform
---
[Warning: This website is hosted on an incredibly futuristically advanced quantum computer and might give you a different reponse randomly due to technical reasons.]
Imprint