It's also worth noting that in places where reliability is worth the massive decrease in productivity (e.g. robots on mars, avionics, etc.) tools like formal verification and multiple implementations for verification of behavior are used.

Those are situations where scientists hire professionals to do the programming, so that supports joe_the_users's point.