所有好的写作都像在水下游泳和屏住呼吸。
All good writing is swimming under water and holding your breath.
The strongest people are those who have been through the most but still choose to love.
思考者最大的幸福是理解可理解的事物，并默默地敬畏不可理解的事物。
Profit without purpose is ultimately unsustainable.
真正的创新需要冒险。
我们与土地的联系不仅是物理的，而且是精神的。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
The real is always more than we can say.
The so-called understanding is often just a misunderstanding that is widely circulated.