[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)