Ideas & society2016 · shared on Hacker News
academic-pdf · CorrectnessByConstruction.pdf
Research PDF · needs verificationExplore academic-pdf · CorrectnessByConstruction.pdf, its original source and Hacker News discussions. Discover community perspectives and save it to your reading list.
GO BEYOND THE ABSTRACT
The conversation around the idea.
Original Hacker News threads. Different perspectives, questions, and things worth thinking about.
Showing up to 100 related threads. A paper may appear in a comment rather than the original submission.
Links found in the discussion
Up to 50 recent source links, in HN item order.
Yiris-digital ·
Professional Software Development
474 points145 comments
Ymolecule ·
DOD Just Beginning to Grapple with Scale of Weapon Systems Vulnerabilities
414 points215 comments
Yquisquous ·
Why OpenBSD Is Important to Me
358 points154 comments
Ykiyanwang ·
45 years since its creation. The C language still very popular
170 points206 comments
Ythrowawaymath ·
Open-source crypto is no better than closed-source crypto
83 points58 comments
Ysigna11 ·
Knowledge-Sharing Architects as an Alternative to Coding Architects
61 points24 comments