Connor Baker

[email protected]

Costa Mesa, CA Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!