思想与社会2015 · 分享于 Hacker News
academic-pdf · hardin.pdf
研究 PDF · 待核实探索《academic-pdf · hardin.pdf》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
YMilnerRoute ·
Intel Has a Big Problem
780 赞同337 评论
Ynikbackm ·
Finding a CPU Design Bug in the Xbox 360
606 赞同76 评论
Yarpa ·
The Unix-Haters Handbook (1994) [pdf]
382 赞同307 评论
Ygfortaine ·
Writing correct lock-free and distributed stateful systems in Rust, with TLA+
374 赞同94 评论
Ylamby ·
Status update from the Reproducible Builds project
322 赞同86 评论
Yjonbaer ·
Cloud companies consider Intel rivals after security flaws found
265 赞同124 评论
Ytom_mellior ·
Formal Verification: The Gap Between Perfect Code and Reality
222 赞同102 评论
Ydragostis ·
Redox OS Crash Challenge
179 赞同80 评论
Yjxub ·
Asmttpd: Web server for Linux written in amd64 assembly (2017)
166 赞同104 评论
Yawqrre ·
NSA Chief Hacker Explains How to Avoid NSA Spying
149 赞同50 评论
Ykushti ·
Coq to Rust Program Extraction
99 赞同18 评论
Yjcr ·
Another Look at Provable Security
41 赞同21 评论