当大模型接管编程：NASA 疯狂的“反人类”编程要求，为何仍被奉为行业圣典？

文章预览

整理 | 华卫 在软件工程领域，有些 "老派" 的方法和理念，是经过时间检验的真理，值得我们重新审视和学习。   大多数大型软件开发项目都会使用编码规范，旨在规定编写软件的基本规则：代码应如何构建，以及应该使用和避免哪些语言特性，尤其是在代码的正确性会对设备产生决定性影响的领域，如潜水艇、飞机、将宇航员送上同步轨道的航天器，以及距离居民区仅几公里之外的核电站等设施运行的控制代码等。 在众多编码规范中，NASA 的编码规则以其严苛性和有效性反复被提起。近期，油管博主 ThePrime Time 发布的解读 NASA 安全编码规则的视频，甚至短时间内引发了超百万观看。 特别是在 AI 编程和“氛围编程”流行的当下，重新审视严谨、可验证的编程规范，是对软件工程本质的回归。 有声音说，“老派的 NASA 编码方式是最好的方式。” ………………………………