每天把业务数据清洗、汇总,再送进仓库做报表,像一条不断运转的流水线。这就是ETL(抽取、转换、加载)。Nitro想做的,是让智能体把其中庞大、昂贵的SQL工作负载编译成Rust——一种兼顾高性能与内存安全的编程语言,用专用程序替代通用查询路径。
团队称,这类优化过去要由性能工程师手工做几个月,如今数小时即可完成。他们先改造内部管道,随后用于Snowflake和Databricks SQL客户的关键生产任务;这些任务原本每年花费六到七位数美元。作者自述,改造后速度达到十倍,成本降至约三分之一。
转换还配有形式化正确性证明,即用可检查的数学推理确认新旧程序语义一致。不过,证明只能覆盖规格写清楚的性质,不能保证业务口径本身正确。更关键的是,团队尚未公开基准和代码样例;目前这些诱人的数字仍是单方说法,需等待独立验证。