vzaliva Karma 1,778 Created 11 years ago About Technologist. Researcher in programming languages and formal verification. https://zaliva.org/ All submissions on HN · View profile on HN