Ideas & society2015 · shared on Hacker News
academic-pdf · hardin.pdf
Research PDF · needs verificationExplore academic-pdf · hardin.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.
YMilnerRoute ·
Intel Has a Big Problem
780 points337 comments
Ynikbackm ·
Finding a CPU Design Bug in the Xbox 360
606 points76 comments
Yarpa ·
The Unix-Haters Handbook (1994) [pdf]
382 points307 comments
Ygfortaine ·
Writing correct lock-free and distributed stateful systems in Rust, with TLA+
374 points94 comments
Ylamby ·
Status update from the Reproducible Builds project
322 points86 comments
Yjonbaer ·
Cloud companies consider Intel rivals after security flaws found
265 points124 comments
Ytom_mellior ·
Formal Verification: The Gap Between Perfect Code and Reality
222 points102 comments
Ydragostis ·
Redox OS Crash Challenge
179 points80 comments
Yjxub ·
Asmttpd: Web server for Linux written in amd64 assembly (2017)
166 points104 comments
Yawqrre ·
NSA Chief Hacker Explains How to Avoid NSA Spying
149 points50 comments
Ykushti ·
Coq to Rust Program Extraction
99 points18 comments
Yjcr ·
Another Look at Provable Security
41 points21 comments