News for hackers. Stuff that matters.
Re:Dramatically Reducing Software Vulnerabilities [pdf] by jk4930 on Wednesday October 05, 2016 @11:08PM (#12649936)
Recent article and discussion: https://news.ycombinator.com/item?id=12612856 (A Hoare Logic for Rust)

There are no comments on this comment yet.