Show HN: AI 能读懂你的心思吗?
一款 Markov chain 交互演示通过频率表记录玩家最近 1–4 次选择的上下文,在约 20 次选择后通常能以 60–70% 的准确率预测下一次按左还是按右。
一款 Markov chain 交互演示通过频率表记录玩家最近 1–4 次选择的上下文,在约 20 次选择后通常能以 60–70% 的准确率预测下一次按左还是按右。
作者 scarletkc 发布开源桌面 SSH 客户端 Hatoba,内置 AI 助手,并可通过用户自己的 Cloudflare 账号(Worker + D1 数据库)做端到端加密同步,没有 Hatoba 服务器。
AI Swarm Portal Guard 是一款 VS Code 工具,可在本地检查密钥泄露与 shell 滥用。它无需将代码上传外部,适合关注 AI 编程安全与合规的开发者使用。
DocCloak 是一款开源的浏览器端文档匿名化工具,可在文档提交给 AI 服务前本地清除个人身份信息(PII),并支持将 AI 回复中的占位符还原为原始名称。它支持 .doc、.docx、.pdf 及图片(通过本地 OCR 提取文字),可检测 14 种实体类型;所有 ML 模型与正则规则均在浏览器内运行,无需服务器或 API 调用。
AI-critic 是一个面向任务的 ML 模型审计项目,已公开源码并提供 MIT license。仓库包含 index.html、script.js 和 styles.css 等前端文件,README 仅注明 MIT 许可证,暂无详细说明文档。
Veda 定位为首个 AI 智能体爱好操作系统,旨在以智能体方式管理个人爱好。目前该项目的讨论与关注度仍处于早期阶段。
语音智能体 Veda 常驻任务栏,可通过语音唤醒并代替用户执行打开应用、编辑文件等电脑操作。其语音识别、语言模型与语音均由 Deepgram 提供,唤醒识别使用 Nova-3,对话则依托 Voice Agent API。系统支持自然打断与多轮追问,并会在执行不可撤销的操作前征求用户同意。
ConfigLens 是一款帮助用户排查 AI 工具为何忽略其配置设置的工具。它可定位配置未被生效的原因,适合需要调试 AI 工具行为的开发者使用。
Veda 项目致力于打造电影《Her》式的 AI OS。最新提交让 Interceptor 在 Full HD 下全屏运行,并在画面角落显示帧率与 GPU 信息,其相机与追踪逻辑跟随游戏本身而非逐帧变化。此外,驱动 VM 的 Linux 构建已可快速启动,声音处理不再占用处理器,渲染结束时会归还 GPU。
Ramet 是一款面向 AI 智能体的持久化、可 fork 工作区工具,能为每个会话或尝试从共享不可变基础中分配隔离的可写工作区,并按策略保存与恢复文件及本地 Git 状态。
一款名为 YouTube Transcript CLI 的命令行工具正式亮相,专为人类用户与 AI 智能体设计。该工具以 CLI 形式提供 YouTube 视频的 transcript 获取能力,便于后续程序化处理与调用。目前相关讨论已在 Hacker News 上引发少量关注。
Lintapple 推出针对 AI 生成界面的 UI 检查工具。该工具可对 AI 生成界面执行自动化 UI 检查。目前已在 Hacker News 上发布并开放讨论。
Vigil 是一款开源的 AI 渗透测试与代码审计工具,已在 Hacker News 的 Show HN 板块发布。该项目将安全测试能力与 AI 相结合,可帮助开发者在开发流程中自动化发现并修复代码漏洞。
该开源包复现了三个 AI 文本检测器与情感分类器的对比实验,支持在本地完整重跑分析。首次运行需约 2 GB 磁盘空间,会从 Hugging Face 下载 GPT-2 与 all-MiniLM-L6-v2 嵌入模型,随后检测器与分类器均在本地运行。
Plimsoll 是一款自托管沙箱,用于运行 AI 智能体编写的代码,项目已发布在 GitHub 并在 Hacker News 获得 15 点赞和 3 条评论。
JulianFlux 将向量数据库升级为连续电动力学推理引擎,用修正后的洛伦兹力公式替代余弦相似度来检索与路由数据。其 128D 流形投影、动态高斯带宽与 NLI 逻辑门拓扑电荷机制,可在规模测试中实现 0.0% 的模型幻觉率。核心数学已开源,企业版则采用 Rust/CUDA 后端支撑数十亿级向量。
ktwu01 开源 agent-pr-gate,把四道问题写进 CONTRIBUTING.md,要求 AI 智能体在写 PR 前先问人类真正想达成什么,并等待人类回答。起因是 benchmark-radar 一个账号 10 天开了 58 个 PR、仅 5 个被合并,维护者记录到 27 秒内涌入 8 个 PR。作者说明该机制依赖智能体读取并遵守说明,并非强制的 PR 拦截器,采用后的效果尚未测量。
作者开源了 Suta,一个用于减少 AI 生成 UI 套路化设计的 skill,包含布局、配色和动效规范以及 56 种 UI 模式的代码,支持在 Claude Code 和 Codex 中以插件方式安装,也可通过 npx skills add 用于其他 agent。
Go 生产级 Agent 框架 covonaut 发布 v1.1.5,重点改进工具检查点、Token 用量与缓存,共修改 121 个文件。该框架提供 LLM-工具循环、上下文压缩、重试与故障转移、生命周期钩子、分布式追踪,以及文件系统、Shell、浏览器、代码执行等内置工具,并支持 MCP、A2A、ACP、AG-UI 等协议。
TypeSafe AI 宣布以 75 亿美元估值融资 8.7 亿美元,由 a16z 领投,计划围绕 Jev 扩展机器原生模型与企业功能。REA 通过 MCP 把二进制、JavaScript、Electron 及运行时分析接入编程智能体,深度原生分析仍依赖 Ghidra、IDA 或 Hopper。
开源桌面 AI 额度面板 QuotaPanel 发布 v0.2.0,把各家订阅与 API 余额聚合到系统菜单栏,缩短查看路径并支持排查异常根因。本次更新还接入了小米 MiMo Token Plan,新增一个额度来源。
Talorys 是一款免费开源的个人 AI 智能体,可完全运行在用户自己的 Cloudflare 免费层账户中。它支持流式聊天、持久记忆、任务与项目管理及定时提醒,所有数据均存储在用户账户的 SQLite Durable Object 中,且不包含任何遥测代码。用户只需一条命令 `npx create-talorys@latest` 即可完成部署。
Open Components 提出一套 UI 组件标准,同时兼顾用户体验、开发者体验与智能体体验(AX)。该标准要求组件遵循 WAI-ARIA 无障碍规范、保持交互与命名一致、类型安全且可组合,并让 AI 智能体能够直接从标记读取语义、对照机器可读规范验证输出。文档现已开放阅读。
REA 是一款开源逆向工程工具,以 MCP server 形式把检查与反编译程序的能力接入 coding agent,支持 Claude Code、Codex、Cursor、Gemini CLI 等,让你直接向 agent 提问某个 App 功能的实现方式。
Antigravity Excel Engine 是一款面向 AI 智能体的 Excel 自动化工具,采用双核架构处理电子表格任务。该引擎可让 AI 智能体直接驱动 Excel 自动化操作。
Nvidia 推出开源项目 Boro,用于 AI 辅助 Linux 内核开发。该项目旨在利用 AI 能力辅助内核代码的编写与维护,相关代码已开源。
Memdebug 是一款可查看 AI agent 记忆变更并支持撤销操作的工具。它让开发者能直观追踪 agent 记忆中发生了哪些改动,并在出现异常时将记忆回滚到之前的状态。该工具已发布到 Hacker News。
Liquid AI 发布 d1 开源决策模型,仅需单次前向传播即可输出答案。该模型专为决策任务设计,以极低延迟完成推理响应。目前 d1 已开源,可直接用于构建高效决策智能体。
开发者开源了 Mac 工具 Lacuna,可在任意文本输入框调用 LLM 生成行内写作建议。用户输入 {括号短语} 后按 Shift-Command-K,工具会将括号内容及周边文本发给已配置的 LLM,并返回 3 个候选短语,全程支持键盘操作。该项目已上线 GitHub。
TaskHandoff 是一个自托管控制平面,可将跨机器、工作区与聊天平台的 Codex 等 AI 开发工作统一纳管,并管理节点注册、实例生命周期、会话与消息路由。
一个纯 Uya 语言实现的 CLI 编程 Agent 正式开源,项目不依赖 Python,也不引入任何 C 代码。它从零构建,旨在避免传统 Agent 框架因装 LangChain、配依赖、调 API、处理 token 溢出和管理会话状态而日益沉重的框架负担。
作者开源了 AI Economist,一个可安装的 Agent 技能,用于 GDP 即时预测、央行政策诊断与经济学家式结构化解读。技能把 ML 定位为辅助校准层而非主预测器,结构模型基准与 ML 校准结果并列展示,并要求输出包含目标期、数据截止日、驱动因子分解与泄漏检查。
ECC 是一个 MIT 开源项目,为 Claude Code、Codex、Cursor 等编程智能体提供计划、测试、代码审查、记忆与持续学习一体化的工程系统。项目包含 68 个 agents、293 个 skills 和 94 个命令,覆盖 TDD、安全审查、构建修复等场景,核心 CLI 支持 Windows、macOS 和 Linux。
Eversynced 发布开源 AI 遥测工具 Pheebs,通过钩子捕获 Claude Code、Cursor 和 Codex 的会话形状而非内容,量化团队如何使用 AI 编码智能体。它记录 17 种事件类型,本地存储 JSONL 日志,支持自托管或托管后端,并基于遥测数据提出 AI Proficiency 模型来评估验证覆盖率和模型匹配度等指标。
Rembrandt 是一款免费开源的照片编辑器,支持 macOS、Windows 和 Linux,无需账号或订阅,所有 AI 功能均在设备本地运行。它提供 2× 和 4× Super Resolution、AI Denoise、Refocus、蒙版与 RAW 处理,支持 1,000+ 相机,可自托管并通过浏览器编辑。
Hacker News AI 最新栏目收录了 Liquid AI D1-3B 的相关讨论,目前获得 2 点热度,暂无评论。原文仅提供标题与社区数据,未披露模型参数规模、benchmark 分数、上下文长度、价格及开源或 API 可用性等细节。
Liatir 是一款基于 Rust、Tauri 2 和 SvelteKit 构建的开源本地优先生物信息学桌面环境,集成本地工具、本地管理的 AI 模型、.lia 插件、可视化流程与 API Connectors,并支持离线分析与本地 MCP 接口。
该项目展示了用 JSONC DSL 构建的可搜索 AI 智能体,支持以 JSONC 语法定义智能体并检索调用。原文页面因浏览器扩展、网络或浏览器设置问题无法加载,暂无更多技术细节。
Friday Assistant 是一款基于 Flutter 构建的语音激活个人 AI 伴侣,采用“科幻优先”设计理念。它由 Groq API(Llama 3.3 70B)驱动推理,具备长期记忆、实时网络访问和后台主动哨兵模式,支持 Android、iOS、Web 和 Desktop 多平台。个人数据通过 Supabase 加密保管库保护,该项目基于 MIT License 开源。
11 个正方形最优堆叠的完整证明已在 Lean 中通过验证,全部 7,920 个本地模块获准且最终审计零准入。该证明依赖 Lean kernel 与原生编译器,最优边长由一个 8 次多项式的唯一根给出,构造值约为 3.8770835900228141773。项目固定 Lean 4.34.1 与 Mathlib 版本,可通过脚本复现验证。