世界并不友善，但它是正确的。

理论计算机科学不仅仅是解决问题；它是关于理解计算本身的本质。

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

The speech we hear is an indication of that which we don't hear. It is a necessary avoidance, a violent, sly, anguished or mocking smokescreen which keeps the other in its place.

我们必须在气候行动的紧迫需求与能源安全和经济增长的同等紧迫需求之间取得平衡。