写作就像性爱。首先你为爱而做，然后为朋友而做，最后为钱而做。

智者不会羞于求知，因为他知道，知识的海洋是无边无际的。

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

我认为最强大的电影是那些在你观看后久久不能忘怀的电影。