跳到正文

#编码

今日 1 条
9月17日周四
  1. Latent Space48

    AINews 现实核查:Yegge 关停 Gas Town,Databricks 用 Astra 成本增 60%

    Steve Yegge 关停了 Gas Town,并承认尽管每月在编码智能体订阅上花费数千美元,他只用它构建了 Gas Town。Databricks 向约 3500 名工程师部署 GPT-6 Astra 后,整体编码支出增加约 60%,为此设立了专门的 Astra 子预算。OpenAI 发布模型失准事件追踪与披露框架,并附上过去六个月的六份案例报告。

  2. GitHub Blog87

    GitHub 用 Copilot 智能体将 Copilot 运行时从 TypeScript 迁移到 83 万行 Rust

    GitHub 工程师 Stephen Toub 复盘用 Copilot 智能体在约 14.5 周内将 Copilot agent runtime 从 TypeScript/Node.js 全量重写为 832,378 行生产 Rust,AI 智能体完成大部分代码,共 128 个 PR 增量合入 main 并持续发布。

    推荐理由:当事工程师复盘用 AI 智能体在数月内将 Copilot 运行时迁往 Rust 的全过程,策略、回归样本和成本数据对同类迁移有直接参考价值。

  3. xAI:News(网页)61

    Grok Build 推出记忆功能,可跨会话保留项目约定与决策

    xAI 宣布 Grok Build 上线记忆功能,会在每轮对话结束后于后台记录项目约定、决策及事实,供后续会话读取。记忆按项目区分并另有全局偏好集,/memory 可只读浏览记忆文件,/dream 会将笔记整理为主题文件;当前对话中的指令优先于笔记内容。

    推荐理由:原文说明了记忆的记录、整理和优先级机制,读者可以据此评估它对长期项目编码工作流的影响。

  4. Tessl:产品与工程博客55

    Tessl提出用可执行规范解决AI代码审查瓶颈

    Tessl博客指出,AI编码代理导致PR数量激增但审查变慢,核心原因是缺乏对输出结果的信任。文章主张建立“验证层”,将产品意图转化为“可执行规范”。通过拆分规划与验证代理、结合规范与代码进行比对、并在隔离沙箱中运行以规避安全风险,旨在让代理自动检查实现是否符合原始需求,从而提升工程效率。

9月16日周三
  1. Hacker News:AI 热帖51

    ploeh 谈 LLM 时代如何学习编程

    博主 ploeh 回应一位读者的长信,讨论在 LLM 时代学习编程与建立能力的问题。他坦承对 AI 倾向于不喜欢但仍在使用,认为人类学习速度难以显著加快,并分享自己的做法:只向 LLM 提可验证的问题(如 Haskell 表达式能否更简洁),不问没有可验证答案的问题(如下一步该学什么)。

9月15日周二
  1. Trail of Bits:AI安全研究61

    Trail of Bits 批评 1Password 的 AI 补丁基准存在误导,并发布两个补丁验证 Agent 技能

    Trail of Bits 发文批评 1Password 8月6日发布的 FLAWED 报告,称其 26% 的 AI 干净修复率受四项实验设计选择影响而失真,包括刻意指示智能体应用错误修复的提示词占 22% 数据、36% 的试验禁止编译测试,以及不同推理档位设置。

    推荐理由:原文针对1Password基准的26%头条数字给出逐项方法学批评,并补充自身人类修复失败率与开源合并数据作对照。