伟大的公司建立在伟大的文化之上。
A brand for a company is like a reputation for a person. You earn reputation by trying to do hard things well.
糟糕的战略不是缺乏战略，而是主动回避制定好战略的艰苦工作。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
过去总是紧张的，未来才是完美的。
A diverse team brings diverse ideas, and that’s where true innovation happens.