写作不是揭示真相，而是创造一个可以发现真相的空间。

我是那种会让你想去教堂的人。

人的任务，就是意识到从潜意识中努力向上涌出的内容。

The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.

在全球化的世界中，本地化的思维是致命的。