| user | BalinKing |
| created | Jan 18, 1970 |
| karma | 765 |
| 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 |
