跳到正文
今天10月7日周三1228 条
  1. 掘金62

    AI 应用如何优雅恢复中断:连接解耦与状态持久化

    文章提出 AI 长任务应把用户连接与实际任务的生命周期解耦,任务状态需持久化以便精确恢复,而非重试或从头开始。作者梳理了断线重连后的四类问题,包括副作用重复、流式输出重复错乱、上下文丢失和检查点版本不兼容,并给出幂等键、offset 去重、schemaVersion 迁移等对应写法。

  2. 掘金62

    Agent 修 flaky 测试:删掉变量与重试判据的失真

    作者在 GitHub 上找到六个公开仓库,其中四个由 Agent 提交,处理随机失败的门禁测试。一个 Agent 的修复方式是删掉让测试结果变化的 fixture 变量,另一个把重试后通过当作已确认 flaky 的依据。作者自建实验显示,真实 flaky 率 18.3% 的门禁在重试判据下报出 0%,60 轮全绿,真实 61.7% 则被稀释到 26.7%。

  3. Hacker News22

    基于 Yggdrasil 的朋友间分片加密存储

    一项基于 Yggdrasil 网络的分片加密存储方案,可在朋友之间共享存储资源。该方案将数据分片并加密后通过 Yggdrasil 传输,实现去中心化的朋友间存储协作。

  4. Hacker News20

    为什么有人不喜欢 AI 编程:六种常见反对理由解析

    文章梳理了反对 AI 编程的六类理由:代码作为艺术、AI 抢走工作、人类沦为"肉代理"、软件工程即规则、AI 公司是坏行为者等。作者逐一反驳,认为雇主付费买的是软件成果而非打字过程,需求会随应用效率提升而增加;马克思 1857-1858 年《机器论片段》已预言脑力劳动被机器取代,夺走工作的不是技术而是生产方式。

  5. The Decoder76

    OpenAI 在 GitHub 发布 372 条 AI 生成的数学证明

    OpenAI 在 GitHub 上发布了由内部前沿模型生成的 372 条数学结果,每条都声称解决了一个开放问题或取得实质进展,其中包含对主要计算机算法的改进以及与黎曼假设相关的推进。

    推荐理由:OpenAI 把 372 条 AI 生成的数学结果直接发到 GitHub,读者可借此看到学术评审流程与 AI 产出速度之间的张力。

  6. Latent Space88

    OpenAI 内部模型发布 722 篇数学手稿,称解决 500 个公开难题中的 90 个

    OpenAI 从一个未公开的内部前沿模型发布 722 篇数学手稿,归入 372 个相关结果族,来自约 4000 个研究问题的评测,平均每个结果消耗约 3 小时 ChatGPT Pro 推理算力。

    推荐理由:OpenAI 内部模型一次性产出 722 篇数学手稿,读者可了解其规模、算力成本与学界对结果可靠性的分歧。

  7. 掘金34

    pi-rust 源码拆解:一条消息如何从输入框走到模型

    pi-rust 是用 Rust 实现的编码助手,运行命令为 rpi,可接入模型并提供读文件、执行命令等工具。文章以“读配置文件查超时时间”为例,沿 Editor::submit、AgentHarness::prompt_text、run_agent_loop 追踪一条消息从输入框到模型请求的完整路径,并解释 Session、Run、Turn 三个尺度及 Agent Loop 的循环机制。

  8. 掘金67

    ChatGPT 账号用户可免费使用 Auto-review 双智能体审查功能

    ChatGPT 账号登录用户现在可免费使用 Auto-review 功能,且不占用套餐用量。该功能在后台运行第二个独立智能体,审查主智能体的所有操作,阻止高风险操作和偏离用户原始意图的动作,可在设置的 settings、permissions、auto-review 中启用。同期发布的还有速度优化更新,GPT-6 Astra 和 GPT-6.1 Sol 默认运行速度提升约百分之五十。

  9. 掘金22

    从鸿蒙搬到 iOS 和 Android:仓颉棋盘游戏《驿路巡点》为何最终选择 CJMP

    仓颉棋盘游戏《驿路巡点》从鸿蒙迁移到 iOS 和 Android 时,先尝试仓颉 1.1.3 交叉编译加原生壳方案,只跑通 1 关,且发现 Canvas 在 iOS/Android 的引擎构建中未编入。团队随后转向 CJMP,使用 OpenSDK 0.2.2(内置 cjc 1.1.0),求解器层面 100 关全通,94 关测试在模拟器上完成。

  10. 开源中国26

    SonnetDB 4.0.0 发布:完善 SQL 与多模型协作,强化部署和恢复边界

    开源多模型数据引擎 SonnetDB 4.0.0 已在 GitHub 发布,基于 C# / .NET 10 构建,采用 MIT 许可证,支持嵌入式运行和独立 Server 部署。本次更新完善了 SQL 与关系数据能力,扩展 CTE 等功能,并强化了部署与恢复边界。该引擎以数据库目录为持久化边界,为时序、关系表、KV、JSON 文档、全文、向量、对象、消息队列和 Graph 提供各自原生语义。

  11. 开源中国15

    袋鼠数据库工具 v9.9.1 版上线

    袋鼠数据库工具 v9.9.1 版已上线,这是一款 AI 驱动的数据库客户端,支持 MariaDB、MongoDB、MySQL、Oracle、PostgreSQL、Redis、SQLite、SQLServer 等系统,覆盖建表、查询、模型、同步、导入导出等功能,并支持 Windows / Mac / Linux 操作系统。

  12. 掘金22

    Go 后端转 AI 两个月零 offer:真正卡住的是三块底子,不是技术

    一名 6 年 Go 后端裸辞转 AI,两个月零 offer,复盘发现缺口不在 AI 技术本身,而在业务匹配度、项目深度和面试表达三块底子。他把地产 SaaS 交易链路翻译成幂等、回滚等 AI 岗行话,并在原问答机器人上补超时、重试、trace,让项目能扛住三层追问。补完后 offer 接连到来,最终薪资高于原预期。

  13. 掘金48

    Blender 建模 + Three.js 展示:用 Claude Code 一天做出光储充超充站数字孪生大屏

    开发者用 Claude Code 配合 Blender 5.2 的 Python 脚本建模、Three.js r186 展示,一天内完成一座光储充一体化超充站数字孪生大屏。场站含 30 根双枪快充桩、4 根液冷超充终端、6 台储能柜(合计 2 MWh),通过 MCP 让 AI 直接操控 Blender 生成模型,Sketchfab 车辆模型经减面标准化后每辆约 1.4 万面。

  14. 掘金62

    KV Cache 精讲:AI 越聊越慢的原因与长上下文的显存成本

    文章从自回归生成机制讲起,解释大模型推理中预填充与解码是两种不同负载,前者计算密集决定首字延迟,后者访存密集决定出字速度。作者给出 KV Cache 显存估算公式,以 8B 模型(32 层、KV 头 8 个、每头 128 维、fp16)为例算出约 128 KB/token,128K 上下文下单请求缓存约 16 GB,与模型权重相当。

  15. 掘金32

    Anthropic 投 1 亿美元培养 1 万名前沿部署工程师,拆解 AI 落地为何试点漂亮、一进生产就流产

    Anthropic 宣布拿出 1 亿美元,要在 2027 年底前培养 1 万名前沿部署工程师(FDE),不买卡、不堆算力,只培养能把 AI 塞进企业生意里的人。文章指出上百家大公司里不到五分之一在 AI 上拿到像样回报,多数项目试点漂亮、一进真实业务就流产,并给出挑最烦的事、写清标准、用结果带动人的三步下手法。

  16. 掘金22

    从"算子"到"AI Infra":大模型背后看不见的那群人在忙什么

    大模型运行依赖算子与 AI Infra 两层支撑:算子是最基本的计算步骤,如 MatMul、ReLU、Softmax,同一算子优化前后速度可差几十倍,FlashAttention 通过重排计算顺序让注意力计算快了好几倍。AI Infra 则覆盖从芯片到上线服务的整套系统,解决跑得起、跑得快、跑得省的问题,常用指标 MFU 能做到一半左右已算不错。