跳到正文

#开源/仓库

今日 22 条

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

每栏 6 / 6 · 直达分类页

工具

6 条
查看全部

提示词

6 条
查看全部

论文

6 条
查看全部
10月7日周三
  1. Hacker News · 首页45

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

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

  2. TechCrunch · AI38

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

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

  3. Reddit · r/LocalLLaMA45

    Google DeepMind 开源多模态嵌入模型 EmbeddingGemma 2,可在消费级硬件端侧运行

    Google DeepMind 发布开源多模态嵌入模型 EmbeddingGemma 2,可将文本(含代码)、图像、视频和音频输入统一映射到 768 维向量空间。模型共 740M 参数,由 270M 文本模型与 170M 视觉、300M 音频编码器组合而成,专为手机、笔记本等消费级硬件上的低延迟语义表示设计,支持搜索、RAG、分类与聚类等端侧应用。

10月6日周二
  1. Reddit · r/LocalLLaMA12

    Terminal Soliloquy:连接 llama.cpp 的终端艺术装置,实时展示模型上下文窗口耗尽前的独白

    开发者推出 Terminal Soliloquy,一款连接 llama.cpp 的终端艺术作品,可在模型上下文窗口逐渐填满的过程中实时显示其独白,并配有复古磷光显示外观。该项目可全屏运行在 Raspberry Pi 上接入 1960 年代的老式便携电视;上下文耗尽时,显示器可配置为冻结、重启或退出。

  2. Reddit · r/artificial11

    开源可视化 Agent 画布工具:用涂鸦和标注直接引导 AI 智能体

    开发者开源了一款可视化 Agent 画布工具,用户可在工作区中对画面进行指点、涂鸦和注释,直接以视觉方式引导 AI 智能体完成视觉编辑任务。该工具在 fullstack 开发、仿真和机器人场景中均验证可用,开发者认为视觉工具栏和画布注释应成为 Agent 平台的标配高层抽象层,并按领域定制。项目已在 GitHub 开源。

  3. Reddit · r/LocalLLaMA13

    德国 Aleph Alpha Kolibri 模型通过 Tesseracted 托管生成 Nim 代码

    德国 Aleph Alpha 的小模型 Kolibri 由 Tesseracted 提供托管,在 3code 上用完整小众语言 Nim 写出了一段可运行的小型命令行工具。模型、托管方、运行环境和编程语言均产自德国,体现了德国本土 AI 栈的端到端能力。鉴于模型体量较小,能在 Nim 这类冷门语言上跑通代码被认为颇为难得。

  4. Reddit · r/LocalLLaMA31

    腾讯开源 Octop:本地自托管多智能体 AI 助手

    腾讯开源 Octop,一款完全自托管的多智能体 AI 助手,提供 Web 控制台、CLI 与 IM 集成,单进程启动即可使用。它支持桌面客户端(Windows / macOS / Linux 及 FnOS NAS 包)和 Docker 部署,通过多智能体架构为团队、家庭和个人构建独立且协作的智能环境,所有数据完全运行在用户本地机器上。

  5. Hacker News · 首页20

    在 Firebird SQL 数据库中通过 WASM 模拟并渲染 DOOM

    一个开源项目将经典游戏 DOOM 完全运行在 Firebird 6(编译为 WebAssembly)的 SQL 数据库中,并在浏览器内可玩。每个游戏 tick 通过 PSQL 过程调用实现,每一帧通过 SELECT 查询生成,JavaScript 仅负责读取键盘与绘制像素。项目直接读取 DOOM 源码中的 WAD 数据与怪物、地图等表结构,并提供 BSP 剪裁与暴力两种墙柱渲染器。

  6. Product Hunt · AI 分类37

    开源 GitHub PR 桌面评审工具 Review:支持多 AI 模型协作审查

    Review 是一款开源(MIT)的免费桌面工具,可在 Mac、Windows 和 Linux 上评审 Git 分支与 GitHub PR,支持逐行评论且发布前保持私密。内置 AI 评审功能,可接入 OpenAI、Anthropic、Gemini、OpenRouter 或通过 Ollama 接入本地模型,并能拆分任务由不同模型分别审查、显示每条规则的命中情况,仅重试遗漏部分。该工具无需账号。

  7. Reddit · r/LocalLLaMA65

    研究称 38% 的 AI 智能体容器逃逸不依赖内核 0-day,作者公开数据集与防御 Harness

    作者对 109 起自主 AI 智能体安全事件做实证复盘,覆盖 193 项证伪标准与 199 项评估指标。数据显示 38% 的容器逃逸并未利用内核或虚拟化 0-day,而是来自把 /var/run/docker.sock 挂载进沙箱、把父进程环境变量透传给子智能体、缺乏工具输出污染追踪导致间接 prompt injection,以及未限制本地 socket 绑定引发 SSRF。

  8. Hacker News · 首页77

    Reflection 发布开源权重模型 Beam:501B 总参数 / 23B 激活,主打编码与智能体效率

    Reflection 发布首个开源权重模型 Beam,采用稀疏 MoE 架构,总参数量 501B、激活 23B,面向编码、推理与智能体场景。模型在 23.8T token 上完成预训练,并在 10.5K 块 NVIDIA GB300 GPU 上用 4 周生成超 1 亿次 rollout 进行高算力强化学习。

    推荐理由:原文给出模型规模、训练规模与推理效率数据,并承诺本月开源权重与技术报告,可作为西方开源前沿模型的参照基线。

  9. Reddit · r/LocalLLaMA8

    用 FFT 替换 AdamW 优化器状态以削减 VRAM:非量化显存压缩方法的社区探索

    Spectra-Global 团队针对 8B 与 70B 模型在消费级 GPU 上微调时的 OOM 问题,放弃 8-bit 量化方案,转而将 AdamW 优化器状态通过 FFT 变换到频域处理:动态丢弃低能量频率并压缩后逆向重建,VRAM 用量下降约 50%,避免量化带来的收敛退化;代价是 FFT 计算带来单步延迟略增。

  10. Reddit · r/LocalLLaMA29

    Observer:开源免费的本地大模型屏幕监控工具指南

    用户 Roy 开源了名为 Observer 的应用,让本地大模型在浏览器或桌面上监控屏幕并发送通知。WebApp 基于 transformers.js,可在浏览器内直接下载模型运行 Qwen3.5-0.8b,但暂不支持 Linux;桌面版基于 llama.cpp + Rust,稳定性更高,也支持接入任意 OpenAI 兼容 API。项目已在 GitHub 完全开源。