Death in itself is nothing; but we fear to be we know not what, we know not where.
死亡本身并不可怕;但我们害怕成为未知,去向未知。
The world is a great mountain, and we are the climbers.
实现明天理想的唯一障碍是今天的疑虑。
最好的领导者是那些能赋能他人去领导的人。
宇宙不仅比我们想象的更奇怪,它比我们能想象的还要奇怪。
数学中最重要的是理解概念,而不仅仅是记忆公式。
你必须忠于自己和你的艺术。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.