Hacker News
- How Amazon Web Services Uses Formal Methods http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext 6 comments
Lobsters
- How Amazon Web Services Uses Formal Methods http://m.cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext 3 comments math , programming
- How Amazon Web Services uses Formal Methods http://cacm.acm.org/magazines/2015/4/184701-how-amazon-web-services-uses-formal-methods/fulltext 5 comments programming
Linking pages
- On the dangers of a blockchain monoculture https://tonyarcieri.com/on-the-dangers-of-a-blockchain-monoculture 83 comments
- AWS Week in Review – March 23, 2015 | AWS News Blog https://aws.amazon.com/blogs/aws/aws-week-in-review-march-23-2015/ 5 comments
- GitHub - heidihoward/distributed-consensus-reading-list: A list of papers about distributed consensus. https://github.com/heidi-ann/distributed-consensus-reading-list 0 comments
- On the dangers of a blockchain monoculture https://tonyarcieri.com/on-the-dangers-of-a-blockchain-monoculture?cmp=em-na-na-na-newsltr_four_short_links_20160107&imm_mid=0de9e3 0 comments
- CodeMotion 15–Takeaways from “Measuring micro-services” | theburningmonk.com http://theburningmonk.com/2015/06/codemotion15-takeaways-from-measuring-micro-services/ 0 comments
- GitHub - asatarin/testing-distributed-systems: Curated list of resources on testing distributed systems https://github.com/asatarin/testing-distributed-systems 0 comments
Related searches:
Search whole site: site:cacm.acm.org
Search title: How Amazon Web Services Uses Formal Methods | April 2015 | Communications of the ACM
See how to search.