如果人们不能相信他们的政府做它该做的事,保护他们和促进他们的共同福利——那我们就完全失败了。
We are not in the coffee business serving people, but in the people business serving coffee.
You can't connect the dots looking forward; you can only connect them looking backwards.
The dead are not powerless. Dead, did I say? There is no death, only a change of worlds.
判断两个λ表达式是否等价的问题是无法解决的。
The beauty of physics lies in its ability to explain the complex with simple, elegant theories.