BalinKing

...joined 7 years ago, and has 381 karma

submissions / comments / favourites

First-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