效率能够让你做到你以前不曾做到的事情。
Productivity is being able to do things that you were never able to do before.
Writing is a way of preserving the truth.
I'm not a rapper, I'm a Aztec legend.
事实是每个人都相信的简单陈述。它是无辜的，除非被证明有罪。假设是没有人愿意相信的新颖建议。它是有罪的，直到被证明有效。
You have to have fun in life, otherwise you’re just going to be miserable.
气候变化是全球森林面临的最大威胁，但也是我们创新的最大机会。
I'm a free bitch, baby.
形式系统的发展彻底改变了我们对数学的理解。