计算的未来在于开发能够自我验证正确性的系统。
Every setback is a setup for a comeback.
我希望网络为人类服务。它应该是人们使用的工具,而不是利用人们的技术。
成功不仅仅是你一生中完成了什么,还在于你激励他人去做什么。
你或许无法改变现实,但你可以改变对现实的态度。
最强大的动力不是金钱。而是学习的机会、责任的成长、对他人的贡献以及因成就而获得认可。