最新文章

OpenLogi 开源解读:Rust 重写的罗技驱动,无账号无遥测,TOML 配置直连 HID++

罗技官方驱动 Logitech Options+ 长期被用户抱怨三点:必须登录账号、后台常驻云同步与遥测、安装包与运行时资源占用偏重。GitHub 上一个 Rust 项目给出了另一条路:OpenLogi,通过 HID++ 协议直连设备,把按键重映射、DPI、SmartShift 滚轮等配置全部放在本地一个 TOML 文件里完成,无账号、无遥测、无云依赖。 !…

DeepSeek Harness RC.8:多模态输入与子代理编排

DeepSeek Harness 在 8 月 17 日发布 RC.7 两天后,8 月 19 日 23 点左右放出了 RC.8。这个 8 月 13 日才创建的 GitHub 仓库,star 数已超过 17.1 万,dsh-plugin 话题下的生态仓库接近 9000 个。RC.8 的更新横跨多模态输入、子代理、工具调用、Windows 终端和底层存储,官方 c…

Anthropic 思想病毒论文解读:73 页实验揭示 Agent 间观念传播与一行防御

当 AI Agent 开始成群协作,一个此前只存在于理论讨论中的问题有了实验答案:观念能不能像病毒一样,在 Agent 与 Agent 之间传播?Anthropic 的四位研究者用一篇 73 页的论文给出了肯定回答,并把这种东西命名为"思想病毒"(mind virus)。论文编号 arXiv:2608.10218,作者 Vassilis Papadopoul…

Munder Difflin 开源解读:单提交者 Git、原子邮箱与 Stop 钩子如何让十个终端 CLI 协作

并行跑多个 AI 编程 CLI 的开发者大多撞过同一堵墙:三个 Claude Code 会话同时改一个仓库,index.lock 报错此起彼伏;想让 Codex 把结论转交给另一个会话,只能靠人肉复制粘贴;每个会话的上下文彼此隔离,A 学到的东西 B 一无所知。GitHub 上一个叫 Munder Difflin 的开源项目给出了一套相当工程化的答案:它不改…

开源AgentAI

OpenViking 解读:火山引擎的 Agent 上下文数据库

Claude Code 自带的记忆机制在 LoCoMo 长对话基准上的准确率是 57.21%,接入 OpenViking 之后达到 80.32%;OpenClaw 的原生记忆只有 24.20%,接入后 82.08%。这组数字来自 OpenViking 官方基准报告,测的是同一件事:当对话历史长到塞不进上下文窗口时,Agent 能否答对那些依赖早期信息的问题。…

开源AgentAI

陶哲轩推出 Palomar:Lean 验证数学注册表开放

2026 年 8 月 18 日,陶哲轩(Terence Tao)在个人博客宣布,Lean 验证数学注册表 Palomar 正式开放提交。这个由 Lean FRO 与 ICARM 共同孵化的项目,瞄准的是 2026 年以来日益尖锐的一个问题:AI 生成的数学证明数量激增,但确认一个 Lean 仓库真的证明了它声称的结果,对非 Lean 专家来说异常困难。 陶哲…

AI数学Lean