"tackling concurrency bugs with tla " by hillel wayne
Published 6 years ago • 20K plays • Length 30:06Download video MP4
Download video MP3
Similar videos
-
18:20
strange loop chat with hillel wayne about tla
-
33:01
"haxl: a big hammer for concurrency" by simon marlow
-
38:51
hillel wayne: the two hardest problems in cs (june 5, 2018)
-
38:38
"level up your concurrency skills with rust" by david sullins
-
40:27
"finding bugs without running or even looking at code" by jay parlar
-
30:18
"formal specification and taming other people's tech" by marianne bellotti
-
38:22
"so you wanna go fast?" by tyler treat
-
4:32
exploiting-time-sensitive-vulnerabilities
-
16:33
multi endpoint race conditions lab | portswigger web academy
-
36:21
"probabilistic scripts for automating common-sense tasks" by alexander lew
-
27:11
"the skip ratchet" by brooklyn zelenka (strange loop 2022)
-
1:03:39
fighting concurrency bugs
-
38:26
hillel wayne - everything about distributed systems is terrible | code mesh ldn 18
-
39:26
"riot messaging service - message players like a pro" by michal ptaszek
-
29:30
"antics, drift, and chaos" by lorin hochstein
-
42:38
"correctness proofs of distributed systems with isabelle" by martin kleppmann
-
23:39
parallel computing and concurrency - guy doulberg - pycon israel 2019
-
42:41
"why we built our own distributed column store" by sam stokes
-
35:40
"incident insights from nasa, ntsb, and the cdc" by emil stolarsky
-
1:03:13
hillel wayne is designing distributed systems with tla
-
42:03
"how to have your causality and wall clocks, too" by jon moore