"The more you read, the more things you will know. The more that you learn, the more places you'll go."

形式化方法不是银弹，但它们是追求可靠系统的重要工具。

The future is stupid.

There is no greater tyranny than that which is perpetrated under the shield of the law and in the name of justice.

The intellect is illuminated by the One as if it were the sun.

我是女权主义者，我为此感到骄傲。

所有的事情——除了爱——都应该从退出策略开始。要对结束做好准备。几乎所有事情都是进入容易抽身难。