Mathematical engineer bringing type safety to the cloud: https://cuelang.org.
I also wrote the arm64, sparc64, and Solaris Go ports.
submissions | comments