Mathematical engineer bringing type safety to the cloud. I also wrote the Go arm64, sparc64, and Solaris ports.