幸福就是珍惜小事。

I'm not going to change who I am just because people want to see something else.

λ演算不仅仅是一种形式主义，而是一种可以表达计算的语言。

When I start, my first idea for a building is with the material.

文学不过是被引导的梦。