The most important single aspect of software development is to be clear about what you are trying to build.

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

证明P=NP将对数学、密码学和算法设计产生深远的影响。

Acting is not about being someone different. It's finding the similarity in what is apparently different, then finding myself in there.

The discovery of DNA structure was like unraveling a very complex puzzle.

在有限的生命里，你必須去挑战伟大。