"We need to think of software not just as code, but as a mathematical object that can be analyzed and verified."

不要等待完美的时刻，抓住这一刻并让它变得完美。

Architecture is a dialogue between the past and the future.

自由并不意味着摆脱某物，而是能够自由地去做某事。

Every person must have a thought that changes them, or a book, or a word, or a moment; and if they don't, their life is wasted.

管理是把事情做对，领导是做对的事情。

Failure in the lab is not the end - it's just another data point.

Getting cheated occasionally is the small price for trusting the best of everyone， because when you trust the best in others， they generally treat you best.