开发者用 Rust 重写 Apache2 并加 Verus 规约：比继续跑 C 版更划算
jd_pressman · x · 2026-10-24
开发者 jdpressman 在讨论中阐述其用 Rust 重写 Apache2 的安全逻辑：不需要重写版本完美，只要在期望上优于继续运行基于 C 的 apache2 就值得——一个带 Verus 形式化规约、且经历过对抗性审查的 Rust 实现，在期望意义上大概率比现状更安全。他还计划让其他模型做对抗性审查，但担心因没有 Daybreak 访问权限而被网络安全过滤拦截。
「编程与Agent」频道最新
- Austin LangChain 演讲：小模型优先+缓存复用的分层推理路由法 — colinmcnamara · 2026-10-24
- NVIDIA 开源 OpenShell:自主 Agent 运行时沙盒,18.6k star — petrusenko_max · 2026-10-24
- 睡前给 Claude Code 一个目标：一夜筛出 380 家健身房拟出 30 封外联草稿 — Arindam_1729 · 2026-10-24
- Factory 发布 Anthropic 客户案例:谈大型代码库长程任务与「黑暗工厂」 — matanSF · 2026-10-24
- 用历史 CVE 做对抗测试：让 agent 自己定规格再自我攻击 — jd_pressman · 2026-10-24
- Carmack 转发内存安全语言 Goose：无堆分配却跑赢 C++/Rust — ID_AA_Carmack · 2026-10-24