BalinKing
has 915 karma and joined 10 years ago
submissions
/
comments
/
favourites
4th year Ph.D. student at CMU (programming languages and formal verification); ex–software developer.
https://github.com/jgrosso