“Whereas with the TLA plus, like I write my model system…” — The Pragmatic Engineer at 41:47
“Whereas with the TLA plus, like I write my model system and then I click a button and it tells me, hey, race condition. And then you fix it and says like, hey, time out bug. And then you fix it again, it says, hey, TOCTOU bug. And that feedback loop ends up being so much faster than you get in practice.”
0:00
1:23:42