Connor Baker

Nix Engineer and Nix CUDA Maintainer

Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!

Twitter: