A program that has not been tested does not work.
Design and programming are human activities; forget that and all is lost.
Any verbose and tedious solution is error-prone because programmers get bored.
I would encourage nonproprietary standards for tools and libraries.
It's easy to win forgiveness for being wrong; being right is what gets you into real trouble.
Most of the programmers in ten years will be us, and we won't get much smarter.