The light of truth will eventually pierce the darkness.
写作是一种勇气，因为它要求我们面对自己内心最深处的恐惧和欲望。
真正活着的唯一方式，就是甘愿为某些东西献出生命。
The best way to be successful is to be yourself.
形式系统的发展彻底改变了我们对数学的理解。
你能做的最激进的事情就是做你自己。
城市的建筑应该激励它的市民。
The competition in the semiconductor industry is, in the final analysis, a competition for talents.
每一项科学发现都应该以其对人类福祉的贡献来衡量。
The Hacker Way is an approach to building that involves continuous improvement and iteration. Hackers believe that something can always be better, and that nothing is ever complete.