AMAZON

Systems Correctness Practices at Amazon Web Services
377 points | 132 comments

Teaching Program Verification in Dafny at Amazon (2023)
34 points | 8 comments

Amazon Aurora DSQL is now generally available
17 points | 1 comments

AI turns Amazon coders into Amazon warehouse workers
16 points | 0 comments

The Times and Amazon Announce an A.I. Licensing Deal
12 points | 0 comments

Amazon Fire Sticks enable "billions of dollars" worth of streaming piracy
10 points | 3 comments

An illustrated guide to Amazon VPCs
7 points | 0 comments