Intrepid Haskellian, Nix flake manager, software freedom fighter, applied mathematician (in theory), and purveyor of abstract nonsense, among other things