"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."
成功驗(yàn)證的關(guān)鍵是從系統(tǒng)應(yīng)該做什么的清晰和精確的規(guī)范開始。
We have not yet learned to think, but we are learning.
I know I played like crap, but you don't know me in order to let oneself have less like shit, how much effort.
哲學(xué)的任務(wù)不是提供答案，而是澄清問題。
釋義：看到已經(jīng)發(fā)生的事情要謹(jǐn)慎對待將要發(fā)生的事情，厭惡某種行為軌跡的人必須避開它。害怕危險(xiǎn)的人才能平安，害怕滅亡的人才能生存。這是對謹(jǐn)慎行事、防患未然的智慧的強(qiáng)調(diào)。
The powerful have always preyed on the powerless. That's how they became powerful in the first place.
我不認(rèn)為自己是古典藝術(shù)家或流行藝術(shù)家。我只認(rèn)為自己是一個(gè)唱歌的藝術(shù)家。