教育：从自负的无知到痛苦的不确定之路。

Life is a series of choices.

The stranger is close to us, insofar as we feel between him and ourselves common features of a national, social, occupational, or generally human, nature. He is far from us, insofar as these common features extend beyond him or us, and connect us only because they connect a great many people.

A good editor knows when to hold on a shot and when to cut away.

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

Sustainability is not an option; it's a necessity for any business that wants to thrive in the long term.

这就是我们在生活中必须做的：承受巨大的创伤和细小的擦伤，然后继续前进。

我不是商人，我就是生意本身！

过去是一个陌生的国度；那里的人做事方式不同。

我做事情不是为了钱，而是因为我热爱它们。