Mathematical engineer bringing type safety to the cloud: https://cuelang.org.

I also wrote the arm64, sparc64, and Solaris Go ports.