渔业中最宝贵的资源不是鱼，而是负责任捕捞的智慧。

生产的最终条件是生产条件的再生产。

The most exciting phrase to hear in science, the one that heralds new discoveries, is not 'Eureka!' but 'That's funny...'

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

If something is too hard, we move on to something else.What could be more simpler than that?

释义：事物可能发生一次变化，而人则会经历无数次变化。如果想要不再变化，除非已故命终。

The only thing that can make you a hero is your heart.

我认为小说是重写历史的最佳方式。