"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Strange Loop Conference · 3 recomendações no HN
Perguntas sobre o vídeo
Peça à IA para explicar esta cena ou resumir o vídeo inteiro. Se a resposta tiver marcações de tempo, selecione uma para ir ao trecho.
Experimente perguntar: O que a pessoa está explicando aqui?
Entre com o Google. Confira o custo máximo em créditos antes de confirmar.
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.
Por que o HN recomenda: 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.” Ler no HN ↗