Program testing can be used to show the presence of bugs, but never to show their absence!
程序测试可以用来显示错误的存在，但绝不能显示它们的不存在！
In the search for new quantum materials, the role of topology cannot be overstated; it is a key to unlocking the mysteries of the quantum realm.
所有复杂行为都可以简化为更简单的刺激-反应单元。
我为我们没有做的许多事情感到骄傲，就像为我们做过的事情感到骄傲一样。创新就是对一千件事情说不。
真正的进步不仅仅以利润来衡量，还以我们对社会的积极影响来衡量。
我们都是自己矛盾的总和。
"The best novels are the ones that change you when you're not looking."