6,203 karma · joined August 4, 2011
Mathematical engineer working on pragmatic, Curry-style type systems.
Previously worked on the CUE language at https://cuelang.org.
I also wrote the arm64, sparc64, and Solaris Go ports.