Formal methods with Hillel Wayne

There's a popular theory going around that AI will finally make formal verification go mainstream because when machines write the code, humans will need mathematical proof that is correct.

It goes beyond the title with direct discussion of like, it's, think, including: Today, I'm talking with one of the best people to respond to this, Hillel Wayne, a formal methods consultant.

1. 01How AWS used TLA+, an overview of how Amazon found a rare bug inside of DynamoDB using this formal specifications language, a deep dive into property-based testing and why this is
2. 02Antisysys verifies your system's correctness by running your whole system in hostile simulation and finding bugs
3. 03It does this by using an approach called deterministic simulation testing or DST, which ADW's distinguished engineer Mark Brooker and Ankur Desai have described as lightweight form