保持饥饿,保持愚蠢。
The beauty of the world has two edges, one of laughter, one of anguish, cutting the heart asunder.
The documenta is a laboratory for the future of art.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。