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

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