Nitro 用形式化验证把 SQL 编译成 Rust，ETL 快 10 倍、成本省 3 倍

benlern 团队宣布 Nitro，一个经形式化验证的智能体系统，能把最复杂的 SQL 工作负载编译成 Rust 代码。其设计伙伴已把价值数百万美元的关键工作负载跑在该系统上，实测 ETL 速度快 10 倍、成本低 3 倍。该系统现开放试用申请。