你的快樂不在于城市的七十個奇跡，而在于它對你的一個問題所給出的答案。
那些瘋狂到認為自己能改變世界的人，才能真正改變世界。
Every chemical process we develop must pass three tests: Is it safe? Is it sustainable? Is it scalable?
"The beauty of formal methods lies in their ability to provide absolute guarantees about system behavior."
As an architect, you design for the present, with an awareness of the past, for a future which is essentially unknown.