Ideas & society2014 · shared on Hacker News
Use of Formal Methods at Amazon Web Services (2013) [pdf]
Research PDF · needs verificationExplore Use of Formal Methods at Amazon Web Services (2013) [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.
Ymoviuro ·
Dropbox’s Exodus from the Amazon Cloud
671 points240 comments
Yiris-digital ·
Professional Software Development
474 points145 comments
Ylandongn ·
Things I've learned about writing software after 12 years
298 points118 comments
Yjoyce ·
Stellar Consensus Protocol: Proof and Code
274 points93 comments
Yphilips ·
Torus: A distributed storage system by CoreOS
267 points183 comments
Yacidflask ·
Letters between Backus and Dijkstra (1979)
237 points122 comments
Yantirez ·
Is Redlock Safe? Reply to Redlock Analysis
181 points135 comments
Ysprucely ·
Hacker-Proof Code Confirmed
147 points97 comments
YDowwie ·
Dramatically Reducing Software Vulnerabilities [pdf]
132 points71 comments
Yctdean ·
Formal Methods in Building Robust Distributed Systems
109 points9 comments
Yahelwer ·
TLA+
105 points21 comments
Ympweiher ·
An empirical study on the correctness of formally verified distributed systems
105 points16 comments
Yyankcrime ·
Use of Formal Methods at Amazon Web Services (2013) [pdf]
91 points13 comments
YTomte ·
Use of Formal Methods at Amazon Web Services (2014) [pdf]
84 points5 comments
Yluu ·
Who Builds a House Without Drawing Blueprints?
47 points64 comments
Ybrown9-2 ·
Use of Formal Methods at Amazon Web Services [pdf]
4 points0 comments
Yalexatkeplar ·
Use of Formal Methods at Amazon Web Services [pdf]
2 points1 comments