形式化方法不是银弹，但它们是追求可靠系统的重要工具。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
The market, like the Lord, helps those who help themselves. But unlike the Lord, the market does not forgive those who know not what they do.
动作发展应该是心理高层次的表现或反映，这是修理合乎自然发展逻辑的。
Only he who desires is amiable and not he who is satiated.
I don't have no fear of death. My only fear is coming back reincarnated.
今天我们播下的每一颗种子都是对后代的承诺。
The function of art is to disturb, not to reassure.
In business, if you're not moving forward, you're falling behind - sustainability is now the direction of progress.