过去充满了声音——我们只需要倾听。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
Happiness is holding someone in your arms and knowing you hold the whole world.
老虎的尾巴不会长在狸猫身上,象牙也不会长在老鼠的口中。这句话是说小人是不会做出高尚的事情的。
某种无形力量的可怕阴影,虽不可见,却在我们中间漂浮。