系统设计的未来在于将形式化方法与传统工程实践相结合。
聪明的投资者是现实主义者，他们向乐观主义者出售，从悲观主义者那里购买。
"History is not just about events, but about the people who lived through them."
A building must be able to speak for itself.
The more you know, the more you can know.