如果退一步能进两步，我绝不害怕后退。
I’m not afraid to take a step back if it means I can take two forward.
编程语言中最重要的就是名字。没有一个好名字，语言就不会成功。我最近发明了一个非常好的名字，现在正在寻找一种合适的语言。
The free, exploring mind of the individual human is the most valuable thing in the world.
Your work is going to fill a large part of your life, and the only way to be truly satisfied is to do what you believe is great work.
零知识证明是一种证明你知道某事而不透露它是什么的方法。
“唯一真正无边无际的是人类精神。”