真相总是被讲述出来的，而不是被知晓的。如果没有言语或文字，任何事情都不会有真相。存在的只有事实本身。

"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."

我既找不到一个完全献身于我的朋友，我就必须有些能以其推动力克服我的惰性的朋友。

Science is a powerful tool for humanity to understand and transform the world.

Never overtrade. To do so is to violate a fundamental rule of successful trading.

The best comedy comes from truth.

没有艺术；没有文学；没有社会；最糟糕的是，持续的恐惧和暴死的危险；人的生活孤独、贫困、卑污、残忍而短寿。