现实是心灵的建构。

靠正道谋生的人都尽心尽力去做些有益于他人和世界的事，这使得世人都离不开他，老天爷自然也离不得他。如此做法才是一个人安身立命的最好途径。

书籍是最安静、最恒久的朋友；它们是最易接近、最明智的顾问，也是最耐心的老师。

一个笼子去寻找一只鸟。

"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

写作是一种理解世界和我在其中位置的方式。