编程语言中最重要的东西是名字。没有好名字的语言不会成功。
A proof is a way to convince yourself and others that something is true.
The best weapon of a dictatorship is secrecy, but the best weapon of a democracy should be the weapon of openness.
我只是个四岁的孩子,每天都在成长一些。
过去总是紧张的,未来是完美的。
What we know is not much. What we do not know is immense.