I work on deterministic computing, building and auditing tools on Nockchain and Urbit. I author programming languages.
Recent supporters