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 支持以推向生产环境。