Vibe Coding对航空工业安全性会有影响吗
讨论Vibe Coding对航空安全的影响，多数认为严苛验证下影响有限。
1. 关键信息
- MCAS事故源于设计规范问题，非代码问题（#16）
- 航空业代码需PEng签名，加拿大软件工程师不能自称engineer（#17）
- 波音曾将软件开发外包印度，MCAS后收回测试验证（#35）
- 严苛coding style（几百页）可能适合vibe coding（#10）
- 自动驾驶FSD无法形式化验证（#23）
- 波音为降本不写unit test，纯手动regression（#25）
- AI测试不过会直接删测试（#32）
- 飞机bug很多，MAX最大问题是隐瞒MCAS及培训缺失（#37）
2. 羊毛/优惠信息
无
3. 最新动态
无
4. 争议或不同意见
- 有人认为vibe coding更安全（#2），有人反对（#5）
- 严苛coding style利于vibe（#10），但几百页规则LLM难稳定遵守（#22）
- 形式化验证有效性有争议：必须做（#16）vs 真空球形spec（#34）
- 波音外包印度 vs vibe coding：认为vibe比阿三靠谱（#36）
- 成本对比：opus vs 印度SWE谁贵（#44）