We are on the verge: Today our program proved Fermat's next-to-last theorem.
我们即将到来：今天，我们的程序证明了费马的倒数第二个定理。
Keep your feet on the ground and keep reaching for the stars.
Writing is resistance against forgetting.
The secret to success is to know something nobody else knows.
真正重要的是质疑问题本身。
We are all in the gutter, but some of us are looking at the stars.
伟大的公司建立在伟大的产品之上，而伟大的产品来自充满激情的人。