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
Jonas Chevalier 🦙 :Twitter_Verified_Badge: @zimbatm@gts.zimbatm.com
I like to build little tools: direnv, treefmt, ...
Bringing open source to companies with Numtide.