我们今天在水产养殖中的每一个决定都塑造着我们留给明天的遗产。
Every decision we make in aquaculture today shapes the legacy we leave for tomorrow.
Rule of 3 in conversation. To get to the real reason， ask a person to go deeper than what they just said. Then again， and once more. The third time’s answer is close to the truth.
创新不仅仅是技术问题，更是改变思维方式和接受新思路的过程。
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
