Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
BalinKing | Dark Hacker News
user:
BalinKing
created:
January 2, 2017
karma:
915
about:
4th year Ph.D. student at CMU (programming languages and formal verification); ex–software developer.
https://github.com/jgrosso
submissions
comments
No submissions yet