Hillel Wayne is Designing Distributed Systems with TLA+

Distributed systems are hard. Even a few interacting agents can lead to tens of thousands or even millions of unique system states. At that scale, it’s impossible to test for, or even reason about, every possible edge case. We need better tools not just for building systems, but for understanding them.

To truly understand distributed systems, we need to turn to software modeling, or “formal methods”. A few hours of modeling catches complex bugs that would take weeks or months of development to discover. With software modeling, we can build distributed systems more confidently, quickly, and safely.

This talk will focus on one software modeling tool called TLA+, which has seen spectacular success in real-world projects. We will also demonstrate it on an example of a distributed system and close out by discussing learning resources.

Hillel is a software consultant in Chicago who specializes in formal methods. He is the author of Practical TLA+ and on the Alloy board, working to make rigorous software engineering widely accessible to everyday programmers. He designs complex software in a way that makes it cheaper, faster, and bug-free. In his free time, he juggles and makes candy. He is technically allowed to deliver babies in Illinois.

This virtual talk was brought to you by the Berlin Functional Programming Group.
Join us on Meetup: https://www.meetup.com/Berlin-Functio...
Follow us on Twitter:   / berlinfpgroup  
Buy a T-shirt: https://teespring.com/berlin-fp-group
Support us on Patreon:   / bfpg