LLMLL v0.28.0 发布：AI 智能体填类型化空洞，SMT 求解器拒绝错误填充
LLMLL v0.28.0 发布，这是一个面向 AI 智能体写代码的编程语言与验证流水线：契约声明函数必须做什么，智能体填充类型化空洞，编译器在补丁合入前用 Z3 证明每个函数体满足契约。
推荐理由：LLMLL 把形式化验证做成智能体协作协议，读者可据此判断契约驱动编码的可行边界。
产品更新
全部主题AI 产品与应用的功能上新、改版与商业化动态——谁家的产品变强了、变贵了、能用了。
最新精选
第 1101–1120 条 · 共 1,537 条Show HN精选AI 评分7171 量子位精选AI 评分5858 生数科技开放 Vidu Q4 预览版：720P 约 0.6 元/秒，最高 4K 直出
生数科技开放新一代视频生成旗舰模型 Vidu Q4 预览版，主打传神表现力，先放出人物演绎、镜头语言和视效场面三项能力，最高支持 4K 直出，单条最长 16 秒，一次最多可用 15 张参考图和 3 段参考音频。
推荐理由：作者实测了 Vidu Q4 预览版的演技、镜头与特效表现，并给出 MaaS 与 SaaS 两端的计价方式，便于创作者估算成本。
Show HN精选AI 评分6262 llm-gauze 发布：为本地开源权重模型加一层 HTTP 网关
llm-gauze 是一个位于本地 LLM 前的 HTTP 网关，通过 OpenAI 兼容 API 转发请求，并处理瞬时错误不重试、模型静默挂起或循环、空回复或粗糙回复、上下文窗口溢出、推理失控以及工具调用格式错误等问题，每次交互都会记录日志。
推荐理由：面向本地开源权重模型的 HTTP 网关，把重试、循环检测与工具调用修复集中到客户端之前处理。
Show HN精选AI 评分7171 Phobos v0.1.0 发布：自研内核语言在 2019 年 RTX 2080 SUPER 上跑 LLM 推理
作者发布 Phobos v0.1.0（v0.1.1 随后于 10 月 6 日发布），这是一个全部内核在运行时编译的 LLM 推理栈，不依赖 cuBLAS 或 CUDA toolkit，只需 NVIDIA 驱动。
推荐理由：作者公开了在 2019 年 RTX 2080 SUPER 上自研推理栈与 llama.cpp 的逐模型对比数据，可据此了解旧卡上的量化推理取舍。
Show HN精选AI 评分6262 pi-x：让 Pi 编码智能体通过已登录浏览器会话读取 X 趋势与搜索
作者发布 Pi 扩展 pi-x，让编码智能体通过自己已登录的浏览器会话读取 X 的趋势、新闻、关键词搜索、帖子和用户资料，无需 API key 或开发者账号。它提供 x_trending、x_search、x_tweet、x_user 等工具，趋势结果带下钻采样和速度、中位数、认证作者占比等统计块，并支持多账号轮换与限流退避。
推荐理由：作者给出无需 API key 的 X 数据读取方案，并列出与官方 API 及同类库的逐项对比，便于判断接入成本。
Show HN精选AI 评分7171 Show HN：用摄像头和姿态模型做本地优先的坐姿训练器
作者发布本地优先的坐姿训练器，每秒从摄像头取一帧，用姿态模型识别 33 个身体关键点并自行计算头部前倾、肩线倾斜和头部侧倾三个角度，超标即播放提示音。所有计算在浏览器内完成，无需密钥和配额，图像与读数都不离开设备；默认每秒一帧，可拉长到两分钟，提供六种提示音。单帧深度估计不确定，作者建议看趋势而非单次读数，单帧数据保留两天，每日汇总长期保存。
推荐理由：原文给出浏览器内本地姿态检测的实现方式与隐私边界，可了解端侧模型在健康工具中的落地路径。
Show HN精选AI 评分7878 TinyWebUI 发布：自托管 AI 聊天界面，内置 MCP、搜索与记忆
TinyWebUI 发布，这是一个本地优先的自托管 AI 聊天界面，可接入 OpenRouter、OpenAI、Groq、Ollama、vLLM、LM Studio 等兼容 OpenAI API 的端点，聊天、文档和工具输出都保存在本机一个 SQLite 文件中，无需托管后端或账号。
推荐理由：原文给出了自托管聊天界面的完整能力清单与部署方式，读者可据此判断本地优先方案能否替代托管服务。
Show HN精选AI 评分7171 Tallyhook 发布：按客户为 Claude Code 和 Codex 日志计价
Tallyhook 是一个无依赖的 Node.js 单文件工具，读取 Claude Code 和 Codex CLI 已写入本机的会话日志，按仓库、模型和客户折算 API 列表价成本，示例中 30 天 266 个会话合计 2740.96 美元。
推荐理由：工具把本地会话日志按仓库和客户折算成可开票金额，并给出 MCP 与技能接入方式，适合按客户计费的开发者参考。
Show HN精选AI 评分6262 Registrum 上线免 API Key 的 MCP 端点，可在 Claude 中查询英国公司数据
Registrum 推出一个 MCP 端点，任何人无需 API Key、账号或安装即可让 AI 客户端查询 Companies House 实时数据，涵盖公司搜索、董事、合规状态、解析财报以及穿透企业股东的所有权链路。
推荐理由：免密钥的 MCP 端点把英国公司数据接入 AI 客户端，读者可据此判断这类数据服务的接入成本。
IT之家精选AI 评分6262 谷歌云发布 Gemini Agent，定位通用工作智能体
谷歌云在 Gemini at Work 2026 发布会上推出面向企业客户的 Gemini 智能体，定位通用工作智能体，支持 Gemini Enterprise、Workspace 及第三方服务。
推荐理由：谷歌云把通用工作智能体接入 Workspace 与第三方服务，并同时支持 Gemini 和 Claude 模型，可观察企业智能体的落地路径。
36氪精选AI 评分7272 谷歌云推出 Gemini 通用智能代理，可自主执行企业多步骤任务
谷歌云宣布推出面向企业工作的通用智能代理 Gemini，可通过单一界面处理问答、知识工作、内容创作及代码编写和运行等任务，并能调用企业内部工具和数据自主完成用户设定的目标。
推荐理由：谷歌云把通用智能代理接入 Gmail、Drive 等办公套件，并给出企业级权限与审计控制，可据此判断企业智能体的落地形态。
IT之家精选AI 评分5858 华为 DevEco Studio、DevEco Code 与 DevEco CLI 开启鸿蒙 PC 公测
华为宣布 DevEco Studio 正式上线鸿蒙 PC 并开启公测，DevEco Code 与 DevEco CLI 同步迎来鸿蒙 PC 版首次公测。DevEco Studio 基于自研 BitFun 底座，集成 DevEco Code 后可在 IDE 内使用鸿蒙领域知识、工具与 Skills，并支持无需模拟器的多设备并行调试。
推荐理由：华为把鸿蒙开发工具搬到鸿蒙 PC 并开放公测，读者可据此判断鸿蒙原生开发链路是否已具备可用性。
Show HN精选AI 评分5858 Show HN：单 HTML 文件实现的极简 3D 飞行模拟器（Three.js）
作者在 Show HN 发布了一个极简 3D 飞行模拟器，整个项目打包在单个 HTML 文件中，基于 Three.js 实现。原文仅提供作品链接与 HN 讨论链接，未披露更多功能细节。
Show HN精选AI 评分5858 Privatrak 发布无代码隐私优先产品分析工具
Privatrak 发布无代码、隐私优先的产品分析工具，通过可视化 Element Picker 点击元素即可追踪，无需写代码或部署，提供转化漏斗、路径分析、自定义仪表盘和 Click Problems 等功能，全程不使用 Cookie、localStorage 或指纹识别，也不存储 IP 地址。
推荐理由：原文给出了无 Cookie 追踪与 MCP 接入 AI 助手查询分析的具体做法，可据此判断隐私优先分析工具的落地方式。
Show HN精选AI 评分6868 LLM Fuzz CI 发布：让编码智能体攻击你标记的测试
LLM Fuzz CI 发布，这是一个 GitHub Action，让编码智能体读取代码并为标记的测试编写对抗性输入，再由正常测试运行回放，因此报告的都是真实断言失败。
推荐理由：原文给出了 LLM Fuzz CI 的两阶段设计与 pytest、vitest 接入方式，读者可据此判断它如何嵌入现有 CI 流程。
Show HN精选AI 评分5858 Etchv 发布图片、PDF 与视频隐形水印 API
Etchv 发布隐形水印 API，可在图片、PDF 和 H.264 MP4/MOV 视频交付前嵌入水印，之后通过检测接口回溯到对应的交付记录。官方称水印嵌在像素中而非叠加可见标识，提供 HTTP 接口和六个官方 SDK，并支持 MCP server、Zapier 与 n8n 集成。Etchv 表示检测结果只能识别文件来自哪份副本，不能证明是谁分享的，且经过压缩、缩放或裁剪后不保证仍可检测。
推荐理由：原文给出两次 API 调用即可嵌入与检测隐形水印的流程，并说明编辑后检测不保证，读者可据此判断适用边界。
Show HN精选AI 评分6262 ScreenCI 发布：用编码智能体把教程视频写成 E2E 测试
ScreenCI 发布，用户只需向编码智能体粘贴一段提示词，即可录制真实应用的带旁白教程视频，并生成对应的 Playwright 端到端测试脚本。视频支持自动缩放跟随操作、79 种语言旁白、按行指定语气、自定义 React/Vue/Svelte 组件叠加层，以及录制前用 redact() 遮蔽密钥。
推荐理由：把教程视频脚本变成 Playwright 端到端测试，读者可据此判断文档与测试能否合并维护。
Show HN精选AI 评分6868 bigarrow 发布 macOS CLI 与 Agent 技能，让 AI 智能体在屏幕上画箭头指向按钮
bigarrow 是一个 macOS CLI 加 Agent 技能，让 AI 智能体在屏幕上画出箭头、方框和文字，指向需要人类操作的按钮，如系统权限弹窗或 OAuth 同意页。
推荐理由：一个 macOS 小工具把智能体无法代按的按钮变成可指向的目标，读者可据此判断人机交接环节的可行做法。
Show HN精选AI 评分7171 Singularity 发布：为编码智能体提供程序性记忆，减少重复任务耗时与 token
Singularity 是一个为编码智能体提供程序性记忆的开源项目，从过去的 Claude Code 会话中学习，让重复和相似任务花更少时间和 token。它通过一条命令安装，支持 Claude Code、Codex、Gemini CLI、Droid 等智能体，在任务开始时交接工作流路线并在触发条件出现时给出警告。
推荐理由：项目给出程序性记忆的设计与评测套件，读者可据此判断编码智能体复用历史会话的可行路径。
Show HN精选AI 评分7171 DaiDocs 开源本地记忆层发布 5.1.1，代码图谱比 Graphify 少用 218 倍 token
Kerneta 发布开源本地记忆层 DaiDocs 5.1.1，用 .dai 存文档与会话历史、.cai 存代码图谱，两者均为磁盘上的纯文本文件，可被 grep 和 git 直接读取。
推荐理由：原文给出本地纯文本记忆格式与代码图谱的实测对比数据，读者可据此判断记忆层方案在 token 成本上的取舍。