vzaliva

1,787 karmajoined June 27, 2015On HN

Technologist. Researcher in programming languages and formal verification. https://zaliva.org/

Recent submissions

Fixing a Buffer Overflow in Unix v4 Like It's 1973 sigma-star.at
164vzaliva8mo42 comments

All submissions and comments on Hacker News.