BalinKing
4th year Ph.D. student at CMU (programming languages and formal verification); ex-professional software developer.
https://github.com/jgrosso
Recent submissions
All submissions and comments on Hacker News.
4th year Ph.D. student at CMU (programming languages and formal verification); ex-professional software developer.
https://github.com/jgrosso
All submissions and comments on Hacker News.