from
Hacker News
Top
New
vzaliva
joined 6/27/15, 3:37 PM has 1435 karma
Technologist. Researcher in programming languages and formal verification.
This user hasn't posted yet