"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
Engineers explore architecture and security mechanisms for "Tackling Concurrency Bugs with TLA+" by Hillel Wayne.
Summary
No summary yet — watch the video above, or open it on YouTube.
Related talks
Strange Loop Conference·18 min
Industry experts analyze emerging threats surrounding Strange Loop Chat with Hillel Wayne about TLA+.
strangeloopchat+2
BalCCon2k25·51 min
Antoine Neuenschwander
Engineers explore architecture and security mechanisms for Antoine Neuenschwander - Cash for Bugs, Chaos for All.
antoineneuenschwandercash+3
Black Hat·43 min
Analysts investigate attack surfaces and defenses concerning Hunting for Bugs, Catching Dragons.
huntingbugcatching+2