形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
In international trade, a country should specialize in the production of goods for which it has a comparative advantage, and trade with other nations to maximize overall economic welfare.
死者一直在倾听。死者一直在注视。
Failure isn’t a necessary evil. In fact, it isn’t evil at all. It is a necessary consequence of doing something new.
我不想成为英雄。我只想成为一个做正确事情的人。
Beliefs have the power to create and the power to destroy.
To wear your heart on your sleeve isn't a very good plan; you should wear it inside, where it functions best.
Your life changes the moment you make a new, congruent, and committed decision.
世界不仅仅是感觉的总和,而是一个有组织的整体。
I've found time can heal most anything, and you just might find what you're looking for.
"We are all in the gutter, but some of us are looking at the stars."