# Marvin Borner
20-year-old software developer and Cognitive Science student living in Tübingen, Germany.
I'm also tutoring Praktische Informatik 1.
## Current interests
- Functional programming
- Homotopy type theory
- Finite state entropy
- Lambda calculus
- Interaction nets
- Cognitive Science (Neuroscience, Psychology, Linguistics, Philosophy)
## Skills
- Extensive Linux/*BSD experience
- C99, x86 NASM, LaTeX, JS/HTML/CSS, Haskell, Python, Racket, C#
- Network security (CTFs)
## University
Source-code and more: github.## Socials
## Internal links [asking me *may* grant you access]
---
[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