The future of computing lies in the development of systems that can verify their own correctness.
可持续的做法不仅对地球有益;从长远来看,它们对业务也有好处。
政府的腐败几乎总是始于其原则的衰败。
To be a poet is to have a soul so quick to discern that no shade of quality escapes it.
写作是保存过去真相的一种方式。
In the era of smart cars, software defines the vehicle.
——《我的回忆》(1911年11月中旬)