开发者 TCzajka 倡议逐步淘汰 C++，AI 时代需为代码写形式化规范

开发者 TCzajka 发文主张逐步淘汰 C++；他过去会通读每个新标准的每一条，但自 C++17 后便不再跟进，认为该语言已成为难以完整理解的纠缠泥潭。Thomasahle 转发并引申称，AI 写代码的新世界要保证安全，就需证明代码正确，探索新的 specification 写法因此是件好事。