The study of logic is not just about formal systems, but about the very nature of human reasoning.
逻辑学研究不仅仅是关于形式系统,更是关于人类推理的本质。
书是一个永远不会让你失望的朋友。
任何作品的初稿都是狗屎。
计算的目的是模仿我们的综合能力,而不是理解我们的分析能力。
软件开发中最重要的一个方面是明确你要构建什么。
多样性和包容性推动创新和增长。
The only thing standing between you and your goal is the story you keep telling yourself as to why you can't achieve it.