Architecture is the art of making the ordinary sacred.

The key to advancing computer science is collaboration across disciplines.

λ演算是一种表示函数及其应用的形式体系。

"A journey is like marriage. The certain way to be wrong is to think you control it."

失败并不可怕，可怕的是不敢尝试。