The only thing I can rely on is my own perception, and that is always changing.

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

数学家的工作永无止境；总有新的问题要问，新的谜题要解。

I'm not trying to be cool, I'm just being me.

小说家的工作就是撒谎，但通过谎言揭示真相。

我的人生目标是：做一个对社会有贡献的人。