"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."

Memories, even your most precious ones, fade surprisingly quickly. But I don’t go along with that. The memories I value most, I don’t ever see them fading.

真正的创新始于理解客户需要完成的任务。

追求声名的人必然会危害其自身，广积财富的人必然会给后代带来灾祸。行善作恶迟迟得不到报应，并不是上天疏忽大意，而是上天想成全君子而灭掉小人。灾祸和福祚是上天用来表示慈爱之心的手段，就像雷雨雪霜一样，都是为了培育滋养万物。所以君子担心有灾祸便恭敬戒惧，小人得了便宜便忘了危险。君子害怕祸来反而会招来福祉，小人以疏忽之心看待福祉反而会招来灾祸，这就是《左传》所说的「祸福没有定数，全由各人自召」。

It is not shame for a man to learn that which he knows not，whatever his age.

You can't let your failures define you. You have to let your failures teach you.