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