We must embrace change to stay ahead in this competitive industry.

The great question which, in all ages, has disturbed mankind, and brought on them the greatest part of their mischiefs, has been, not whether there be power in the world, nor whence it came, but who should have it.

If we want to feed the world, we must first learn to listen to it.

The use of a program to prove the 4-color theorem will not change mathematics - it merely demonstrates that the theorem, a challenge for a century, is a finite problem.

程序最重要的属性是它是否实现了用户的意图。