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