math/formal-methods.
- Formal Methods: Just Good Engineering Practice?
- Implementing and Verifying "Static Program Analysis" in Agda, Part 1: Lattices
- Fairness in TLA+
- TLA from first principles
- Why I use TLA+ and not(TLA+): Episode 1
- Be Suspicious of Success
- On the cruelty of really teaching computing science
- A liveness example in TLA+ – Surfing Complexity
- How to convince engineers that formal methods is cool • Buttondown
- State and time are the same thing • Buttondown