Wannabe figure skater ⛸️

I’ve been known to dabble in security, Haskell, Nix, Agda, and other nerdy computer things