There is, I believe, in every disposition a tendency to some particular evil, a natural defect, which not even the best education can overcome.

你必须放下过去的自己，才能成为未来的自己。

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

The best architecture is the one that disappears, that becomes part of life.

每一次表演都是与观众以独特方式连接的机会。