If you have a procedure with 10 parameters, you probably missed some.
A year spent in artificial intelligence is enough to make one believe in God.
One can't proceed from the informal to the formal by formal means.
Programmers are not to be measured by their ingenuity and their logic but by the completeness of their case analysis.
In computing, the mean time to failure keeps getting shorter.
Don't have good ideas if you aren't willing to be responsible for them.