
TypeSafe 发布 System One 模型与 Jev:把前沿智能变成一次函数调用
TypeSafe AI 发布首个 System One 模型 Jev:在 System One 任务上智能水平与现有 LLM 相当,却快两个数量级;放弃字符串生成,输出带类型的概率化决策,且不可能产生类型错误。

TypeSafe AI 发布首个 System One 模型 Jev:在 System One 任务上智能水平与现有 LLM 相当,却快两个数量级;放弃字符串生成,输出带类型的概率化决策,且不可能产生类型错误。

GPT-6 Astra 破解一条百年未解的一战德军 ADFGVX 密电,用密钥 TRUPPENVERSCHIEBUNG 还原 1918 年塞瓦斯托波尔情报,并与 HMS Canterbury 航海日志吻合。

RightNow AI 开源的 AutoKernel 用「改一个文件、跑一次基准、保留或回退」的循环替代人工调 kernel:H100 上 RMSNorm 比 PyTorch 快 5.29 倍,16 个配置中 12 个胜过 torch.compile。

Cloudflare 把自家漏洞挖掘流水线的前身开源为 security-audit 技能:六阶段审计、对抗式验证与机器可读结论,用覆盖率账本决定还要继续查哪里。

GitHub 用 Copilot 把 Copilot 运行时从 TypeScript 全量重写为 80 万行 Rust:128 个 PR、14.5 周、约 12 万美元,进程内调用提速 18 倍、内存降低 91%。
![封面:暗色屏幕上显示的 Rust CUDA 内核源码,可见 #[kernel]、#[launch_bounds(256)] 与 DisjointSlice<f32> 等标注](/covers/2026-09-17-cuda-rust-two-tracks.jpg)
NVIDIA 推出 CUDA Rust:cuda-oxide 把 Rust SIMT 内核直接编译为 PTX,cutile-rs 以 Tile 模型在 stable Rust 上写内核,两者都在编译期拦截别名错误。

vLLM 详解 Kimi K3 推理优化:自适应调度预算、KDA 前缀检查点、零拷贝混合批次等改动,在 B300 上把吞吐提升 2.2–2.8 倍、TTFT 降低 72%–85%。

OpenAI 公开自研在线存储平台 Habitat:每秒超 7000 万请求、500 PB 数据、10 亿周活,已从 Python 迁移到 Rust,CPU 效率提升 6 倍。