计算的未来在于开发能够自我验证正确性的系统。
The future of computing lies in the development of systems that can verify their own correctness.
你的时间有限,不要浪费于重复别人的生活。不要让别人的观点淹没了你内心的声音。
I don't want to be remembered for my fame. I want to be remembered for my passion.
只要是为了一个好的事业,并且有助于美好的生活,每一个风险都值得承担。