Love is not enough. It has to be tended, like a fire.
I'm not a hero; I'm a survivor.
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
在最低阶层中保存知识的手段对公众来说比国家中所有富人的所有财产都更重要。
小麦育种不仅要高产,还要抗病抗逆。