程序最重要的属性是它是否实现了用户的意图。

I'm never pleased with anything, I'm a perfectionist, it's part of who I am.

The more you know about life, the more you can bring to your acting.

A writer is somebody for whom writing is more difficult than it is for other people.

对逻辑形式的研究不仅关乎语言，也关乎世界。