数学2023 · 分享于 Hacker News
How did software get so reliable without proof? (1996) [pdf]
研究 PDF · 待核实探索《How did software get so reliable without proof? (1996) [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Yaw1621107 ·
How to Secure Existing C and C++ Software Without Memory Safety [pdf]
132 赞同86 评论
Yhyperbrainer ·
Ask HN: Memory-safe low level languages?
61 赞同117 评论
Yspeckx ·
Turing Award winner and former Oxford professor Tony Hoare passed away
15 赞同2 评论
Yfanf2 ·
How did software get so reliable without proof? (1996) [pdf]
3 赞同2 评论
YAndrewDucker ·
How Did Software Get So Reliable Without Proof? [pdf]
2 赞同0 评论
YSamin100 ·
A willingness to look stupid is the most underrated moat in doing creative work
2 赞同0 评论
Ympweiher ·
How Did Software Get So Reliable Without Proof? (1996) [pdf]
1 赞同0 评论