艺术家必须是梦想的编织者。
The artist must be a weaver of dreams.
The beauty of computer science is that it allows us to create something out of nothing.
The past is never dead. It's not even past.
衡量公司成功的真正标准不仅是财务表现，还有其对社会的贡献。
我们都是行走的被遗忘的书的图书馆。
形式化方法不是银弹，但它们是追求可靠系统的重要工具。
我只是尽力做到最好。
介导我们触觉的分子是我们日常体验的无名英雄。
中国的水果种植业有巨大的潜力，我们要让世界看到中国的品质和标准。