Verus Rust：用约 50 美元 token 将 Apache2 替换为形式化验证实现，代码成本已低到可以重写

jd_pressman 正以约 50 美元的 DeepSeek 4.1 flash token，将 Apache2 Web 服务器替换为经过形式化验证的 Verus Rust 实现。其论据是，代码成本已低到可以不考虑兼容性妥协，AI 安全讨论中许多“不得不妥协”的前提可能不再成立。