Quotes
An idiot admires complexity, a genius admires simplicity.
Computers, for the first time in history, facilitate the field of pure applied philosophy.
Eventually, I decided that thinking was not getting me very far and it was time to try building.
Fools ignore complexity. Pragmatists suffer it. Some can avoid it. Geniuses remove it.
If everyone is busy making everything, how can anyone perfect anything?
One thousand Internet years ago, when I was in my late teens, I would describe myself as a "code poet".
Programs must be written for people to read, and only incidentally for machines to execute.
Symmetry is a complexity-reducing concept (co-routines include subroutines); seek it everywhere.
We are not trying to meet some abstract production quota of definitions, theorems and proofs. The measure of our success is whether what we do enables people to understand and think more clearly and effectively about mathematics.
What I cannot create, I do not understand.
