We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
Successful software is buggy software.
From Leslie Lamport's Specifying Systems:
You should be suspicious if [the model checker] does not find a violation of a liveness property... you should also be suspicious if [it] finds no errors when checking safety properties.
This is specifically in the context of model-checking a formal specification, but it's a widely applicable software principle. It's not enough for a program to work, it has to work for the right reasons. Code working for the wrong reasons is code that's going to break when you least expect it. And since "correct for right reasons" is a much narrower target than "correct for any possible reason," we can't assume our first success is actually our intended success.
Hence, BSOS: Be Suspicious of Success.
continue reading on buttondown.com
⚠️ This post links to an external website. ⚠️
If this post was enjoyable or useful for you, please share it! If you have comments, questions, or feedback, you can email my personal email. To get new posts, subscribe use the RSS feed.