The greatest thing in life is to keep your mind young.
The future of computing lies in the development of systems that can verify their own correctness.
Love is just a system for getting someone to call you darling after sex.
预测未来的最好方法就是创造它。
The most profound discoveries often start with simple observations.
我认为你必须做你自己。我不认为你可以伪造它。我认为你必须做你自己,并希望人们能接受真实的你。