“pointless to create TLA plus specifications. One thing…” — The Pragmatic Engineer at 1:22:33
“pointless to create TLA plus specifications. One thing that I was also thinking about is how Hill talks about why he thinks we're not good at catching concurrency bugs and it's because we don't have much practice with them. As a developer you're lucky to debug a concurrency bug once every few”
0:00
1:23:42