在所有人类的痛苦中,最苦涩的是:知道得太多却无法控制任何事情。
Collaboration across borders is essential to solve the global challenges of food security and ocean health.
A computer program does what you tell it to do, not what you want it to do.
用程序证明四色定理不会改变数学——它只是证明了这个挑战了一个世纪的定理是一个有限的问题。
Tragedy is when I cut my finger. Comedy is when you walk into an open sewer and die.
我们对自己说的最大谎言是 "这不需要写下来,我能记住的"。(换言之:好脑子不如烂笔头。)