The challenge in model checking is not just to find errors, but to understand why they occur.
模型检查的挑战不仅在于发现错误，还在于理解它们为何发生。
Libraries were full of ideas—perhaps the most dangerous and powerful of all weapons.
天然气将在向低碳未来的过渡中发挥关键作用。
读书的时候不要只想作者怎么看，想想你自己怎么看。
"The only way to do great work is to love what you do."
每一枪都很重要，每一刻都很关键。
建筑师必须是先知……真正意义上的先知……如果他不能预见至少十年后的未来，就别称他为建筑师。