| user: | BalinKing |
| created: | January 2, 2017 |
| karma: | 851 |
| about: | Third-year Ph.D. student at CMU, working on programming languages and formal verification; CS undergrad at Caltech (BS '23, Venerable); ex-professional software developer. https://github.com/jgrosso |
| 1. |