Software Verificationpalooza
Greg and Rain from the Oxide team joined Bryan and Adam to talk about powerful methods of verifying software: formal methods in the form of TLA+ and property-based testing in the form of the proptest Rust crate. If you care about making software right, don't miss it!
In addition to Bryan Cantrill and Adam Leventhal, we were joined by Oxide colleagues Greg Colombo and Rain Paharia.
Some of the topics we hit on, in the order that we hit them:
Distributed Sagas
Steno -- Oxide's implementation of distributed sagas
Learn TLA+
Hillel Wayne talks
Hillel Wayne on Alloy 6
Quickcheck Paper (2000)…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.