In computing, the mean time to failure keeps getting shorter.
We are on the verge: Today our program proved Fermat's next-to-last theorem.
It is easier to change the specification to fit the program than vice versa.
One can't proceed from the informal to the formal by formal means.
Optimization hinders evolution.
Once you understand how to write a program get someone else to write it.