0823 | Vercel推出实验性AI编程语言Zero：程序图即代码，代理驱动开发

茉莉: 欢迎收听 Bri 电台的《ProductHunt 产品分享》，我是茉莉，今天和我一起聊的是白桦。今天备了好几个值得聊的开源和 AI 新产品。

白桦: 嗯，其中就有 Vercel 推出的实验性程序设计语言 Zero，还有 Z.ai 的桌面 AI 工作代理 AutoClaw。

茉莉: 另外还有几款工具，像面向 macOS 的免费开源应用 Pawvis，一个浏览器内的 AI 字幕工具 SubtitleGenerator，以及 Meta 新推出的社交应用 Pocket。

白桦: 那我们就一个个来聊聊这些新东西吧。

白桦: Vercel 这次发布的 Zero，是把程序设计语言换了一个思路：不把源码文本当作事实来源，而是把一套语义程序图当作程序本身，代理查询并修补这张图，编译器负责检查每一次修改，面向的场景就是代码主要由 AI 代理来写。

茉莉: 对。关键是把编译器放回循环里。传统代理循环先写源码文本，再靠格式检查、构建、测试、看失败来推断编辑的含义；Zero 反过来，让一次编辑直接成为对图的一次已被检查的修改。补丁默认由图形哈希和期望值保护，过时或无效的编辑在触及存储之前就被拒绝，命令行的第二次修补必须指定 graph 开头的期望图形哈希，才会报告新的图形哈希和 src 下的投影文件。

白桦: 那人类在这一套里做什么？项目说法是用自然语言提出结果要求，比如构建一个 CRM API 或修复一条故障路由；代理查询图中的符号、调用、类型、效果和节点 ID，编译器跑形状、类型、过时状态这些检查，需要时人才审阅可读的代码投影。命令行能看到 zero init、zero patch 加操作参数，还有 zero run。整体还是实验阶段，官方预期有破坏性变更，建议只在安全环境里跑、别针对生产系统，所以生产表现还没被验证。

茉莉: Z.ai 推出的 AutoClaw 是桌面 AI 工作代理，覆盖跨桌面、浏览器和聊天完成多步骤任务：同一对话里给出目标，它拆解任务、操作工具、协调代理，最后把完成的工作连同上下文送回对话。内置 GLM-5.3，官方标注 Early Access，还能按任务在 GLM 和 DeepSeek 这类模型间切换。

白桦: 核心能力挺全：办公自动化用五十多个内置技能生成 Word、Excel、PPT 和图表；内容运营覆盖 Telegram、Instagram、Substack、X 和 TikTok 脚本；还有投资研究、Web 产品构建、浏览器自动化，以及 Slack、Telegram 这类 IM 集成，可以在群聊里用 @ 指派任务。

茉莉: 可用性上支持 Windows 10 及以上、macOS 的 Apple Silicon 和 Intel。官方给免费基础使用和每日积分，新用户注册得两万六千积分、标价二十美元、三十天有效；连接现有 GLM Coding Plan 限时拿百分之一百五十配额提升，每月登录领 Lite 五千、Pro 一万、Max 两万六千的奖励积分。数据安全方面它是本地桌面应用，AI 任务只发送必要的任务描述和模型调用上下文，私有文件或企业账户由团队按自己的安全策略配置权限。

白桦: Agents Never Sleep 是一个很小的 macOS 菜单栏应用，解决一个很具体的痛点：让代理程序在合上盖子之后仍然继续运行。不用再把笔记本半开、或者带着它到处摆姿势，直接把盖子合上就行。

茉莉: 作者在社区里解释，做这个应用是为了自己控制 Mac 在睡眠行为上的设置。整个产品的功能边界很单纯——就是管合盖状态下系统会不会让代理停掉。

白桦: 这周有一款叫 Pawvis 的免费开源应用，能把 Mac 的摄像头变成手部追踪鼠标，不需要额外硬件。它用苹果的 Vision 框架，每秒多次追踪手的二十一个关节，张开手举起来，光标就跟着手掌走。

白桦: 手势本身设计得挺明确：食指轻点相当于左键，小指轻点是右键，默认以小指为准，也可以配置；折叠中指和无名指用来滚动，第三根手指可以设成中键，默认关着。用户还能把动作绑到具体手势上，比如切换桌面、移动窗口、触发快捷键、打开应用或者运行命令，也能按不同应用区分动作，甚至可以录制并训练自己的自定义手势。

茉莉: 所有追踪都在设备本地完成，代码开源用 MIT 许可，需要 macOS 十四以上，已经签名并公证。制造者提到，可选的语音控制用的是 Apple Intelligence，可以把操作电脑的任务交给 Claude Code 或 Codex，但前提是你自己装好并配置这些工具。

白桦: 产品页面也把操作边界写得很清楚：只有手张开、四指朝上、拇指自由的时候，光标才会跟随；一只只是可见、在休息、打字或者做手势的手不会拖动光标；握拳一会儿或者手离开画面，控制就会暂停。

茉莉: 社区里有用户说，用手机摄像头的技巧解决了他整个桌面的问题，打算当晚就试用；另一位用户认可本地处理这个选择，但追问了一个实际场景：在视频通话里自然指一指或者举手时，应用会不会因为后台还在跟踪，把动作误判成点击或滚动。还有人问，拖动过程中手离开画面，点击会不会在光标所在位置释放，以及用 iPhone 当摄像头时效果怎么样。

白桦: Port Radar 是一款面向 macOS 的原生菜单栏应用，叫 AI 端口管理器，主要面向那些经常遇到端口被占用、却不知道是哪个进程占了资源的本地开发者。它会列出当前监听的所有端口，按项目分组显示 Vite、Next.js、Python、Docker 和孤儿进程，用户可以一键优雅停止或强制退出，也能一键通过 Cloudflare 隧道把本地站点变成公开链接。

白桦: 开发者说，卖点就是不用 Terminal、不用记命令、不用云端，AI 解释全在设备端完成，不会上传任何数据。有社区用户认可这一点，说“不离开你机器”比自行运行 lsof 更有吸引力；不过他也提了一个兼容性的疑点：Apple Intelligence 需要在 M 系列芯片和较新的 macOS 上才能本地跑，那在旧 Intel Mac 或者不满足条件的机器上，“这是什么”的解释会不会回退到更简单的启发式或查询，还是整个功能直接禁用，目前还不清楚。

茉莉: 产品页面上标注了，它支持 macOS 十四以上，Apple Silicon 和 Intel 都行；Apple Intelligence 功能则注明需要 macOS 二十六以上。应用免费开源，用 Apache 2.0 许可，首次启动时 macOS 会拦截尚未公证的应用，得去系统设置里手动允许。官方给了一个示例：选中 localhost 冒号 5173 的 node 进程，AI 会说明这是 checkout-web 的 Vite 开发服务器，已经运行了两小时十四分钟，可以安全停止，重启命令是 npm run dev。

白桦: Open Analytics 团队在 Product Hunt 推出一款开源、AI 原生的 Google Analytics 替代品，核心设计是无 Cookie：访客身份用盐化哈希表示，哈希每天午夜轮换，原始 IP 地址从不存储，也不建立跨站档案，所以不需要同意横幅。团队还说，Global Privacy Control 由采集端在服务器侧强制执行，即使脚本配置成忽略它，请求也会在计数前被丢弃。

白桦: 能力方面，它通过 Stripe 做收入归因，把每笔付款对应到产生它的访问、页面、渠道和引荐来源；仪表盘内置 AI 聊天，还提供 MCP 服务器，可以用自然语言查询流量；自定义事件不用写 JavaScript，在按钮上加一个 data-oa-event 属性就行。软件以 AGPL 协议开源、可自托管，托管版每月九美元起，所有套餐包含全部功能，按事件量计费，不按功能区分。

茉莉: 社区里有人直接挑出无 Cookie 设计的一个实际问题：既然哈希每天午夜轮换，那次日回访的访客会不会被当成全新用户？跨数天的漏斗，比如周一点了广告、周四才购买，这样要怎么统计？

茉莉: 还有一位评论者分享了他自己的经历：仪表盘曾提示有订阅者流失，可他后来发现那是他自己的测试账号，因为汇总根本没法识别这两个是不是同一个人。他说计数本身是对的，问题出在自己设定的“算作一个人”的口径上，同时也想问，AI 聊天和 MCP 会不会显示它们实际运行的查询。

茉莉: 另一款是 SubtitleGenerator，一款在浏览器里跑的 AI 字幕工具，面向视频创作者，把转写、修正、翻译、样式化和导出合并成一条工作流。免费方案每个月能处理六十条一分钟的视频，不用注册，直接在同一个浏览器编辑器里生成、修改、加样式再导出。

白桦: 它的差异化在「Fix」这个修正流程——低置信度的词会被自动标记，你可以保留、修改，或只针对那一条重新转写，剩余待检查数一直可见，全部清完会出现「All clear」。制作者说，多数现有工具是让用户逐行排查，Fix 的目标就是改变这一点。

茉莉: 隐私上，视频文件留在浏览器里，只有提取的音频被送去转写，完成后即删除。免费导出是 720p 带小水印；发布说明称三十款样式全部免费，产品网站列的是六系列共三十三款，样式会同时改字体、构图、高亮和动态，按教程、访谈、游戏高光、播客、音乐歌词、历史解说分类。

白桦: 付费的 Pro 和 Max 增加高精度转写、整轨翻译、无水印高清导出、八种格式、自定义字体和已保存品牌样式，另有一个按量付费选项给不想订阅的人。社区里一位评论者称赞在浏览器里做发布级字幕能省很多时间；另一位则指出，两人说话重叠时行与说话人的对应要靠人工判断，尤其在采访或播客片段，并问制作者是否计划加入说话人标记，还是主要面向教程、配音这类单说话人内容。

茉莉: 制作者发布当天请用户就 Fix 提反馈，并问 AI 转写完成后最拖慢大家的是什么。

茉莉: 然后是 Pocket by Meta，Meta 新推的社交应用，官方定位是创建、游玩和重新混搭 AI 交互体验的平台。按官方介绍，你描述一个想法，AI 就把它变成可玩耍的小装置 gizmo，能响应触摸、动作、声音、照片甚至摄像头；成果分享到信息流，别人可以玩、点赞、分享，也可以拿它当起点再做一版。

白桦: 官方称这是「氛围式编程」的社交化形态，不用写代码；社区里一条分享给了同样的描述，说它是「vibe-coded 游戏社交游乐场」，无需代码或游戏引擎，其他人可即游玩、点赞、分享和重新混搭，形容它一半是游戏创作者、一半是社交网络，帖子不只是被看，而是被游玩。

茉莉: 需要强调的是，这些能力和定位都出自官方产品页和社区用户的说法，不是独立验证的结果；实际可用范围、设备兼容性和用户规模目前都还不清楚。

茉莉: 今天这两款工具，一个是为 AI 代理重写的程序设计语言，一个是在浏览器里完成的字幕修正流程，差别其实很大。

白桦: 是啊，Zero 把程序图当成程序本身，把结果要求交给人类；SubtitleGenerator 则用「All clear」给字幕修正一个明确终点。

茉莉: 谢谢收听，我们下次再见。