Hacker News new | past | comments | ask | show | jobs | submit login

user: vzaliva created: June 27, 2015 karma: 1324 about: Technologist. Researcher in programming languages and formal verification. submissions comments favorites