> but modern languages, tooling and formal methods will hopefully mitigate that enough.

No, they won't :) This is the world now.