Everybody counts or nobody counts.
每个人都重要，否则没有人重要。
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 historian is a prophet in reverse.
"The act of reading is an act of rebellion in a world that wants you to do anything but."
If you can’t get a miracle, become one.