The most important property of a program is whether it accomplishes the intention of its user.

Theorems are not discovered by accident.

Don't worry about failures, worry about the chances you miss when you don't even try.

We believe that we need to own and control the primary technologies behind the products we make.

“唯一真正无限的是人类的想象力。”

The past is never really past; it lingers in the corners of our lives.

你活着，你学习。你爱着，你学习。你哭泣，你学习。你失去，你学习。你流血，你学习。你尖叫，你学习。