"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference · 3 HN recommendations
Video Q&A
Ask AI to explain this scene or summarize the whole video. When an answer includes timestamps, select one to jump to that moment.
Try asking: What is the speaker explaining here?
Google sign-in is required. Review the maximum credit cost before confirming.
Hillel Wayne's Strange Loop talk introducing TLA+ as a specification language for finding concurrency bugs in designs. It covers stalling, race conditions and dropped messages, with PlusCal examples.
Why HN recommends it: Recommended as a concise, high-level intro to what TLA+ is and when it helps.
“If you are new to TLA+ and just want to get the basic idea and use cases, I recommend the talk.” Read on HN ↗