跳到正文
今天11月8日周日4 条
  1. 量子位77

    GitHub不堪重负,OpenAI拟收购Pierre,Anthropic与Cursor自建代码托管

    AI写代码的速度让代码托管基础设施不堪重负,OpenAI拟收购代码托管工具公司Pierre,Anthropic已把主代码库迁入自研系统,马斯克旗下Cursor的托管服务Origin开放早期测试。

    推荐理由:原文把OpenAI、Anthropic、Cursor的自建托管与GitHub扩容放在一起,可看出AI编程工作量已让基础设施吃紧。

11月7日周六
11月6日周五
  1. Microsoft Research61

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

    微软研究院发布 PDD Kit,把开发者意图转成 Verus 形式化规范,对每个输入验证智能体所写代码,证明覆盖不到处以测试兜底。团队在 GitHub Next 的 Chopin 中用它验证了约 5,000 行 Rust 全栈应用 Pet Store 的登录逻辑,开发者只审查意图产物而未逐行阅读生成代码,pdd-ship 还会把 Verus 检查加入 CI。

    推荐理由:原文展示把代码审查重心从逐行阅读转向意图规范的方法,以形式化验证和边界测试守住智能体的实现约定。

10月29日周四
  1. Microsoft · Official Blog65

    Microsoft 推出 Copilot harness,可通过 Foundry 托管构建多模型智能体

    Microsoft 宣布将 GitHub 工程团队打造的 Copilot harness 通过 Microsoft Foundry 开放,开发者与企业客户可用全托管方式构建能推理、调用工具并完成复杂长任务的智能体。

    推荐理由:原文解释了多模型编排层为何难以自建与维护,开发者可据此评估改用托管 harness 来聚焦上层应用的取舍。

10月26日周一
10月21日周三
10月20日周二
  1. GitHub Blog · AI & ML50

    如何在 VS Code 中继续 GitHub Copilot 应用会话

    GitHub Copilot 应用会话可以直接在 VS Code 中打开并继续,对话、代码改动和工作上下文原样保留。教程讲解通过 Open in VS Code 打开关联 worktree,逐行审查智能体改动、手动编辑并在本地运行测试的流程。完成的改动推送到原分支即可更新会话已关联的 pull request,无需重新描述任务。

10月14日周三
10月13日周二
10月8日周四
10月5日周一
9月26日周六