系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
看到神圣之光的最好方法是熄灭你自己的蜡烛。
礼义法度，是随着时势而变化的。
这句话借用俗语，表达了命运无常、机遇变化的道理。
The only way to do great work is to love what you do.
成功投资的关键是清楚地理解市场、涉及的风险、纪律性的方法、长期视角以及对基本面的深刻理解。
There is no such thing as society: there are individual men and women, and there are families.
故事是我们理解世界的方式，也是我们理解自己的方式。