我希望我的书能帮助孩子们以不同的方式看待世界,注意到那些微小的细节和隐藏的意义。
做出伟大工作的唯一方法就是热爱你所做的事。
技术是答案,但问题是什么?
The magic of cinema is in its ability to transport you to another world.
The beauty of formal methods lies in their ability to provide absolute certainty about the correctness of a system.
改变是困难的,但对于进步是必要的。
Forgetting is more powerful than despair.