This video was recorded at Lambda Days 2022 -https://www.lambdadays.org/lambdadays2022 Predicting and Preventing Chaos with Formal Methods in TLA+ | Thomas Gebert - Lecturer at CUNY CityTech ABSTRACT You wouldn't build a house without a blueprint, but a lot of design in distributed computing still comes in the form of untestable whiteboard drawings and ad-hoc scripts, with the hope (and prayers) of that Kubernetes will save you. A good use of formal methods can be the difference between you sleeping through the night and being paged, and TLA+ is great for formal methods. • Follow us on social: Twitter: https://twitter.com/LambdaDays LinkedIn: https://www.linkedin.com/company/lambda-days/ • Looking for a unique learning experience? Attend the next Lambda Days conference near you! • SUBSCRIBE TO OUR CHANNEL https://www.youtube.com/channel/UC47eUBNO8KBH_V8AfowOWOw See what's coming up at: https://codesync.global