Found in 1 comment on Hacker News
agentultra · 2016-04-26 · Original thread
Linus' Law loses water when you consider using formal specifications, model checking, and -- if you have the budget and time -- proof. These systems and languages have come a long way and are far better than any human at checking your work and telling you where you are making mistakes.

Model checking in particular, in my limited experience using it, is effective at this.

You can eliminate many (not all... nothing's perfect) of these rules of thumb with a little math and analysis[0].

[0] https://www.amazon.ca/Programming-1990s-Introduction-Calcula...

Fresh book recommendations delivered straight to your inbox every Thursday.