系统设计的未来在于将形式化方法与传统工程实践相结合。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
"Books are the quietest and most constant of friends; they are the most accessible and wisest of counselors, and the most patient of teachers."
Love is irrational. The more you love someone, the less sense anything makes.
有时最简单的旋律承载着最深刻的情感。
照片只是起点。绘画完全是另一回事。
The power of a team far exceeds that of an individual—collaboration creates miracles.
The first rule of government spending: why build one when you can have two at twice the price?
当没有人相信你时，你必须相信自己。