"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

Coal will remain a vital energy source, but only if we evolve with the times.

We are all in the gutter, but some of us are looking at the stars.

The computer is incredibly fast, accurate, and stupid. Man is unbelievably slow, inaccurate, and brilliant. The marriage of the two is a force beyond calculation.

I am a fighter and I don't give up.

在数学中，你不理解事物。你只是习惯了它们。