计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
Every challenge is an opportunity in disguise.
Architecture must be inclusive, it must embrace everyone.
真正的挑战不仅仅是收集数据,而是理解这些数据的意义。
成为一个作家就是要承认我们内心深处的秘密创伤。
理解一个角色的唯一方法就是理解他们的矛盾。
从长远来看,未来是由乐观主义者决定的。成为一个乐观主义者,不是要忽视现有的许多问题,而是想象怎么才能改善我们解决问题的能力。