代码成本趋零也难救安全：机构迁移惰性成 AI 时代瓶颈

jdpressman 在与 MIRI 的 Anna Salamon 等人的讨论中给出乐观论据：借助约 50 美元的 DeepSeek 4.1 flash token，他正把 Apache2 改写为形式化验证的 Verus Rust，代码便宜到可以放弃兼容性妥协。但他也泼了冷水：即便代码成本趋零，大量机构也不会主动重写整套软件栈，除非系统着火被逼到墙角；个人永远比银行 IT 快半年。他并回顾 Flash、Silverlight 等被整体拆除的历史，推测「拆掉危险默认」或在 AI 时代重演。

2026-10-24 ~ 2026-10-24 · 4 条相关

• 从 Flash 到 Silverlight:软件史上「拆掉危险默认」会不会在 AI 时代重演 — jd_pressman · 2026-10-24
• 50 美元 token 把 Apache2 换成形式化验证的 Verus Rust:代码真的便宜到可以重写了 — jd_pressman · 2026-10-24
• 代码成本趋零也白搭:机构不会主动重写整套软件栈 — jd_pressman · 2026-10-24
• 观点：代码成本趋零也救不了机构，个人永远比银行 IT 快半年 — jd_pressman · 2026-10-24