可持续性不是一种趋势，而是我们对后代的责任。

位置测量越精确，动量测量就越不精确，反之亦然。

市场总是在寻找下一个趋势。

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

You have to be willing to fail, to be wrong, to keep pushing forward even when everyone tells you you're crazy.

Literature is the best weapon against intolerance and fanaticism.

你必须愿意适应，否则就会被抛在后面。