哲学的真正意义在于它能够唤醒我们的批判意识。
The less you need, the freer you become.
救赎是一条看不到尽头的长路。
λ演算不仅仅是一种形式主义,而是一种可以表达计算的语言。
I don't think you can ever stop learning as an actor.