文学不是一场道德选美比赛。
形式化方法的美在于它们能够提供关于系统行为的绝对保证。
The poet is a man who can see the invisible and hear the inaudible.
领导力在于激励人们去做他们从未想过自己能做的事情。
里氏替换原则是面向对象编程中的一个基本概念，确保派生类可以替代其基类使用，而不会改变程序的正确性。
我相信梦想的力量。