4ad
- Karma
- 6,200
- Created
- 14 years ago
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.
Recent Submissions
- 1. ▲ Computational Tyranny (happyfellow.bearblog.dev)
- 2. ▲ Introduction to the Par Language (faiface.github.io)