一致性将优秀的烘焙师与伟大的烘焙师区分开来。
Consistency is what separates good bakers from great ones.
如果我们不相信我们所鄙视的人的言论自由，那么我们根本就不相信言论自由。
The task of a writer consists in being able to make something out of an idea.
The night is a great city, but the stars are its lights.
"Model checking is a powerful technique for verifying the correctness of finite-state concurrent systems."
未来属于那些敢于梦想并付诸行动的人。