有时候你必须先输才能懂得珍惜胜利。

The study of computational complexity is a journey through the landscape of mathematical logic and algorithmic theory.

I have always believed that technology should do the hard work – discovery, organization, communication – so users can do what makes them happiest: living and loving, not messing with annoying computers! That means making our products work together seamlessly.

诗人是一个看世界并看到它本来面目，但也看到它可能成为什么样子的人。

工作与生活的平衡不是个人问题，而是需要系统性解决的结构性问题。