关于代码已死的传闻，大可一笑了之
Hacker News 摘要原标题：Reports of code's death are greatly exaggerated
关于编程已经死亡的传闻被夸大了。这一观点起源于一个深刻的矛盾：英语定义的规范在直觉上似乎很精密，但当你拥有了痛苦的实践经验后，就会发现并非如此。正如伯特兰·罗素所言，所有事物在某种程度上都是模糊的，除非你尝试让它变得精确。
氛围编程与精确性的幻觉
编程和写作一样，是一个在执行过程中不断磨练想法的活动。AI 的加入极大地加速了这一过程，因为它能迅速将英语转化为运行中的代码。你可以通过向 AI 提出修改建议，比如“把按钮移动到那里”或“让它变得更蓝”，来逐步明确你的需求。
这种模式被称为氛围编程。虽然它让你能停留在英语表达的层面，并针对 AI 生成的产物做出反应，但它也制造了一种幻觉，让你以为自己的感觉就是精确的抽象。这种幻觉会一直持续到系统出现漏洞为止。当功能增加或用户规模扩大时，那些隐藏在底层、你并不理解的意外行为（即 Bug）会突然出现并毁掉你的一天。
复杂性与抽象的力量
实时协作在直觉上是一个精确的规范，但其实际的底层逻辑极其复杂。人类的大脑一次只能思考大约 7 个事物，因此掌握复杂性的唯一方法就是通过抽象，将多个事物压缩成一个。
抽象的目的不是为了变得含糊，而是为了创建一个新的语义层面，从而在其中实现绝对的精确。优秀的编程实践就是不断寻找更好的抽象来掌握复杂性，就像 ReactJS 或 TailwindCSS 在各自领域所做的那样。
AGI 时代的编程
即使我们达到了通用人工智能（AGI）的水平，代码也不会消失。有一种观点认为，如果每个人都能低成本拥有顶级天才级别的 AI 助手，就没必要再关注细节了。作者认为这种观点完全是外行人的臆想。
当人类拥有这种级别的智能时，绝不会用它来制造更多的垃圾。代码本身就是一个核心的产物，当它被正确编写时，就像诗歌一样精美。我们可以参考写作：虽然 AI 已经能够生成文本，但没有人谈论所谓氛围写作，也没有人认为伟大的小说家会因此失业。当 AGI 到来时，原本平庸的代码会变得精炼，我们甚至会用 AGI 来解决最困难的抽象问题。
代码时代的真正开始
AI 正在帮助我们产出更好的代码。例如，作者利用 Opus 4.6 一次性解决了在 Val Town 中配置 React Router 7 的难题，并开发出了名为 vtrr 的框架。这个框架通过一段仅 50 行的单文件代码，优雅地处理了复杂的全栈应用逻辑。
目前社会上 99% 的人，包括一些著名的播客主持人，都认为编程已经死亡，甚至建议人们不要再学习编程。这就像在印刷机发明时认为讲故事的能力已经过时一样可悲。事实上，代码时代才刚刚开始，AI 将成为编程发展的巨大助力。
关于形式化与设计的核心格言
• 相比于把使用正式符号视为负担，我们更应将其看作一种特权。正是依靠这些符号，学生们才能做到以前只有天才才能完成的事情。使用母语时的自然感，本质上是因为我们能轻易地用它说出一些逻辑不通的话。
• 构建软件设计有两种方式：一种是让它简单到显而易见没有缺陷；另一种是让它复杂到没有显而易见的缺陷。
• 代数符号在狭小空间内压缩的巨大意义，有助于我们进行更深层的推理。