生活如果不搞笑的话那将成为一幕杯具。
In life, unlike chess, the game continues after checkmate.
Experience is a good school, but the fees are high.
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
没有艺术家是超越时代的。他就是他的时代。只是其他人落后于时代。