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.
GitHub: http://github.com/Twisol Blog (inactive): http://www.jonathan.com/
[ my public key: https://keybase.io/twisol; my proof: https://keybase.io/twisol/sigs/t3hJmOxbrWLW5PpKNS3nbtl1bOYx5bSTwF75FHAW6Hw ]