I don’t like to do easy things. I like to challenge myself.

系统设计的未来在于将形式化方法与传统工程实践相结合。

Innovation in baking is about respecting tradition while daring to experiment.

乐观主义者认为这是所有可能世界中最好的一个。悲观主义者则担心这是真的。