我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
The best way to predict the future is to create it.
心理学家必须是一个严格的实证主义者。
信贷市场的歧视让穷人支付更高的利息。
没有目的的创新只是噪音。
Writing is a way of living, a way of surviving, a way of fighting against the absurdity of existence.
【译文】《诗经》三百零五篇，用一句话概括它的全部内容，可以说是：思想纯洁，没有邪恶的东西。
The only thing that makes life possible is permanent, intolerable uncertainty; not knowing what comes next.