vzaliva Karma 1,668 Created 10 years ago About Technologist. Researcher in programming languages and formal verification. Recent Submissions 1. ▲ Fixing a Buffer Overflow in Unix v4 Like It's 1973 (sigma-star.at) 164 points · 21 days ago · 42 comments All submissions on HN · View profile on HN