BalinKing

has 960 karma and joined 10 years ago

submissions / comments / favourites

4th year PhD student at CMU (programming languages and formal verification); before that, software developer at GitKraken.

https://github.com/jgrosso jgrosso256@gmail.com