你无法控制海浪,但你可以学会在任何天气中航行。
You can't control the waves, but you can learn to sail in any weather.
The concept of progress is inseparable from the concept of catastrophe.
模型检查是验证硬件和软件系统正确性的强大工具。
这些高墙还真是有点意思。一开始你恨它,然后你对它就习惯了。等相当的时间过去后,你还会依赖它。
The great advantage of old age is that you can be as rude as you like.
历史不仅仅是关于过去;它是关于过去如何塑造现在。