跳到正文

#开源/仓库

今日 1 条
9月16日周三
  1. 蚂蚁 inclusionAI:GitHub 新仓库63

    蚂蚁 inclusionAI 开源 Realtime-Venus 全双工交互系统

    蚂蚁集团 Venus 团队与清华大学在 GitHub 开源 Realtime-Venus,一个支持全双工对话与异步任务委托的实时交互系统。系统包含三个组件:Realtime-Venus-Omni(9B,流式音视频对话与主动交互)、Realtime-Venus-Audio(9B,语音交互与音频理解)以及负责后台任务执行并将结果返回同一对话的 Harness 运行时。

    推荐理由:蚂蚁和清华开源了全双工对话加异步委托任务的系统,含 9B 的 Omni 与 Audio 两个模型和 Harness 运行时,可直接下载推理或跑浏览器 demo。

9月15日周二
  1. Hacker News 热门(buzzing.cc 中文翻译)54

    fugleramme 开源:用 Raspberry Pi 和 BirdNET-Go 打造能聆听鸟鸣的电子墨水画框

    作者开源 fugleramme,一个基于 Raspberry Pi 5 和 Inky Impression 13.3 英寸电子墨水屏的画框,通过 BirdNET-Go 在本地实时识别麦克风听到的鸟鸣,并匹配 19 世纪公共领域博物学插画渲染展示,已收录超过 800 张手工抠图、覆盖 400 多个物种。

9月14日周一
9月12日周六
9月11日周五
9月10日周四
9月9日周三
  1. Hacker News 热门(buzzing.cc 中文翻译)62

    Vercel Labs 发布 27.4KB 语言无关的 WebGPU 语法高亮工具 gpu-lexer

    Vercel Labs 发布实验性语法高亮工具 gpu-lexer,用 27.4KB 的 WebGPU 模型对任意语言源码做 token 标注,无需按语言选择语法。在 5.56M 字符输入上高亮耗时 402ms,快于 Prism.js 和 Shiki;在留出文件上与 Shiki 的标注一致率为 88.02%,Top-25 加权一致率 90.35%,作者强调这是实验而非语法等价的高亮器。

9月8日周二
  1. Berkeley RDI:Blog(AI 安全与评测)61

    Berkeley RDI 发布开源平台 CUA-Lite,面向计算机使用智能体

    Berkeley RDI 推出开源平台 CUA-Lite,为计算机使用智能体提供三个标准化抽象。其环境接口下运行 15+ 个覆盖桌面、浏览器和移动端的基准,并提供含 30k+ 可验证任务的免 VM 桌面沙箱;统一监督数据格式已转换 10+ 个公开 CUA 数据集;每模型一个 harness 在评测、SFT 和 RL 间共享,支持 14 个模型族。

    推荐理由:原文说明了平台的三项标准化抽象及覆盖规模,读者可以据此评估它在整合分散的计算机使用智能体资源上的可用性。

9月7日周一
9月6日周日
9月5日周六
  1. Ethan Mollick56

    Anthropic 在 GitHub 上传了费马大定理的 Lean 4 完整机器校验证明(https://github.com/anthropics/fermats-last-theorem),基于 Mathlib(Lean 4.33.1、Mathlib v4.33.0),论证路线为 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles。Ethan Mollick 转发并评论称,该证明的描述虽短,但 PROOF-PATH.md 中"为每一步命名并标注对应 Lean 定理"的写法仍很像 Claude 的产出。仓库标注为研究产物,不维护且不接受贡献。

9月4日周五
  1. The Verge:AI(RSS)64

    Nvidia 发布免费工具 Personal AI Router(PAIR),将家中闲置电脑组成个人 AI 数据中心

    Nvidia 发布免费开源软件 Personal AI Router(PAIR),可发现并连接网络中的兼容电脑,配合 Ollama、LM Studio 等工具处理本地 AI 推理和智能体工作流。PAIR 并非硬件路由器,兼容 RTX 20 系列及更新的 GeForce GPU、RTX Pro GPU、DGX Spark 系统,也支持 Apple M4 或更新芯片。

9月3日周四
9月2日周三
9月1日周二
6月11日周四