Some people are busy dying, others are busy living.

总是大胆思考，不要听那些告诉你做不到的人。

If you're alive, you've got to flap your arms and legs, you've got to jump around a lot, you've got to make a lot of noise, because life is the very opposite of death.

Science is not about being right; it’s about being less wrong.

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

史记

60年代的故事，就像飞碟登陆一样。每个人都听说过，但很少有人亲眼见过。

量子力学和引力之间的相互作用是我们这个时代最大的谜题，解决它将揭示宇宙的秘密。