要成为建筑师,你必须有一定的傲慢。
模型检查是验证硬件和软件系统正确性的强大工具。
改变的秘诀在于集中所有精力,不是与过去斗争,而是建设未来。
关于神,我无法知道他们是否存在。因为有许多阻碍我们认知的因素:问题的晦涩和人类生命的短暂。
每个圆点都是一个独立的生命。
最好的建筑是那种消失的建筑,只留下体验。
The study of learning algorithms must consider both the statistical and computational aspects of learning.