为什么还没有人用 vibe coding 写一套新的空管系统？

这条推文提出一个问题：为什么没人用 vibe coding（凭感觉用 AI 生成代码）来重写一套全新的空中交通管制系统。推文本身只有这一句提问，没有给出答案或数据。讨论点在于：空管系统属于安全关键（safety-critical)软件，需要通过严格的认证、冗余和实时性验证，与普通人用 Cursor、Claude 等 AI 工具快速拼出原型应用的工作流完全不同。它反映了当前 AI 编程热潮的一个边界——能大幅提效的场景多是容错率高的应用层，而非高可靠性嵌入式系统。