Nicolas :eisfunke_logo: eisfunke@inductive.space

Open on inductive.space

Hoi! I'm a master's student in computer science at TU Dortmund in Germany. 🏳️‍🌈🇱🇺

⚗️ functional programming, type theory, programming languages, science, education

:nixos: Linux, NixOS & Nix, computing infrastructure, free software

🚆 urbanism, cycling, transit, traffic & infrastructure

⛰️ hiking, sewing, podcasts, books, coffee, tea