BalinKing Karma 890 Created 9 years ago About 4th year Ph.D. student at CMU (programming languages and formal verification); ex-professional software developer.https://github.com/jgrosso All submissions on HN · View profile on HN