"If you don't change, you become extinct."
我们需要将软件不仅仅视为代码,而是可以分析和验证的数学对象。
如果你没有偶尔失败,说明你还不够努力。
弦理论是二十一世纪物理学的一部分,偶然落入了二十世纪。
We try to make buildings that respond to the environment, not dominate it.
The architect must be a servant of the people.