创新是可持续水产养殖的关键。我们必须不断寻找新方法来保护海洋，同时为世界提供食物。

The typical big winner in the stock market takes three to ten years or more to play out.

定义就是限制。

模型检查是验证硬件和软件系统正确性的强大工具。

领导力是关于创造更多的领导者，而不是更多的追随者。

计算机非常快、准确且愚蠢。人类非常慢、不准确且聪明。他们在一起的力量超乎想象。