我们看到的不是事物的本质，而是自己的本质。

The past is a map, showing us where we have been.

The process of verification is as important as the process of creation in computer science.

最伟大的故事是那些为沉默留出空间的故事。