Science is the reverse process of discovering what people have believed for tens of thousands of years

Completely true though. By the history of a definition of a (software) "bug", a bug really did creep up into the system unnoticeably. But the modern software we write isn't getting infested with bugs - it is infested with programmer's errors and he is fully responsible for them. He ought to do his best and use appropriate tools for the purpose.

At the time of writing this I remembered another quote of Dijkstra: "If debugging is the process of removing bugs, then programming must be the process of putting them in". Bugs are not creeping up to the codebase - we are putting them in.

Perhaps Rust Needs "Defer"
Article, Comments

https://www.forth.org/OffeteStore/1013_eForthAndZen.pdf