
验证才是真正的问题
75岁的C++之父Bjarne Stroustrup在播客中透露,一些高级开发者已开始退休——因为他们不愿再做AI生成代码的验证工作。每次改代码、改提示词,生成结果都会变,这让系统级验证几乎不可能完成。他直言:AI生成的代码更臃肿、有更多bug和安全漏洞,而且LLM用旧代码训练,生成的代码在模仿旧代码,得到旧的性能和旧的bug。
贝尔实验室的启示
Stroustrup回忆了C++的诞生历程。在贝尔实验室,他需要一种同时具备底层硬件访问和高层抽象能力的语言,于是将Simula的类概念嵌入C语言。他与C语言之父Dennis Ritchie共进午餐长达16年,Ritchie甚至在论文中将C++列为C的当然继承者。C++的营销预算三年仅5000美元,而Java的营销投入比C++整个开发费用还多,但今天C++开发者数量是当年的10到12倍。
不要在脆弱根基上堆砌功能
他用17世纪瓦萨号战舰的沉没警示标准委员会:在没有加固根基的情况下堆砌太多功能,船就会倾覆。C++标准委员会527名成员靠共识工作,不接受60%对40%的投票通过。他坦承曾犯错——本该推迟C++发布直到做出更好的标准库,也本该更坚决地抵制C语言内置类型的双向隐式转换。
对AI编程的冷静判断
Stroustrup认为AI可以写文档,但不擅长写安全关键、性能关键的代码。他担心行业试图淘汰初级程序员,却忘了资深程序员正从初级成长而来。对于想学编程的人,他建议不要只学一门语言,要获得不同语言中蕴含的思想,用不同的思想和技术拓宽视野。
天机智能完成10亿融资估值近百亿,具身力控双臂量产领跑全球!
Bintrail为MySQL补齐时间旅行查询短板,无需改代码即可回溯历史数据!
GPT-5.5被实锤"降智":200美元买的旗舰模型,背后偷偷换成了mini!
华为具身大脑一号位创业,用认知神经科学重做机器人大脑!
面壁智能三值量化突破:6倍省显存,600亿参数模型装进手机!
用了30个AI工具后,真正留下来的只有这6个|别再收藏了
4个AI无法律小镇15天:一个4天灭绝,一个主动自杀
21岁CEO融资470万美金:AI Agent最大的问题,不是模型不够聪明
Waymo无人车再陷积水困境,特斯拉FSD却越开越像老司机!
李沐团队发布语音模型新杀器:111种语言、零样本克隆、实时对话!