海底并非永恒不变，而是在不断更新。

The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion.

选择比天赋更重要 今天我想对你们说的是，天赋和选择不同。聪明是一种天赋，而善良是一种选择。天赋得来很容易——毕竟它们与生俱来。而选择则颇为不易。如果一不小心，你可能被天赋所诱惑，这可能会损害到你做出的选择。

我们不需要完美的知识来采取明智的行动。

道是神奇玄妙的存在，灵性具足却无形无相，无法预测其来去，也难以追寻其踪迹，不知其所以然而自然如此

"The challenge in formal verification is to bridge the gap between the abstract models and the actual implementations."

价格被遗忘后，质量仍会被长久记住。