計算的未來在于開發(fā)能夠自我驗證正確性的系統(tǒng)。
The future of computing lies in the development of systems that can verify their own correctness.
最小阻力和最少麻煩的路徑是已經形成的思維定勢。改變舊信念需要麻煩的工作。
比例從來不只是關于大小——它是關于關系和感知的。
Don’t let fear hold you back from your dreams.
The sea gives and the sea takes away.