If you’re not failing, you’re not trying hard enough.
如果你没有失败，说明你不够努力。
艺术永远不会完成，只会被放弃。
最成功的投资者是那些能够保持长期视角并避免短期干扰的人。
保护海洋生态，就是保护渔业的未来。
Model checking is a powerful tool for verifying the correctness of hardware and software systems.
True progress happens when we stop defending the status quo and start challenging it.
In the midst of winter, I found there was, within me, an invincible summer.
我不追逐潮流，我创造潮流。
The beauty of a woman is not in a facial mode but the true beauty in a woman is reflected in her soul. It is the caring that she lovingly gives the passion that she shows. The beauty of a woman grows with the passing years.