The best ideas often come from the most unexpected places.

最深刻的技术是那些消失的技术。它们将自己编织到日常生活的结构中，直到与之无法区分。

我不让任何人偷走我的快乐。

外交是实现国家利益的一种手段，但也要尊重和平、公正和法治的原则。

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

心理学必须植根于生物学

建筑师必须是人民的仆人。