Hacker News with Generative AI: Formal Methods

Systems Correctness Practices at AWS: Leveraging Formal and Semi-Formal Methods (queue.acm.org)
AWS (Amazon Web Services) strives to deliver reliable services that customers can trust completely.
Systems Correctness, Cloud Computing, AWS, Software Engineering, Formal Methods
163 points by yarapavan 2 days ago | 52 comments
The Calculated Typer (bahr.io)
We present a calculational approach to the design of type checkers, showing how they can be derived from behavioural specifications using equational reasoning.
Type Theory, Programming Languages, Software Engineering, Formal Methods
75 points by matt_d 16 days ago | 5 comments
Formal Methods: Just Good Engineering Practice? (2024) (brooker.co.za)
Yes. The answer is yes. In your face, Betteridge.
Software Engineering, Formal Methods
211 points by aiono 83 days ago | 133 comments
The P Programming Language: Formal modeling and analysis of distributed systems (github.com/p-org)
Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interleaving of messages and failures. Unsurprisingly, it is common for service teams to uncover correctness bugs after deployment. Formal methods can play an important role in addressing this challenge!
Programming Languages, Distributed Systems, Formal Methods
17 points by wslh 145 days ago | 2 comments
Don't implement unification by recursion (philipzucker.com)
Unification is formal methods speak for solving equations.
Formal Methods, Programming, Computer Science
83 points by mathgenius 156 days ago | 62 comments
Reflecting away from definitions in Liquid Haskell (tweag.io)
We’ve all been there: wasting a couple of days on a silly bug. Good news for you: formal methods have never been easier to leverage.
Programming, Haskell, Formal Methods
4 points by JNRowe 202 days ago | 0 comments
Use of Formal Methods by a Silicon Manufacturer (1988) [pdf] (bris.ac.uk)
Formal Methods, Software Engineering, Manufacturing, History
11 points by todsacerdoti 263 days ago | 1 comments
Formal methods: Just good engineering practice? (brooker.co.za)
Formal Methods, Software Engineering, Programming Practices
179 points by ot 285 days ago | 149 comments
CBMC: C bounded model checker (2021) (cprover.org)
Software, Programming, Verification, Formal Methods
106 points by fanf2 334 days ago | 31 comments
Forge: A Tool to Teach Formal Methods (brownplt.org)
Formal Methods, Programming, Tools, Education
21 points by todsacerdoti 347 days ago | 1 comments