The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The best way to get a project done faster is to start sooner.
人生在世,常常遇到不如意的小事,这是好兆头,可以避免重大的祸事发生。假如每件事都称心如意,那么必然会在以后遇到重大的挫折。明白这个道理,就会心平气和,不再怨天尤人。
最糟糕的不平等是试图使不平等的事物平等。
Positive emotions broaden our awareness and encourage novel, varied, and exploratory thoughts and actions. Over time, this broadened behavioral repertoire builds skills and resources.
建立品牌的最佳方式是创造一种如此强大的文化,以至于它成为一种运动。