True innovation comes from a deep understanding of existing problems.

朗兰兹纲领不是一座完成的建筑，而是一个活生生的、不断发展的框架。

当你没有看到这朵花时，这朵花和你的心一起归于寂静；当你看到这朵花时，这朵花的颜色便立刻鲜明起来，由此可知这朵花并不在你的心外。

The ocean is not just a resource to be exploited, but a legacy to be preserved for future generations.

写作是踏上未知之旅，每一个词都是踏入未知领域的一步。

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

市场是集体思维的镜子。

The only real mistake is the one from which we learn nothing.

译文：年轻时候的努力是有益终身的大事，对着匆匆逝去的光阴，不要丝毫放松自己的努力。赏析：光阴易逝，岁月不饶人，我们要敢于尝试，敢于拼搏，不要怕失败，即使失败了也会收获很多经验。

All good writing is swimming under water and holding your breath.