Hacker Newsnew | past | comments | ask | show | jobs | submitlogin
user:4ad
created:August 4, 2011
karma:6170
about:JSR PC, @(R6)+

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.

submissions
comments
favorites