有一个神，是众神和人类中最伟大的，无论在身体还是思想上都与凡人毫无相似之处。

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

喜剧是让人笑而不让人呕吐的艺术。

Innovation is not from 0 to 1, but from 1 to 100. Continuous iteration is the key.

我们每一个发现都使我们离理解宇宙的基本法则更近一步。

Sometimes, I think the purpose of life is to reconcile us to its eventual loss.

计算的本质不在于硬件，而在于驱动它的算法。

成为一名演员就是要成为人性的终身学生。