跳到正文

#开源/仓库

今日 16 条

工具·提示词·论文 三栏速览

每栏 6 / 6 · 直达分类页

工具

6 条
查看全部

提示词

6 条
查看全部

论文

6 条
查看全部
今天10月8日周四
  1. Reddit · r/LocalLLaMA21

    DeepSeek Harness 桌面应用新增 29 种 UI 语言插件(MIT)

    开发者 seeweed7 为 DeepSeek Harness 桌面应用发布 MIT 协议的多语言插件,新增 29 种 UI 语言,覆盖 2,528 个键共 73,312 条词条;未翻译条目回退到英文,并预提交检查产品与协议名保持原文。插件含阿拉伯语、乌尔都语、希伯来语、波斯语等从右至左语言,面向 0.2.0-rc.2 版本,用户可通过 `dsh plugin` 命令安装。

  2. Reddit · r/artificial18

    开发者开源 OpenAgent:一款可语音操控 Mac、浏览器和社交媒体的桌面 AI 助手

    开发者开源了桌面 AI 助手项目 OpenAgent,处于活跃 beta 阶段。该项目以语音交互为入口,支持本地 shell 命令、文件编辑、代码搜索,以及通过 CDP 操控 Chrome 与持久化浏览器配置文件实现 Threads、Reddit 等平台自动化,同时集成自托管 Firecrawl 用于网页抓取。作者表示,整机 UI 操作、语音路由、延迟与安全执行等仍需继续打磨。

  3. Hacker News · 首页37

    PSP 游戏《战神:奥林匹斯之链》通过 MIPS 转 C++ 重编译为 WebAssembly,在浏览器中以最高 4 倍原生分辨率运行

    通过将 PSP 的 MIPS 机器码提前翻译为 C++ 并编译为 WebAssembly,《战神:奥林匹斯之链》和《战神:幽灵之颠》无需模拟器即可在 Chrome、Firefox 及手机浏览器中运行,实测在笔记本上达到 60 FPS、最高 4 倍 PSP 原生 480×272 分辨率,幽灵之颠稳定在 55–60 FPS / 3 倍分辨率。

10月7日周三
  1. Latent Space48

    Stacklok Mecatl:基于 Kubernetes 的云原生 AI 智能体 harness

    Kubernetes 创始团队创立的 Stacklok 开源了云原生智能体 harness Mecatl,旨在将 agent loop、工具调用、会话状态与执行环境解耦,解决桌面端 harness 难管理的问题。该项目已以 GitHub 开源项目形式自 6 月起开发,被定位为面向企业的云原生基础设施,意在降低对 Codex、Claude Code 等前端模型厂商的依赖。

  2. Hugging Face Blog70

    NVIDIA 公布 Nemotron 在 IOI 与 IMO 2026 的金牌级微调与推理方案

    NVIDIA 在 Hugging Face 博客介绍基于 Nemotron 3 微调出的系统在 IOI 2026 与 IMO 2026 均达到金牌线,其中 IOI 由 Nemotron-3-Ultra-CC 配合 GenCorrect 取得 535.4/600 分。

    推荐理由:原文把 IOI 与 IMO 两个金牌结果的训练数据、方法和推理回路整理成可复用的微调配方,读者可直接对照迁移到自己的领域。

  3. Reddit · r/LocalLLaMA32

    pi-optchat:基于二叉记忆树的无限对话 Pi 扩展

    pi-optchat 是 Pi 的扩展,实现 Victor Taelin 的 OptChat 方案:不压缩对话,而是把每条消息记录并摘要成二叉树,每轮以 128 KB 的有界记忆视图开启新上下文,需要时再通过 zoom/date 读取原文。它支持多 profile、后台 subagents、Claude Code/Codex/ChatGPT 历史导入以及多窗口联动。

  4. Hacker News · 首页13

    Penguin Mail 1.0.0 发布:开源 Rust 邮件客户端,为 Linux 增加本地 AI 助手

    Penguin Mail 1.0.0 发布,这是一款面向 x86_64 Linux 的开源 GPL-3.0-or-later 邮件与日历客户端,统一管理 Gmail、Microsoft 365、IMAP/POP3 等账户。应用内集成可选 AI 助手,可通过 LM Studio 或 Ollama 在本机运行模型,并在发送邮件或修改设置前请求确认,所有邮件数据保留在用户本地,不经第三方服务器。

  5. Hacker News · 首页45

    OpenAI 开源数学论文与证明成果仓库,含 722 篇手稿与 Lean 形式化

    OpenAI 在 GitHub 开源了一份数学论文与证明仓库,包含 722 篇由内部模型生成的数学手稿,归为 372 个研究族类,多数配有 Lean 形式化证明。模型被投喂约 4,000 个开放问题,平均每项结果使用 3 小时 ChatGPT Pro 思考算力,部分成果涉及黎曼 ζ 函数无零点区域与 Hodge 猜想证明。

  6. TechCrunch · AI38

    Musubi 如何用决策模型改造内容审核

    Musubi 发布开源轻量级决策模型 PolicyLM-1.7B,专门用于实时内容审核,可在 50 毫秒内将英文政策套用到消息内容,输出是否符合的二分类判断。该模型成本和速度与现有 AI 分类器相当,但具备现代 LLM 的灵活性,可在政策变更时无需重新训练即可迭代。