Fashion should be inclusive, not exclusive.

The most important aspect of a software system is its ability to meet the needs of its users.

形式验证的挑战在于弥合抽象模型与实际实现之间的差距。

我相信，生命中发生的每一个事件都有一个选择，那就是选择爱而不是恐惧。

"The past is a foreign country; they do things differently there."

历史学家是向后看的先知。

预测未来的最好方法就是发明它。

艺术不是关于答案，而是关于问题。