跳到正文

#开源/仓库

今日 0 条
10月14日周三
10月13日周二
  1. Hacker News · AI 最新64

    DocCloak:面向 AI 提交的浏览器端文档匿名化工具

    DocCloak 是一款开源的浏览器端文档匿名化工具,可在文档提交给 AI 服务前本地清除个人身份信息(PII),并支持将 AI 回复中的占位符还原为原始名称。它支持 .doc、.docx、.pdf 及图片(通过本地 OCR 提取文字),可检测 14 种实体类型;所有 ML 模型与正则规则均在浏览器内运行,无需服务器或 API 调用。

  2. Hacker News · AI 最新45

    Veda:一个现代智能体 AI 操作系统

    语音智能体 Veda 常驻任务栏,可通过语音唤醒并代替用户执行打开应用、编辑文件等电脑操作。其语音识别、语言模型与语音均由 Deepgram 提供,唤醒识别使用 Nova-3,对话则依托 Voice Agent API。系统支持自然打断与多轮追问,并会在执行不可撤销的操作前征求用户同意。

  3. Hacker News · AI 最新18

    Veda:让电影《Her》中的 AI OS 变为现实

    Veda 项目致力于打造电影《Her》式的 AI OS。最新提交让 Interceptor 在 Full HD 下全屏运行,并在画面角落显示帧率与 GPU 信息,其相机与追踪逻辑跟随游戏本身而非逐帧变化。此外,驱动 VM 的 Linux 构建已可快速启动,声音处理不再占用处理器,渲染结束时会归还 GPU。

10月12日周一
  1. Hacker News · AI 最新29

    JulianFlux:面向 AI 智能体的电动力学向量检索与因果路由

    JulianFlux 将向量数据库升级为连续电动力学推理引擎,用修正后的洛伦兹力公式替代余弦相似度来检索与路由数据。其 128D 流形投影、动态高斯带宽与 NLI 逻辑门拓扑电荷机制,可在规模测试中实现 0.0% 的模型幻觉率。核心数学已开源,企业版则采用 Rust/CUDA 后端支撑数十亿级向量。

10月11日周日
  1. Hacker News · AI 最新69

    agent-pr-gate:用四道问题拦截 AI 生成 PR 的 review 队列洪水

    ktwu01 开源 agent-pr-gate,把四道问题写进 CONTRIBUTING.md,要求 AI 智能体在写 PR 前先问人类真正想达成什么,并等待人类回答。起因是 benchmark-radar 一个账号 10 天开了 58 个 PR、仅 5 个被合并,维护者记录到 27 秒内涌入 8 个 PR。作者说明该机制依赖智能体读取并遵守说明,并非强制的 PR 拦截器,采用后的效果尚未测量。

  2. OSCHINA 社区22

    全能 Go Agent 框架 covonaut v1.1.5 发布:改进检查点、Token 用量与缓存

    Go 生产级 Agent 框架 covonaut 发布 v1.1.5,重点改进工具检查点、Token 用量与缓存,共修改 121 个文件。该框架提供 LLM-工具循环、上下文压缩、重试与故障转移、生命周期钩子、分布式追踪,以及文件系统、Shell、浏览器、代码执行等内置工具,并支持 MCP、A2A、ACP、AG-UI 等协议。

10月10日周六
  1. Hacker News · AI 最新58

    Talorys:基于 Cloudflare 免费层的开源个人 AI 智能体

    Talorys 是一款免费开源的个人 AI 智能体,可完全运行在用户自己的 Cloudflare 免费层账户中。它支持流式聊天、持久记忆、任务与项目管理及定时提醒,所有数据均存储在用户账户的 SQLite Durable Object 中,且不包含任何遥测代码。用户只需一条命令 `npx create-talorys@latest` 即可完成部署。

  2. Hacker News · AI 最新34

    Show HN: Open Components — 面向人类、开发者和 AI 智能体的 UI 组件标准

    Open Components 提出一套 UI 组件标准,同时兼顾用户体验、开发者体验与智能体体验(AX)。该标准要求组件遵循 WAI-ARIA 无障碍规范、保持交互与命名一致、类型安全且可组合,并让 AI 智能体能够直接从标记读取语义、对照机器可读规范验证输出。文档现已开放阅读。

10月9日周五
  1. Hacker News · AI 最新61

    Eversynced 开源 Pheebs:衡量团队如何使用 AI 编码智能体

    Eversynced 发布开源 AI 遥测工具 Pheebs,通过钩子捕获 Claude Code、Cursor 和 Codex 的会话形状而非内容,量化团队如何使用 AI 编码智能体。它记录 17 种事件类型,本地存储 JSONL 日志,支持自托管或托管后端,并基于遥测数据提出 AI Proficiency 模型来评估验证覆盖率和模型匹配度等指标。

  2. Hacker News · AI 最新44

    Liquid AI D1-3B

    Hacker News AI 最新栏目收录了 Liquid AI D1-3B 的相关讨论,目前获得 2 点热度,暂无评论。原文仅提供标题与社区数据,未披露模型参数规模、benchmark 分数、上下文长度、价格及开源或 API 可用性等细节。

10月7日周三
  1. Hacker News · AI 最新34

    Friday Assistant:用 Flutter 打造的语音激活个人 AI 伴侣

    Friday Assistant 是一款基于 Flutter 构建的语音激活个人 AI 伴侣,采用“科幻优先”设计理念。它由 Groq API(Llama 3.3 70B)驱动推理,具备长期记忆、实时网络访问和后台主动哨兵模式,支持 Android、iOS、Web 和 Desktop 多平台。个人数据通过 Supabase 加密保管库保护,该项目基于 MIT License 开源。

  2. Hacker News · AI 最新50

    11 个正方形最优堆叠的 AI 辅助证明通过 Lean 验证

    11 个正方形最优堆叠的完整证明已在 Lean 中通过验证,全部 7,920 个本地模块获准且最终审计零准入。该证明依赖 Lean kernel 与原生编译器,最优边长由一个 8 次多项式的唯一根给出,构造值约为 3.8770835900228141773。项目固定 Lean 4.34.1 与 Mathlib 版本,可通过脚本复现验证。