
验证才是真正的问题
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可以写文档,但不擅长写安全关键、性能关键的代码。他担心行业试图淘汰初级程序员,却忘了资深程序员正从初级成长而来。对于想学编程的人,他建议不要只学一门语言,要获得不同语言中蕴含的思想,用不同的思想和技术拓宽视野。
Bintrail为MySQL补齐时间旅行查询短板,无需改代码即可回溯历史数据!
DeepSeek对标Claude Code组建Harness团队:模型之外,控制层决胜!
Oracle XStream CDC实测:37000 TPS下性能影响全面评估!
华为具身大脑一号位创业,用认知神经科学重做机器人大脑!
C++之父直言AI代码难验证:资深开发者宁愿退休也不愿接盘!
面壁智能三值量化突破:6倍省显存,600亿参数模型装进手机!
微软叫停内部Claude Code:一场"用不起"背后的三重困境!
30天烧60万亿token,扎克伯格没进前250:大厂AI沦为KPI游戏!
前小米员工抢先苹果,造出带摄像头的AI耳机,1999元已开卖!
SaaS-Bench实测23个真系统:最强AI Agent仅完整通过4个任务!