好的教师不是仅仅传授知识,而是激发学生自己去探索和发现
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
我不喜欢被遗忘,我希望被铭记。
Trust the scientific process—it’s slow but it works.
一个人的富有程度与他能置之不理的事物的数量成正比。
释义:古往今来的多少事,都付之于人们的谈笑中。
我们需要设计考虑到人类心理的政策,而不仅仅是经济理论。
预测未来的最好方法就是创造未来。
领导力在于让他人因你的存在而变得更好,并确保这种影响在你离开后依然持续。