# Marvin Borner

19-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

• Mathe 1 lecture notes [incomplete]
• Mathe 2 lecture notes [incomplete]
• Mathe 2 exam prep
• Mathe 3 lecture notes [WIP]
• Algorithmen lecture notes [WIP]

## Socials

• github/marvinborner
• Email: Y29udGFjdEBtYXJ2aW5ib3JuZXIuZGUK [you can do it]

## Internal links [asking me *may* grant you access]

• studium: Homework and exam solutions
• notes: {Study,everything} notes [Obsidian vault]
• shared: Sharing platform