写作是一种生活方式，一种存在于世界的方式，一种理解世界的方式。

The power of computation is not just in solving problems, but in the elegance and efficiency with which it does so.

一个好的旅行者不知道他要去哪里。

The deepest theorems often have the simplest proofs - if you look at them from the right angle.

圣经是基督躺卧的摇篮。