"A play is a question posed to the audience."
戏剧是向观众提出的一个问题。
The process of verification is as important as the process of creation in computer science.
I’m positive that in 100 years much of what I take to be true today will be proved to be wrong， maybe even embarrassingly wrong， and I try really hard to identify what it is that I am wrong about today.
The computer revolution hasn't started yet.
In catalysis, sometimes the smallest modification can lead to the biggest breakthroughs.
计算的目的是洞察，而不是数字。
家庭是一个生产和消费商品与服务的小工厂。