AWS found bugs in 60% of requirements. Its fix is 50-year-old logic engine | Dark Hacker News