Skip to content
Better HN
Top
New
Best
Ask
Show
Jobs
Search
⌘K
vzaliva | Better HN
vzaliva
1,769 karma
Joined June 27, 2015
554 submissions
Technologist. Researcher in programming languages and formal verification.
