Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019

Designing Distributed Systems with TLA+ • Hillel Wayne • YOW! 2019
Share:

Download MP3


Similar Tracks

Keynote: TLA+ at Microsoft: 16 Years in Production - David Langworthy TLA+ - The Temporal Logic of Actions
"Tackling Concurrency Bugs with TLA+" by Hillel Wayne Strange Loop Conference
Applied Category Theory • Ken Scambler • YOW! 2019 GOTO Conferences
Reverse Engineering with TLA+ Calvin Loncaric, Oracle TLA+ - The Temporal Logic of Actions
The Verification of a Distributed System • Caitie McCaffrey • GOTO 2016 GOTO Conferences
Confessions of an Enterprise Architect • Scott Shaw • YOW! 2016 GOTO Conferences
Hillel Wayne — Designing distributed systems with TLA+ Hydra
Design a Basic Search Engine (Google or Bing) | System Design Interview Prep Interview Pen
Is Software Engineering Real Engineering? • Hillel Wayne • YOW! 2023 GOTO Conferences
Distributed Systems 5.1: Replication Martin Kleppmann
Pawel Szulc - Formal verification applied (with TLA+) Scala in the City
Andrew Ng Explores The Rise Of AI Agents And Agentic Reasoning | BUILD 2024 Keynote Snowflake Inc.
Large-Scale Architecture: The Unreasonable Effectiveness of Simplicity • Randy Shoup • YOW! 2022 GOTO Conferences
Lamport TLA+ Course Lecture 5: Transaction Commit (HD) TLA+ Video Course
Building confidence in concurrent code with a model checker - Scott Wlaschin - NDC London 2023 NDC Conferences
The Lost Art of Software Design • Simon Brown • YOW! 2019 GOTO Conferences
Lamport TLA+ Course Lecture 1: Introduction to TLA+ (HD) TLA+ Video Course
System Design was HARD until I Learned these 30 Concepts Ashish Pratap Singh
Leslie Lamport: Thinking Above the Code Microsoft Research
Jack Vanlightly — Distributed systems showdown — TLA + vs real code Hydra