Every building is a prototype.
我想喜欢闪亮的东西，同时也反对我们社会中存在的双重标准。我想穿粉色并告诉你我对政治的看法。
"The future of system design lies in the integration of formal methods with traditional engineering practices."
程序最重要的属性是它是否实现了用户的意图。
I do not want to be a star. I do not think that the way I live is something that should be imitated.
我不想成为明星。我不认为我的生活方式是应该被模仿的。
You see, in life, lots of people know what to do, but few people actually do what they know. Knowing is not enough! You must take action.
看似痛苦的试炼的往往是伪装的祝福。