思想与社会2014 · 分享于 Hacker News
Use of Formal Methods at Amazon Web Services (2013) [pdf]
研究 PDF · 待核实探索《Use of Formal Methods at Amazon Web Services (2013) [pdf]》的原文与 Hacker News 社区讨论，查看来源并加入阅读清单。
从论文，走向讨论
看看社区如何讨论这个想法。
来自 Hacker News 的原始讨论。不同的视角、疑问，以及值得继续思考的线索。
最多展示 100 条相关讨论。论文可能出现在评论中，并非原帖投稿内容。
在讨论中发现的引用
按 HN 条目顺序展示最近的 50 条引用来源。
Ymoviuro ·
Dropbox’s Exodus from the Amazon Cloud
671 赞同240 评论
Yiris-digital ·
Professional Software Development
474 赞同145 评论
Ylandongn ·
Things I've learned about writing software after 12 years
298 赞同118 评论
Yjoyce ·
Stellar Consensus Protocol: Proof and Code
274 赞同93 评论
Yphilips ·
Torus: A distributed storage system by CoreOS
267 赞同183 评论
Yacidflask ·
Letters between Backus and Dijkstra (1979)
237 赞同122 评论
Yantirez ·
Is Redlock Safe? Reply to Redlock Analysis
181 赞同135 评论
Ysprucely ·
Hacker-Proof Code Confirmed
147 赞同97 评论
YDowwie ·
Dramatically Reducing Software Vulnerabilities [pdf]
132 赞同71 评论
Yctdean ·
Formal Methods in Building Robust Distributed Systems
109 赞同9 评论
Yahelwer ·
TLA+
105 赞同21 评论
Ympweiher ·
An empirical study on the correctness of formally verified distributed systems
105 赞同16 评论
Yyankcrime ·
Use of Formal Methods at Amazon Web Services (2013) [pdf]
91 赞同13 评论
YTomte ·
Use of Formal Methods at Amazon Web Services (2014) [pdf]
84 赞同5 评论
Yluu ·
Who Builds a House Without Drawing Blueprints?
47 赞同64 评论
Ybrown9-2 ·
Use of Formal Methods at Amazon Web Services [pdf]
4 赞同0 评论
Yalexatkeplar ·
Use of Formal Methods at Amazon Web Services [pdf]
2 赞同1 评论