Of course it’s true for coding. Most people reading this probably got into programming because of how fun it is to just try things and see if they work.
Of course you need a way to verify the code (types, tests, etc), but you already needed that anyway!
It’s true for algorithms, it’s not true for software systems. There is a ton of undefined behavior and unverifiable in software that’s widely distributed. A lot of the time this is even because those working on the systems don’t know the edge cases exist.
Of course you need a way to verify the code (types, tests, etc), but you already needed that anyway!