It is much more rewarding to do more with less.

We should forget about small efficiencies, say about 97% of the time: premature optimization is the root of all evil. Yet we should not pass up our opportunities in that critical 3%

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 can’t go to a restaurant and order food because I keep looking at the fonts on the menu.

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

The best practice is inspired by theory.

God is a challenge because there is no proof of his existence and therefore the search must continue.