形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

我是一个非常积极的思想者，我认为这是我在困难时刻最能帮助我的东西。

"The only way to do great work is to love what you do."

在商业中，就像在生活中一样，关系是一切的基础。

It’s on the strength of observation and reflection that one finds a way. So we must dig and delve unceasingly.

在变革的时代，学习者将继承地球，而那些博学的人会发现自己装备精良，却要面对一个不复存在的世界。

交易中最重要的是纪律。

我想这就像泰坦尼克号。冰山是真的，但船只是一艘船。