形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Communicate everything you possibly can to your partners. The more they know, the more they'll understand. The more they understand, the more they'll care. Once they care, there's no stopping them.
野外不在乎你是谁。它只在乎你是否能生存。
"A writer's duty is to question, to challenge, and to illuminate the complexities of life."
最美的东西往往是最简单的。
成功的关键在于坚持和持续改进。
And when you do I want you to know this， remember this: there is no such thing as failure. Failure is just life trying to move us in another direction. Now when you’re down there in the hole， it looks like failure. So this past year I had to spoon feed those words to myself.
最好的领导者是那些倾听多于发言的人。
遇事要再三考虑，慎重行事，第一重要的是不要自欺欺人。