"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
最糟糕的不平等是試圖使不平等的事物平等。
"The function of thought is to guide action."
Innovation distinguishes between a leader and a follower.
But not all dark places need light, I have to remember that.