| user: | Twisol |
| created: | July 20, 2010 |
| karma: | 3.4k |
| about: | Software developer and mathematician; areas of interest include programming language semantics and concurrency. I <3 Rust. Currently a graduate student at UC Santa Cruz; previously worked at Caltech's Jet Propulsion Laboratory (JPL) on mission planning+simulation software. Blog: https://www.jonathan.com/ Twitter: https://twitter.com/Twisol GitHub: https://github.com/Twisol Email: twisolar <at> gmail (please don't come selling any services; otherwise, please let me know you found me via HN or something, because cold calls are confusing enough) [ my public key: https://keybase.io/twisol; my proof: https://keybase.io/twisol/sigs/t3hJmOxbrWLW5PpKNS3nbtl1bOYx5bSTwF75FHAW6Hw ] |