AWS

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods
108 points | 25 comments

AWS S3 sync does not sync all the files
14 points | 2 comments

US Govt is upselling AWS as a PaaS?
13 points | 12 comments

AWS CloudTrail network activity events for VPC endpoints now generally available
3 points | 0 comments

Comparing AWS, Azure, and GCP: Key Pros and Cons Overview
2 points | 1 comments

Fireprox: AWS tool for HTTP pass-through proxies with unique IPs
2 points | 0 comments

AWS Nat Gateway
2 points | 0 comments