hackertube.io

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

Strange Loop Conference · talk · Watch on YouTube

Logic & formal methodsDistributed systems

What it is

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 Hacker News recommends it

Recommended as a concise, high-level intro to what TLA+ is and when it helps.

  • 3 people recommended it
  • 3 different months
  • 0 strong recommendations
  • first 2018, last 2025

What HN commenters said

  1. “If you are new to TLA+ and just want to get the basic idea and use cases, I recommend the talk.”

    Basic idea and use cases of TLA+

    ajmurmann, 2018-03 · Recommendation · in “Modeling Redux with TLA+”

  2. “there is a nice talk by Hillel Wayne on youtube”

    High-level overview of what TLA+ is

    bandwitch, 2018-07 · Recommendation · in “Learn how to design large-scale systems”

  3. “is fairly concise and gives some recommendations for literature and techniques”

    Concise talk showing how subtle simple concurrent algorithms can be

    cess11, 2025-05 · Recommendation · in “The first year of free-threaded Python”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: tla+, concurrency, pluscal, formal methods, hillel wayne

Also recommended by the same people