我不想出名,我想被记住。
I don't want to be famous, I want to be remembered.
Rigor in proof is what separates mathematics from all other sciences.
The best way to predict the future is to create it
每个圣人都有过去,每个罪人都有未来。
编程语言中最重要的东西是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字,现在我正在寻找一种合适的语言。