|created:||July 20, 2010|
Software developer and mathematician; areas of interest include programming language semantics and ergonomics. I <3 Rust.|
Currently employed at Caltech's Jet Propulsion Laboratory (JPL); my words are my own and not those of my employer.
Blog (inactive): http://www.jonathan.com/
[ my public key: https://keybase.io/twisol; my proof: https://keybase.io/twisol/sigs/t3hJmOxbrWLW5PpKNS3nbtl1bOYx5bSTwF75FHAW6Hw ]