Science is what we understand well enough to explain to a computer. Art is everything else we do.

The best practice is inspired by theory.

It is much more rewarding to do more with less.

The whole thing that makes a mathematician’s life worthwhile is that he gets the grudging admiration of three or four colleagues.

I define UNIX as 30 definitions of regular expressions living under one roof.

AI has by now succeeded in doing essentially everything that requires 'thinking' but has failed to do most of what people and animals do 'without thinking'-that, somehow, is much harder.

I remember that mathematicians were telling me in the 1960s that they would recognize computer science as a mature discipline when it had 1,000 deep algorithms. I think we've probably reached 500.