02:26·Hacker News Best(web_list)
Tailscale 在去年底至今年初遭遇多次服务中断,根源是一个存在于 SQLite 中长达 16 年的 WAL 重置 bug。其控制平面采用分片架构,每片使用单一 SQLite 数据库,自 2022 年起作为主数据库。去年 8 月首次发现备份数据库损坏,此后六个月内共发生 19 次损坏。损坏仅影响配置元数据,不涉及私钥或流量,但导致受影响 tailnet 的控制平面中断,恢复时间从最初的一小时以上逐步缩短。团队排查了近期变更、代码审查、寻找共性因素均无果,最终借助 SQLite 开发者的专业支持,通过部署被动取证遥测逐步排除多种理论,定位到该 bug 并修复。
#Tailscale#SQLite#故障排查
02:20·elvis
一项针对CLAUDE.md和AGENTS.md文件的研究揭示了其无限增长的原因:追加指令成本低,而删除指令需要指数级验证成本,导致无人清理。研究分析了1867个仓库中247694条指令的生命周期,发现提示词在生命周期内增长超过三倍,每次提交平均净增4.9条指令,且指令越旧越难被删除。提出的解决方案是在指令旁添加注释,记录其存在理由,在可验证环境中可消除99.3%的多余指令,并将真实智能体指令遵循能力提升最高23.1%。该研究为AI工程实践提供了可操作的优化建议。
#CLAUDE.md#AGENTS.md#工程实践
02:00·GitHub 博客(RSS)
AutoGPT 创始 AI 工程师 Nicholas Tindle 分享了维护开源项目时应对 AI 生成 PR 的经验。AutoGPT 拥有超 18 万 star 和约 150 个开放 PR,其中大量由 Copilot、OpenClaw 等代理编写。他们发现改进文档无效,因为代理不会主动阅读,于是将指令放在代理可见的位置,如 AGENTS.md 和技能文件。他们设置了有效门禁:强制 PR 模板、要求测试计划、将 CI 作为硬性检查、用 CLA 签名作为人类检测器、要求解决审查线程时提供提交 SHA。他们还关闭了自动评论失败的 CI 功能,以避免噪音。最后提醒注意 AGENTS.
#AutoGPT#开源维护#AI代理
01:37·MarkTechPost(RSS)
本教程基于 AllenAI 的 Open Instruct 框架,构建了一个端到端的后训练流水线,用于训练紧凑型指令微调语言模型。教程涵盖三个主要训练阶段:监督微调(SFT)、直接偏好优化(DPO)以及使用 GRPO 的可验证奖励强化学习(RLVR),并将原始的多 GPU Tulu 3 技术栈适配到 16 GB 运行时环境。作者克隆 Open Instruct 仓库,选择性加载其原生损失函数和工具函数,配置 LoRA 适配器,为每个训练阶段准备 GSM8K 数据,并使用确定性验证器评估生成的数学答案。
#AllenAI#Open Instruct#后训练
10:31·华尔街见闻(RSS)
AI陪伴机器人“芙崽”由珞博智能推出,自2025年7月国内开售以来累计销量近30万台,活跃用户日均对话超40分钟。创始人孙兆治在与华尔街见闻对谈中透露,产品采用全云端架构,模型、Agent和长期记忆运行在云端,每轮对话记忆召回耗时控制在100毫秒以内。实时对话优先使用响应更快的模型,而长周期任务(如梳理话题、写日记)则调用推理更强的模型。公司已完成亿元级Pre-A轮融资,芙崽已进入日本市场,众筹金额超8300万日元,计划今年第四季度进入美国。孙兆治认为行业壁垒在于IP构建、AI应用和消费电子级硬件能力,并强调出海需深度本地化,如日本版经过近一年准备,对角色性格、声音等做了多轮调整。
#珞博智能#AI陪伴#长期记忆
00:24·Hacker News Best(web_list)
作者认为,AI 让缺乏工程文化的项目更快失败。过去,团队会先讨论再实施,而现在开发者可以直接让 AI 代理生成大量代码并提交 PR,导致代码库迅速变得混乱复杂。文中描述了 2026 年一个典型场景:工程师面对 25000 行的 PR,无法解释数据来源,只能依赖 Claude 对话记录。作者指出,虽然技术债务一直存在,但 AI 加速了其积累,使得修复成本极高。他认为,AI 将拉大工程师薪资差距:优秀工程师因 AI 而更有价值,而平庸工程师则面临被淘汰的风险。核心观点是,判断力成为最稀缺的能力,能够评估 AI 输出的人将获得更高回报。
#AI工程实践#软件工程#技术债务
21:01·Interconnects(RSS)
Interconnects 作者 Nathan Lambert 在完成新书《基于人类反馈的强化学习》后撰文反思,认为尽管 LLM 在编码、数学等任务上进步神速,但在长文非虚构写作上却停滞不前。他指出,模型能写好单句,却难以组织整章内容,常出现措辞混乱、结构松散和概念错误。他观察到 GPT 模型擅长校对,而 Claude 模型更擅长编辑,能提供有品味的建议。他认为写作能力与模型擅长的其他技能正交,缺乏针对性训练数据是主因,并担忧这会影响模型自主解决开放科学问题的能力。他分享了利用 Claude Code 处理编辑意见、采纳少量 AI 生成句子的实操经验,强调人类作为引导者的必要性。
#AI写作#LLM#工程实践
10:00·InfoQ 中国(RSS)
在AICon深圳大会上,蚂蚁集团分享了其AI驱动的生产级软件交付基建与实践。该实践围绕代码生成、代码评审、测试生成、缺陷定位等环节,构建了覆盖研发全流程的AI辅助工具链。蚂蚁通过自研的代码大模型,结合企业级知识库与工程数据,实现了对代码生成质量的持续优化,并在实际业务中落地。同时,蚂蚁还建立了AI生成代码的安全与合规审查机制,确保交付质量。此次分享为软件研发领域的AI应用提供了可参考的工程化路径。
#蚂蚁集团#AI工程实践#软件交付