08-31
好工程不信任工程师：AI时代，代码不再是护城河
工厂工人直言不信任软件工程师：图纸和模型可以在纸面完美，但传感器积尘、零件批次差异、冷启动阀门卡滞，这些现场条件才决定系统安全。好工程恰恰同意这一点——NASA、航空、核工业不依赖“找到优秀工程师并信任他”，而是围绕“工程师可能出错”设计流程：风险分析、需求追溯、独立验证、运行证据。AI让写代码变得廉价，也暴露了普通软件工程的反向结构：需求是一行Jira ticket，设计理由住在某人脑子里，代码被当成唯一真实，验证只是绿色CI。文章主张把工程从写代码移回“让意图显式，给义务配证据”，区分验证与确认，按风险调用冗余度。最后引向作者所在产品 ReqProof，但其核心观点可独立存在。