成功是一段旅程，而不是目的地。
Success is a journey, not a destination.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
Lightness is not just physical, but also spiritual.
每个人都会有一次迷失自我。重要的是如何从中恢复。
我不想成为世界上最好的，我想成为对世界最好的。