I'm not here to be perfect; I'm here to be real.

希望是一种强大的动力，但必须与行动相结合才能有效。

I play every game like it is my last.

模形式的算术是窥探宇宙隐藏结构的窗口。

There are two ways of constructing a software design: One way is to make it so simple that there are obviously no deficiencies, and the other way is to make it so complicated that there are no obvious deficiencies.

判断两个λ表达式是否等价的问题是无法解决的。

纽约是一座反射之城。玻璃、金属、水——一切都在反射。