数学家是把咖啡转化为定理的装置。
A mathematician is a device for turning coffee into theorems.
"Science fiction is the realism of our time."
To turn caring into action, we need to see a problem, see a solution, and see the impact. But complexity blocks all three steps.
The most important property of a program is whether it accomplishes the intention of its user.
贫穷是犯罪的温床。
跨价值链的合作至关重要——没有一家公司能够单独解决塑料废物问题。
最重要的是为正确的内容找到正确的形式。