
验证才是真正的问题
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可以写文档,但不擅长写安全关键、性能关键的代码。他担心行业试图淘汰初级程序员,却忘了资深程序员正从初级成长而来。对于想学编程的人,他建议不要只学一门语言,要获得不同语言中蕴含的思想,用不同的思想和技术拓宽视野。
C++之父直言AI代码难验证:资深开发者宁愿退休也不愿接盘!
谷歌Gemma 4 12B炸场:16G笔记本就能跑,性能碾压26B巨兽!
DeepSeek省钱神器Reasonix:缓存命中99.82%,4亿token账单直降80%!
AI Pin失败不到两年,苹果OpenAI Meta集体"复活"脖挂硬件!
26岁白手起家成亿万富翁:800万人用他的产品,不用写一行代码
李飞飞亲自下场:世界模型到底是什么?一句话说清楚了
用了30个AI工具后,真正留下来的只有这6个|别再收藏了
21岁CEO融资470万美金:AI Agent最大的问题,不是模型不够聪明
字节腾讯大疆团队创业,打造全球首款单板滑雪AI教练!
GPT-5.5被实锤"降智":200美元买的旗舰模型,背后偷偷换成了mini!