"Tackling Concurrency Bugs with TLA+" by Hillel Wayne
43:05
Pawel Szulc - Formal verification applied (with TLA+)
49:52
TLA+: Viewed from 40,000 Feet and Ground Level
1:06:34
How Simple Is "As Simple As Possible"? - Rendle . - NDC Porto 2024
38:26
Hillel Wayne - Everything about distributed systems is terrible | Code Mesh LDN 18
15:58
Acceptance Testing Is the FUTURE of Programming
42:41
"Why We Built Our Own Distributed Column Store" by Sam Stokes
14:44
A gentle intro to TLA+
40:27