benlern 团队发布 Nitro，用形式化验证将 SQL 编译为 Rust

benlern 团队宣布 Nitro，一套经过形式化验证、可将复杂 SQL 工作负载编译为 Rust 代码的 agentic 系统。其设计伙伴称，关键工作负载实测 ETL 速度快 10 倍、成本低 3 倍，目前开放试用申请，更多细节将在产品预告片中公布。