hacker-news feeds.twtxt.net Tue, Aug 9 05:41 2022 (1y ago) Automated Reasoning at Amazon: A Conversation Comments ⌘ Read more ⤋ Read More