跳到正文

技术方向

AI 编码 最新动态

用 AI 写代码：编程助手、Vibe Coding、代码模型评测，以及开发方式的变化。

2 条精选近 30 天 2 条共收录 9 条

更新

AI 编码的精选

11月13日周五第 1–2 条
  1. Ars Technica · AI82

    Google 推出 Gemini 4 Hydrogen，取代 3.8 Flash

    Google 发布 Gemini 4 Hydrogen，并已在自家产品中取代 Gemini 3.8 Flash，访问限制比此前 Argon、Carbon 宽松，发布即开放。

    推荐理由：原文列出 Hydrogen 相对 3.8 Flash 的速度、幻觉与 Terminal-Bench 变化，可据此判断 Flash 系列换代后的实际差异。

11月6日周五
  1. Microsoft Research64

    微软研究院用 PDD Kit 形式化验证智能体编写的全栈 Web 应用

    微软研究院联合 GitHub Next 提出 Proof-Driven Development（PDD）与配套工具 PDD Kit，把用户意图转成 Verus 形式化规格，证明智能体写的代码对每个输入都满足规格，证明覆盖不到的部分改用测试。

    推荐理由：微软研究院与 GitHub Next 展示用 Verus 形式化验证智能体生成的登录代码，把审查重心从逐行读代码转向审阅意图规格。