战争是一场悲剧，但有时是必要的。
War is a tragedy, but sometimes necessary.
系统设计的未来在于将形式化方法与传统工程实践相结合。
艺术家必须是永恒的见证者。
I’m not a brand. I’m a person.
The best way to keep a secret is to never have one.
世界上充满了显而易见的事物，但没有人会去注意它们。
所以发表言论有三条准则,哪三种准则呢？第一是审查本质,第二是推理情理,第三是用于实践。
The land we quarry is not ours to own, but ours to steward.
编程的艺术是组织复杂性的艺术。