你不能只是坐下来写一本书。书不是那样写出来的。书是通过过你的生活，对世界开放，通过注意来写出来的。
"You can’t just sit down and write a book. That’s not how books get written. Books get written by living your life, by being open to the world, by paying attention."
我们行业最有价值的资源不在地下，而是让一切成为可能的人们。
It's not about money. It's about the people you have, how you're led, and how much you get it.
"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
恐惧不是你的敌人。它是一个指南针，指向你需要成长的领域。
不要轻易放弃，因为你永远不知道下一秒会发生什么。
The greatest obstacle to progress is not ignorance, but the illusion of knowledge.
Sometimes you put walls up not to keep people out，but to see who cares enough to break them down.
