Survival can be summed up in three words – never give up. That’s the heart of it really. Just keep trying.

我只和自己竞争，不和别人竞争。

即使在最黑暗的时刻，只要记得点亮灯光，就能找到幸福。

Architecture should be quiet and background, not shouting for attention.

形式化方法不是银弹，但它们是追求可靠系统的重要工具。