AI-powered
podcast player
Listen to all your favourite podcasts with AI-powered features
How to Save Two Hours of TLA With Two Weeks of Debugging
Every line of code you write is a patch. You start off with a mess. The only difference in the small versus the large is that in some sense, bigger something is the more formal you have to be because it's going to be more complicated. People will just say, Oh, you know, using this formal stuff is just so hard. It's just so much work. I don't need to do that. And it's not a good attitude, especially if you're dealing with concurrence and there's concurrency involved.You just can't fly by the seat of your pants. You know, you're not going to get it right.