We measure success not just in tonnes produced, but in ecosystems enhanced.
Every project is a new challenge, a new opportunity to learn.
形式系统的发展彻底改变了我们对数学的理解。
I don't want to be a star—I want to be a legend.
它提醒我们要谨慎评估成功,不要低估运气的作用。