"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

我认为最好的演员是那些愿意脆弱、愿意冒险、不害怕失败的人。

最伟大的故事是那些超越时间的故事。

The chief prevention against getting old is to remain astonished.

I don't follow the rules; I make them.

我害怕变得平庸。

想象反事实的能力是区分人类和机器的关键。

The best way to buy a stock is when it's cheap, and the best time to sell is when it's expensive.

不同元素的原子通过它们的重量相互区分。