让代码模型不只写对,还要写快:Meta 论文探索面向代码优化的强化学习
这篇论文讨论了一个更难的代码智能目标:不仅让模型生成能通过测试的程序,还要让它学会生成运行更快的程序。研究指出,执行时间作为奖励信号看似直接,实际却会被噪声、稀疏奖励和训练不稳定性放大。
阅读全文这篇论文讨论了一个更难的代码智能目标:不仅让模型生成能通过测试的程序,还要让它学会生成运行更快的程序。研究指出,执行时间作为奖励信号看似直接,实际却会被噪声、稀疏奖励和训练不稳定性放大。
阅读全文Kimi Code 文档显示,Kimi K3 新增 256k 上下文版本 k3-256k,面向日常问答、代码补全和常规开发任务。相比 1M 上下文的 k3,它在 256k 范围内保持同等效果,并显著降低配额消耗。
阅读全文一项基于 207 个 GitHub 项目、102 万个已评审 Pull Request 的研究显示,AI Agent 参与代码评审后,决策速度明显提升,但质量收益并不稳定。
阅读全文亚马逊云科技发布适用于 AWS 的 Claude 应用网关,为 Claude Code 与 Claude Desktop 提供自托管控制平面。它把身份、策略、路由、遥测和成本限额集中到服务端,回应企业大规模使用 AI 编程工具时的治理难题。
阅读全文OpenAI 的首款自有品牌硬件并不是手机或 AI 伴侣设备,而是一款面向 Codex 用户的可编程迷你键盘。它与 Work Louder 合作设计,定价 230 美元,核心用途是让开发者更便捷地控制 AI 编程 agent。
阅读全文围绕AI代码工具是否应进入Linux内核开发,Linus Torvalds给出了强硬回应:Linux不会成为反AI项目。争议焦点不只是代码生成,而是开源社区如何在效率、质量与维护者负担之间重新划线。
阅读全文一项针对 2361 个热门 GitHub 仓库的研究显示,智能体编程工具已经开始进入开源协作流程,但真正高强度使用仍集中在少数项目中。
阅读全文一篇新 arXiv 论文提出“生成式编译”,尝试把编译器反馈从代码生成后的检查,提前到大模型逐步生成代码的过程中。该方法面向 Rust 这类静态语义严格的语言,希望减少不可编译输出并提升功能正确性。
阅读全文