A man's work is nothing but this slow trek to rediscover, through the detours of art, those two or three great and simple images in whose presence his heart first opened.
一个人的工作不过是通过艺术的迂回，重新发现那两三个伟大而简单的形象，在这些形象面前，他的心第一次敞开了。
我对中间状态、事物之间的相互关系感兴趣。
"A good line of poetry should surprise you twice: when you write it and when you read it."
The mirror is not just a surface, it's a dimension.
The goal is not to simply eliminate the bad, but to pursue and experience the best in the world.
判断两个λ表达式是否等价的问题是无法解决的。
我们最大的弱点在于放弃。成功最可靠的方法就是再多尝试一次。