当你为了美而欺骗的那一刻，你就知道你是个艺术家。
The moment you cheat for the sake of beauty, you know you’re an artist.
抽象的力量在计算机科学中至关重要，它使我们能够专注于问题的本质方面。
我们要坚持自主研发，掌握核心技术。
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
在电子领域，最小的元件往往产生最大的影响。永远不要低估精确的力量。
真正的诗人是全知的；他是一个微缩的真实世界。
疯子带瞎子走路，这就是这个时代的病态。
我们必须倾听土著知识——他们实践可持续林业已有几个世纪。
The past is a shadow that follows us, always present, always haunting.
