cotalks.dev

"Tackling Concurrency Bugs with TLA+" by Hillel Wayne

(link)