"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
Forests are the lungs of our planet; we must treat them with the care they deserve.
历史不仅仅是关于国王和战争——它是关于那些经历过它的人们。
保持平常心,接受当下的自己,把自己做好,往往就能把事情做好:平常人也可以做非常事。
品质从种子开始,只有最好的才能长成最优质的果实。
To lose patience is to lose the battle.
I don’t wait for opportunities, I create them.