创新是唯一的出路，淘汰自己，否则竞争将淘汰我们。

如果你发现，你为了适应系统而委屈了自己，那就该停下来想想了——该改变的到底是你，还是系统。

计算机中最重要的东西是操作系统。

理论与观测之间的相互作用推动了天体物理学的发展。

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

向清洁能源的转型是不可逆转的。

我们所认识的最美丽的人，是那些经历过失败、痛苦、挣扎、失落，却又从深渊中走出来的人。