Beware of bugs in the above code; I have only proved it correct, not tried it
If you find that you're spending almost all your time on theory, start turning some attention to practical things; it will improve your theories. If you find that you're spending almost all your time on practice, start turning some attention to theoretical things; it will improve your practice.
God is a challenge because there is no proof of his existence and therefore the search must continue.
Let us change our traditional attitude to the construction of programs. Instead of imagining that our main task is to instruct a computer what to do, let us concentrate rather on explaining to human beings what we want a computer to do.
Any inaccuracies in this index may be explained by the fact that it has been sorted with the help of a computer.
If you optimize everything, you will always be unhappy.
An algorithm must be seen to be believed.
I decry the current tendency to seek patents on algorithms. There are better ways to earn a living than to prevent other people from making use of one's contributions to computer science.
A list is only as strong as its weakest link.
The most important thing in the kitchen is the waste paper basket and it needs to be centrally located.
People think that computer science is the art of geniuses but the actual reality is the opposite, just many people doing things that build on eachother, like a wall of mini stones.
Email is a wonderful thing for people whose role in life is to be on top of things. But not for me; my role is to be on the bottom of things. What I do takes long hours of studying and uninterruptible concentration.
People who are more than casually interested in computers should have at least some idea of what the underlying hardware is like. Otherwise the programs they write will be pretty weird.
The whole thing that makes a mathematician's life worthwhile is that he gets the grudging admiration of three or four colleagues.
In fact, my main conclusion after spending ten years of my life working on the TEX project is that software is hard. It's harder than anything else I've ever had to do.