AWS uses automated reasoning to help you achieve security at scale | Hacker News Reader