The most important thing in the programming world is to make sure that the software we create is reliable and efficient.
证明的严谨性将数学与所有其他科学区分开来。
【译文】如果不明事理，那么动就不知道往哪里去;如果不动，那么即使明白事理也没有用处。
The true challenge in computer science is not just to build faster computers, but to develop smarter algorithms.
Every piece of plastic ever made still exists somewhere on this planet—that's both our challenge and our responsibility.