#编程工具

3 篇文章

2026年3月，Claude Code 的50万行TypeScript源码意外泄露。社区的回应不是恐慌，而是用 Rust 重写整个项目。这场闹剧如何演变成 Rust 进军AI基础设施的最佳广告？

Mistral AI 发布首个开源 Lean 4 代码代理 Leanstral，让 AI 既能写代码又能自证正确性。这次我们聊聊形式化验证和 AI 编程的那些事儿。

从v0.86到v0.97，OpenAI的AI编程助手经历了怎样的蜕变？本文带你快速了解这12个版本中最实用的新特性，看看你错过了哪些提升效率的神器。