A great novel is one that refuses to be forgotten.

思维法则的有效性不依赖于它们所应用对象的性质。

I hope that in this year to come, you make mistakes. Because if you are making mistakes, then you are making new things, trying new things, learning, living, pushing yourself, changing yourself, changing your world.

"The key to successful verification is to start with a clear and precise specification of what the system is supposed to do."

群众是残忍的，但个人是善良的。