For the best experience on desktop, install the Chrome extension to track your reading on news.ycombinator.com
Hacker Newsnew | past | comments | ask | show | jobs | submit | historyregister
user:BalinKing
created:January 2, 2017
karma:832
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

submissions
comments
favorites


HN For You