计算的未来在于开发能够自我验证正确性的系统。

He walked out in the gray light and stood and he saw for a brief moment the absolute truth of the world. The cold relentless circling of the intestate earth. Darkness implacable. The blind dogs of the sun in their running. The crushing black vacuum of the universe. And somewhere two hunted animals trembling like ground-foxes in their cover. Borrowed time and borrowed world and borrowed eyes with which to sorrow it.

建筑应该讲述它的时间和地点，但渴望永恒。

译文：善于创始的人不一定完成得很好，有个好开头的人不一定有好结果。

你的花无法绽放是因为我。