计算的未来在于开发能够自我验证正确性的系统。
我在大学的时候,一直想参与做能够改变世界的事情。而现在我就在做这样的事情。
当你被一群对共同目标充满热情的人包围时,任何事情都是可能的。
The great struggle of the twentieth century between liberalism and totalitarianism ended with the victory of the former.