rust-djinn:用规格说明让 LLM 写出可证明正确的 Rust 代码,gzip 解码反超 libdeflate
rust-djinn 让开发者用精确规格描述函数行为,由 LLM 生成可证明符合规格的 Rust 代码。其 gzip 解码器在基准测试中达到 787 MiB/s,略高于 libdeflate 的 657 MiB/s 和 zune_inflate 的 652 MiB/s,且仅用 277 行人工编写的规格代码。该项目目前仍是研究代码,作者计划完善 IDE 与 LSP 支持以推向生产环境。