Tessl 博客：AI 智能体评估应从证据开始，用 35 万行 Rust 复刻 S3 的实践复盘
Tessl 博客复盘前 Docker CTO Justin Cormack 在 AI Native DevCon London 的演讲，分享用 AI 构建约 35 万行 Rust 的 S3 兼容对象存储的经验。
AI 编码 大事记
重要进展 IMPORTANT_PROGRESS
2026-06-08 — 2026-06-08
重要进展 · 第 18 / 105 页
Kimi Code 整体功能升级已公开（最迟公开日）
至迟6月8日，Kimi Code整体升级已有公开报道。同题官方说明介绍一行命令安装、视频处理、权威数据源插件、ACP与hooks生态；这里记录最迟公开日期，不表示已直接核验官方精确首发时刻，也不绑定单一CLI版本。
AI 编码 精选历史资讯
— · 6 条
精选资讯 · 第 1 / 2 页
逆向分析指 ZCode 登录后静默打包 Git 历史并加密上传至 Aliyun OSS
开发者 ferstar 逆向 Z.ai 的 AI 编程桌面应用 ZCode，发现其登录后会静默把整个工作区打包（含完整 .git 历史、LFS 缓存、reflogs 和全局配置）加密上传至 Aliyun OSS，实测一次快照为 42,411 个文件、313MB，且 .git 目录占载荷的 86.6%。
Trail of Bits 用 Agent 为 Miden zkVM 审计自建 LSP、反编译器和 Lean 形式化证明
Trail of Bits 在审计 Miden zkVM 前，让 Agent 用六个月从零构建了 MASM 的 LSP 服务器、反编译器、静态分析引擎和 Lean VM 执行器模型。这些工具发现了可让恶意 prover 伪造 Falcon 签名盗取资金的高危漏洞，静态分析定位了 400 多处类型验证缺陷，Lean 工作产出 95 个机器验证的正确性证明，还发现两个单元测试未捕获的细微 bug。
分类
排序
暂无内容