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

最好的艺术挑战我们的假设。

"I don't take anything for granted. I work for everything I achieve."

作家必须甘于不适。

建筑应该挑衅，应该提出问题而不是提供简单的答案。

以战争建立的帝国必须通过战争来维护自身。

Boos do not block dunks.

如果你希望成功，当以恒心为良友、以经验为参谋、以谨慎为兄弟、以希望为哨兵。