A company's culture is defined by the actions of its leaders, not just its mission statement.
公司的文化是由领导者的行动定义的，而不仅仅是其使命宣言。
智者创造机会胜于等待机会。
消灭一个民族的第一步是抹去它的记忆。摧毁它的书籍，它的文化，它的历史。然后让某人写新书，制造新文化，发明新历史。不久之后，这个民族就会开始忘记它是什么以及它曾经是什么。
故事是我们教孩子们如何驾驭世界的方式。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The elegance of a mathematical proof is in its simplicity and clarity.
I think the best actors are the ones who are willing to be vulnerable, to take risks, and to not be afraid of failing.