最重要的是讲述一个你关心的故事。
文学的作用是使世界更加复杂,而不是简化它。
"The world is full of small things that are big enough to break your heart."
"The only way to deal with an unfree world is to become so absolutely free that your very existence is an act of rebellion."
The value of information is not in knowing more, but in knowing what others don't know.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."