计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
沟通中最重要的是听到没有说出来的话。
Dream more, do more, and become more.
【译文】宰相应从基层官员提拔,猛将须从士兵中成长。
We are all prisoners of our own memories.