一部伟大的电影是让观众带着更多问题而不是答案离开的电影。

不要去寻找决定性时刻，因为它们永远不会到来。决定你的时刻已经发生，也会再次发生。

阅读是不动一寸的旅行。

"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."

过去永远不会死去。它甚至还没有过去。