[HN Gopher] Automated Reasoning at Amazon: A Conversation ___________________________________________________________________ Automated Reasoning at Amazon: A Conversation Author : kelsier1 Score : 45 points Date : 2022-08-08 19:41 UTC (3 hours ago) (HTM) web link (www.amazon.science) (TXT) w3m dump (www.amazon.science) | mxwsn wrote: | I wasn't familiar with this area, and it's so cool to hear about | Moore's law progress on solving SAT, and how SAT is like the | drosophila model. To me "automated reasoning" brings to mind | reasoning with large language models. | keepquestioning wrote: | Is there any field that isn't being hoovered up by AWS? | metadat wrote: | I thought FLoC was Google's Federated Labeling of Cohorts? This | is too much acronym overloading for me. | | I wonder which came first. | loa_in_ wrote: | > I'm particularly excited to meet the new generation of | scientists who have entered the field, to see the world afresh | through their eyes. This is such an amazing time to be in the | field of automated reasoning. | | Indeed | picardo wrote: | The hype is well-deserved. The Automated Reasoning Group is doing | some remarkable things. Zelkova[1] is making policy compliance a | breeze. And the institutional support for Dafny[2] -- a | verification aware programming language -- is bringing program | verification to the masses. Really envious of them. | | -------------- | | [1] https://aws.amazon.com/blogs/security/protect-sensitive- | data... [2] https://github.com/dafny-lang/dafny ___________________________________________________________________ (page generated 2022-08-08 23:00 UTC)