你不是在建立企业,而是在培养人才,然后人才会建立企业。
形式验证的挑战在于弥合抽象模型与实际实现之间的差距。
如果我们相信数据结构,就必须相信独立的(因此同时进行)处理。为什么我们还要在结构内收集物品?我们为什么要容忍一种语言而没有另一种语言呢?
要了解程序,您必须同时成为机器和程序。
在一个短期思维的世界里,永远不要低估长期思考的力量。