跳到正文

#编码

今日 51 条
今天9月30日周三
  1. AGI Hunt34

    ehartford 推出面向人类与智能体的 With 编程语言

    开发者 ehartford(QuixiAI)向 aallan 的 agentlanguages 仓库提交 PR,收录其编程语言 With(withlang.org),定位为面向 LLM/智能体编写程序的语言。With 既追求对智能体高效,也强调对人类友好,`with init` 命令会在项目中生成 CLAUDE.md 和 AGENTS.md 等文件,以兼顾人与智能体的协作需求。

  2. AGI Hunt35

    开发者让 LLM 记录执行顺序,破解 Minecraft 1.21.11 世界生成非确定性难题

    开发者 gandamuml 让 LLM 在 tapes 中记录执行顺序,再在克隆环境按序回放,为 Minecraft 1.21.11 世界生成提供了可复现的确定性验证。Minecraft 1.21.11 的世界生成受 Java 运行时差异影响,同一版本自身每次运行结果都可能不同。该方案在完成确定性验证的同时,保留了正式发布运行的灵活性。

  3. AGI Hunt26

    开发者 gandamu_ml 用决策点验证法证明 Minecraft 世界生成克隆与原版等价

    开发者 gandamu_ml 展示了 Minecraft 世界生成器克隆的决策点验证法:不必证明生成顺序分布与 Java 原版一致,只需证明在给定相同顺序时两者结果等价。实现上他借助 LLM 自动寻找合适的决策点,使克隆环境的验证回放流程能无缝切换到接下来需要执行的代码。他坦承不确定 LLM 具体做了什么,但认为该方案理论上可行。

  4. arXiv cs.AI38

    StateTape:面向长时程编程智能体的动作条件证据生命周期建模

    研究者提出 StateTape,一种面向长时程编程智能体的上下文维护框架:它把仓库建模为符号级代码图,用 tape 标记每次写入改变的符号,并按仓库变化重写智能体上下文。它能在每次写入时清除被证伪记录、检索所需记录,并配套 TraceBench;在六个编程智能体和三个编辑密集基准上均取得更高解决率且计算开销较小。

  5. AGI Hunt30

    iOS 开发者 Dimillian 盛赞 Codex 云端环境:配合 dots 体验极佳

    iOS 开发者 Dimillian 转发并确认对 Codex 新发布的云端环境(cloud environments)给出好评,称迫不及待要详细介绍它的用法。被引用的开发者 mweinbach 表示这些环境「好得离谱」,尤其配合 dots 使用时体验出色。这是早期用户对 Open Codex 云端并行开发环境的高口碑反馈,具体细节待作者后续演示。

  6. AGI Hunt31

    前 Google 工程师 Piotr:AI agent 还写不出生产级代码,60 分钟面试还能考什么?

    前 Google 工程师 Piotr 澄清,他并非反对面试考编程能力,但在 Google 代码库贡献的经历让他确信 AI agent 还远达不到生产级代码所需的正确、干净与可扩展水平。他同时质疑 LeetCode 刷题式面试并非理想方案,抛出 60 分钟面试除算法题还能考什么的问题。这反映出 AI 编程助手普及后,工程招聘标准尚未找到新范式。

  7. AGI Hunt43

    max_paperclips 反驳 housecor:模型变强不等于可删 agent 封装层

    max_paperclips 反驳 housecor:模型变强并不会让 agent 封装层变得多余。他认为模型不会自动学会记忆重复任务、感知可用 API 或积累可复用工具集,skills、MCP、自定义循环等封装层仍需保留。实际变化只是 prompt 和指令能写得更简略,嵌套循环、任务进度追踪等工程结构不会因 TerminalBench 提升 2% 就消失。

  8. AGI Hunt36

    程序员自述:AI 辅助开发中每轮重构都会让旧问题迁移到新代码

    一位开发者观察到,AI 辅助开发中代码达到新里程碑后往往还需再做一轮 code review 和深度重构,耗时一两天。更关键的是,上一轮迭代中被掩盖的问题不会消失,而是悄悄迁移到新写的代码里,一天后才发现。这意味着每次重构在解决表面问题的同时可能把缺陷带入新结构,持续审查不可或缺。

  9. AGI Hunt67

    OpenRouter 发布首期数据简报,token 用量爆发、开源模型支出半年涨 10 倍

    OpenRouter 研究负责人 Peter Walker 发布首期数据简报,指出平台推理量持续激增,2026 年 2 月 6 日可能是历史上最后一天人类消耗的 token 多于 agent。

    推荐理由:OpenRouter 数据简报给出了 token 用量、开源模型支出与降价后用量弹性的具体倍数,可作为观察 agent 消耗趋势的参照。