形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
我们要坚持自主研发，掌握核心技术。
Simplicity is the ultimate sophistication in design.
History is not the past—it is the method we have evolved of organizing our ignorance of the past.
A building must respond to its context, to its climate, to its culture.
To collect is to gather things to yourself, to take things from the world and make them part of your own story.
我相信讲故事的力量可以改变世界。
The most important thing in the programming language is the name. A language will not succeed without a good name. I have recently invented a very good name and now I am looking for a suitable language.