我们需要将软件不仅仅视为代码，而是可以分析和验证的数学对象。
激发对一门学科兴趣的最好方法是使其值得了解，这意味着要使知识可用。
技术成功的真正标准是它如何赋予人们力量，而不仅仅是在基准测试中的表现。
我不是为了被记住而打球，我是为了享受这一刻。
我们需要像看待识字和算术一样看待数字技能。
幸福是一种勇气的形式。