
验证才是真正的问题
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可以写文档,但不擅长写安全关键、性能关键的代码。他担心行业试图淘汰初级程序员,却忘了资深程序员正从初级成长而来。对于想学编程的人,他建议不要只学一门语言,要获得不同语言中蕴含的思想,用不同的思想和技术拓宽视野。
李沐团队发布语音模型新杀器:111种语言、零样本克隆、实时对话!
哈佛最年轻教授尹希加盟OpenAI:AI几周干完我十年的活!
AI Pin失败不到两年,苹果OpenAI Meta集体"复活"脖挂硬件!
华为大模型负责人创业:一个框架帮Agent省75%的token钱
Oracle XStream CDC实测:37000 TPS下性能影响全面评估!
天机智能完成10亿融资估值近百亿,具身力控双臂量产领跑全球!
用了30个AI工具后,真正留下来的只有这6个|别再收藏了
华为具身大脑一号位创业,用认知神经科学重做机器人大脑!
Tianfu Agent:200+工具让AI术数推理逼近人类大师水平!
AI模型中转站OpenRouter融资7.7亿估值88亿,英伟达谷歌争相押注!