Success is not final, failure is not fatal: it is the courage to continue that counts.
成功不是終點(diǎn)，失敗也不是致命的，重要的是繼續(xù)前進(jìn)的勇氣。
形式化方法的美在于它們能夠提供關(guān)于系統(tǒng)正確性的絕對確定性。
愚昧是最大的罪行，沒有之一。
創(chuàng)新區(qū)分了領(lǐng)導(dǎo)者和追隨者。
The greatest works of art are born from the deepest sorrows.
你停止學(xué)習(xí)的那一刻，就是你開始失敗的那一刻。
我不知道為什么人們雇傭建筑師然后告訴他們該做什么。