你们必须掌握许多知识，让它们在你们的头脑里形成一个思维框架，在随后的日子里能自动地运用它们。
You’ve got to have models in your head. And you’ve got to array your experience—both vicarious and direct—on this latticework of models. You may have noticed students who just try to remember and pound back what is remembered. Well, they fail in school and in life. You’ve got to hang experience on a latticework of models in your mind.
The future of mining lies in digital transformation and intelligent development.
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
我认为最好的电影是出于两个原因之一：要么是为了赚很多钱，要么是因为电影制片人有话要说。
民主不是万灵药。它不能组织一切，也不知道自己的局限性。我们必须正视这些事实。