永远不要低估一个相信其使命的团队的力量。

Making something is really hard. You have to care about it so much that you will push through all the disappointments and frustrations.

If you’re not failing occasionally, you’re not pushing the boundaries enough.

真理的概念在任何足够强大以包含算术的形式系统中都是不可定义的。