has 6083 karma and joined 13 years ago
submissions / comments / favourites
Mathematical engineer bringing type safety to the cloud: https://cuelang.org.
I also wrote the arm64, sparc64, and Solaris Go ports.