Nicolas :eisfunke_logo: eisfunke@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
:mastodon: admin of https://inductive.space
My podcasts (German): @bytegeschichten
@systemproblem