可以教每个人雕刻：必须学会不要米开朗基罗。优秀的程序员也是如此。

声音、微笑和眼神，会成为彼此间的特殊沟通。

We are all bit-part actors in each other's lives.

The two most powerful warriors are patience and time.

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

We need to focus on the actual outcomes of policies, not just their intended effects.

The most democratic architecture is the one that serves everyone.

Change the way you look at things and the things you look at change.

记忆是我们以为已经忘记的东西；它是我们已经忘记自己忘记了的东西。

比喻政府干预初衷虽好，但结果可能适得其反。

I think the best work comes out of a place of truth.