科学上的每一项伟大发现之前都有一些准备工作，往往持续多年。

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

释义：尺子不准确，画不出方形；圆规不标准，画不出圆形。

I like the idea that every life has its own rhythm, that people are not simply points moving through time.

生物普遍存在的生存斗争不是为了原材料——这些对生物来说是充足的——也不是为了能量，能量以热的形式在任何物体中都大量存在，而是为了熵，熵是通过能量从炽热的太阳转移到寒冷的地球而变得可用的。

领导力就是让他人因为你的存在而变得更好，并确保这种影响在你离开后依然持续。

文学不是现实的镜子，而是通向可能性的窗户。