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.
形式化方法不是银弹,但它们是追求可靠系统的重要工具。