我是一个非常冷静的人。这有助于我在网球和生活中的表现。

生命太短暂，不能不追逐你的梦想。

Dance is the timeless interpretation of life.

在一切事情中，创造系统是必要的。

A true mathematician is always a student, always learning.

形式化方法的美在于它们能够提供关于系统正确性的绝对确定性。

The only thing that could make us what we are would be a perception of something like us.

用户体验差1%，在规模化后就是100%的灾难。