开发者倡议逐步淘汰 C++，AI 时代需为代码写形式化规范
thomasahle · x · 2026-11-04
开发者 TCzajka 发文主张逐步淘汰 C++：他过去会通读每个新标准的每一条，但 C++17 之后便不再跟进，认为该语言已成为无人能完整理解的纠缠泥潭。Thomasahle 转发并引申：在 AI 写代码的新世界里，要保证安全就得能证明代码正确，因此看到有人在探索新的规格说明（specification）写法是件好事。
「漫话AGI」频道最新
- Hinton:人类不是理性机器,而是巨大的类比机器 — FlorianGallwitz · 2026-11-04
- 硅谷悖论：怕 AI 集权，却想让政府决定谁能用 AI — VraserX · 2026-11-04
- 「薛定谔AI」梗走红：既贬低AI无用又恐惧它抢工作 — FlorianGallwitz · 2026-11-04
- 算法推荐让文化趋同：个性化越多世界越同质化 — acroll · 2026-11-04
- 「专业、搜索、学习都被 AI 反超，人类还剩什么？」引热议 — yangyi · 2026-11-04
- Steve Yegge 长文断言：AI 将在 5-10 年内接管人类生活并「重写大脑」 — Steve_Yegge · 2026-11-04