Skip to content

Top New Best Ask Show Jobs

vzaliva

1,746 karmaJoined June 27, 2015545 submissions

Technologist. Researcher in programming languages and formal verification.

vzaliva | Better HN

Recent submissions

1

Fixing a Buffer Overflow in Unix v4 Like It's 1973 (opens in new tab)

(sigma-star.at)

164vzaliva2mo ago42