HORIZON归档 ↗

7月10日2026 · 星期五

从 27 条抓取中筛选 12 条 · twitter × 3 账号 · 02:52 UTC 生成

今日信号 · 高度即评分 · 点击直达


  1. OpenAI GPT-Live:全双工语音 + GPT-5.5 后端9.0
  2. OpenAI发布GPT-5.6,合并ChatGPT与Codex9.0
  3. OpenAI 跳过 GPT-5.x,数周内发布 GPT-69.0
  4. OpenAI 预告10分钟内重大发布9.0
  5. OpenAI撤回对SWE-Bench Pro的推荐,发现30%任务有缺陷9.0
  6. 给年轻工程师的建议:项目深度胜于广度8.0
  7. Bun JavaScript 运行时用 Rust 重写8.0
  8. Vercel 的 Native SDK:基于 Zig 的桌面框架8.0
  9. Codex 推理强度滑块获好评7.0
  10. Meta 发布低价智能体模型 Muse Spark 1.17.0
  11. 用AI编程:你变成了工程经理7.0
  12. 用育儿比喻开发者对AI代码的依恋7.0
019.0

OpenAI GPT-Live:全双工语音 + GPT-5.5 后端

OpenAI 发布了 GPT-Live,这是一款采用全双工架构的新一代语音模型,能够实现自然的同步对话。该系统可以将复杂推理任务后台交给 GPT-5.5 处理而不中断对话,并能生成天气、股票等信息的实时 UI 卡片。 GPT-Live 代表了语音 AI 的重大飞跃,通过提供更自然的交互和更深层的推理能力,可能颠覆 Siri 等现有语音助手。它能够生成实时 UI 并将语音与推理模型解耦,这可能会为对话式 AI 和个人助理树立新标准。 GPT-Live 有两个版本:面向付费用户的 GPT-Live-1 和面向免费用户的 GPT-Live-1 mini,已在 iOS、Android 和网页端全球推出。它提供三档推理强度(快速、中等、高)、九个重新录制的语音角色,并支持天气、股票、体育等可视化卡片。但上线时不支持视频通话和屏幕共享,API 也尚未开放。

@dotey 转推了

@xiaohu

卧槽 GPT Live 简直就是学英语神奇啊 它能在你说英文的过程中如果出现语法和表达方面的问题,会及时进行纠正 告诉你哪里说的不对,应该怎么说,而且非常的自然 这这这...

@xiaohu

OpenAI 新发布 GPT-Live 语音模型不仅仅是全双工语音能力 而且它能直接调用GPT 5.5推理模型 更牛P的是它还能生成实时的UI界面来展示信息,这完全是个人AI助理了 苹果的 Siri 岌岌可危,甚至整个苹果生态都有点危险,随着模型能力的快速提升,理论上任何问题都能解决并实时展示成UI界面给你... GPT-Live 让你和 AI 说话时不用再轮流开口:它能一边听你讲、一边开口回应,你说到一半也能打断它、追问它。碰上需要联网查、需要动脑筋的难题,它会把活儿悄悄交给后台更强的 GPT-5.5,你这边的对话不断线。 - GPT-Live,采用全双工架构,能在生成语音的同时持续处理输入,做到边听边说的自然对话。 - 遇到需要联网搜索、深度推理或复杂任务时,GPT-Live 会把问题实时交给后台的 GPT-5.5 处理,你这边的对话不中断。 - 在人工头对头评测中,GPT-Live-1 和 mini 都明显比 Advanced Voice Mode 更受偏好;在 GPQA、BrowseComp、τ³-Voice Telecom 三项测评上也都超过后者。 - 语音新增天气 / 股票 / 体育等可视卡片、可调推理强度(Instant / Medium / High),并针对语音场景加强了自伤、情感依赖等安全防护。

背景
之前的 ChatGPT 语音模式采用“对讲机”架构,用户说完 AI 才能回应,容易被打断。全双工语音允许双方同时听说,通过“嗯”、“明白了”等回应词实现更自然的轮换。GPT-Live 将语音交互层与推理层分离,语音模型处理简单对话,复杂任务则交给 2026 年 4 月发布的 GPT-5.5 前沿模型处理。
社区讨论
早期用户反馈指出,像“嗯”这样的自然回应词可能会变得烦人,有些人觉得 AI 的热情过于干扰。TechCrunch 也指出,实时翻译演示中带有美式口音且措辞过于正式,表明仍有改进空间。

7月9日 17:53在 X 打开#OpenAI #GPT-Live #voice AI #real-time UI #AI assistant

029.0

OpenAI发布GPT-5.6,合并ChatGPT与Codex

OpenAI宣布了一项重大产品更新,包括GPT-5.6的正式发布,提供三个级别:Sol(旗舰)、Terra(均衡)和Luna(轻量)。公司还将ChatGPT和Codex合并为一个桌面应用,并推出了ChatGPT Work,这是一个能跨应用和文件执行任务的自主Agent。 此次发布标志着向AI驱动的生产力平台的战略转变,直接与Google Workspace和Microsoft 365竞争。统一的应用和自主Agent能力可能显著提升企业采用率和用户参与度,尤其是在OpenAI准备IPO之际。 GPT-5.6 Sol的定价为每百万输入token 5美元、每百万输出token 30美元;Luna分别为1美元和6美元。ChatGPT Work可连接Google Drive、Slack和邮箱,并支持定时任务。合并后的桌面应用提供Chat、Work和Codex三种模式,共享历史记录,Codex还新增了从Anthropic的Claude Code导入的功能。

@dotey串推 2 条

OpenAI 今天一口气发布了一整套产品更新: 1. GPT-5.6 正式向公众开放 2. ChatGPT 和 Codex 合体成了一个桌面应用 3. 一个叫 ChatGPT Work 的新功能让 AI 从聊天助手变成了能干活的 Agent。 先说 GPT-5.6。 GPT-5.6 今天正式放开,三个级别:Sol 是旗舰,主打复杂推理和长时间自主工作;Terra 是性价比款,官方说性能接近上一代旗舰 GPT-5.5 但价格只有一半;Luna 是轻量款,跑得快、便宜。API 定价方面,Sol 每百万 token 输入 5 美元、输出 30 美元,Luna 只要 1 美元和 6 美元。ChatGPT 免费用户和 Go 用户默认用 Terra,Plus 及以上可以自选模型。 Sol 还新增了两个推理档位:max 让模型花更多时间深度思考,ultra 则会调用多个子智能体(Agent)并行处理任务,有点像同时派出几个人分头干活再汇总。ultra 目前限 Pro 和 Enterprise 用户。 再说 ChatGPT 和 Codex 桌面应用合并。 OpenAI 把 ChatGPT 和 Codex 塞进了同一个桌面应用里,Chat、Work、Codex 三个模式共享同一套能力和任务历史,区别只在界面:Codex 展示代码差异和 PR(代码提交合并请求),Work 把技术细节隐藏掉,面向非开发者。用户可以在两个模式间自由切换。 Codex 现在每周活跃用户 500 万,其中超过 100 万人用它做的是开发之外的工作,比如写报告、做分析。OpenAI 发现非开发者也涌进了 Codex,与其维护两个独立产品,不如合到一起。Fidji Simo(OpenAI 应用业务 CEO)内部邮件里说:“产品分散拖慢了我们的速度。” ChatGPT Work 是这次最值得关注的新功能。它不再只是回答问题,还能跨应用执行任务:连接你的 Google Drive、Slack、邮箱等工具,自己拆解复杂项目,分步骤独立完成,需要时才问你。比如你给它一句话“把客户调研整理成营销方案”,它能自己读资料、写方案、生成不同市场的素材版本,全程带着上下文。还能设定定时任务,比如每周自动汇总 Slack 消息刷新会议议程。 Work 也会登陆网页和手机端,意味着你不需要在电脑前也能发起和跟踪任务。 另一个值得一提的是 Sites。现在 ChatGPT 对话里生成的可视化、仪表盘或小工具,点一下就能变成一个可分享的网站。做个项目进度面板发给团队、做个内部工具原型让同事试用,不用再折腾部署。 浏览器也升级了,支持登录态网站操作、多标签页和文件下载,配合新的 Chrome 扩展,ChatGPT 可以在你浏览器里直接帮你干活。这让 Computer Use(电脑操控)能力有了更实际的落地场景。 Codex 端也有几个开发者关心的更新:可以直接在应用里编辑文件、看 PR 和审查反馈、新增 Ultra 模式处理高难度编码任务。还有一个细节,Codex 加了从 Claude Code 迁移的导入功能,包括设置和偏好配置,显然是在争抢 Anthropic 的开发者用户。 今天的发布放在更大的背景下看,是 OpenAI 超级应用战略的一步。把聊天、编码、浏览、文件操作全装进一个应用里,目标是成为 AI 时代的生产力平台,直接对标 Google Workspace 和 Microsoft 365。 考虑到 OpenAI 刚向 SEC 提交了上市文件,企业用户贡献了其 40% 的收入,这次发布的商业逻辑也很清楚:用统一平台锁住企业客户,为 IPO 讲一个更大的故事。 顺带一提,GPT-5.4 将在 7 月 23 日退役。 > 引用 @OpenAI: Sol, Terra, and Luna, our GPT‑5.6 family of models, are starting to roll out now in ChatGPT, Codex, and the API.

今天直播的视频双语版

背景
OpenAI的GPT-5.6系列继之前的GPT-5.5之后推出,为不同用例提供分层能力。Codex最初是一个独立的编码Agent,现已拥有500万周活跃用户,其中许多人将其用于非编码任务。ChatGPT Work建立在早期的Agent原型(如Operator和deep research)之上,旨在自主处理复杂工作流。

7月9日 18:39在 X 打开#OpenAI #GPT-5.6 #ChatGPT #AI Agent #Product Update

039.0

OpenAI 跳过 GPT-5.x,数周内发布 GPT-6

据报道,OpenAI 将跳过 GPT-5.x 系列,计划在一个月内(可能到 2026 年 7 月底)发布 GPT-6。GPT-5.6 作为 5.x 系列的最后一个模型,刚刚于 6 月 26 日开始受限预览,7 月 9 日才正式向公众开放。加速推出 GPT-6 的决定是对 Anthropic 的 Mythos 模型的直接回应,后者提升了 AI 能力的天花板。 这一爆料标志着前沿 AI 开发进入前所未有的加速阶段,各大实验室竞相超越。如果属实,GPT-6 可能代表规模和能力的重大飞跃,有望重塑竞争格局。此举也凸显了 Anthropic 的 Mythos 如何迫使整个行业重新思考规模化策略。 GPT-6 基于一个全新的、规模大得多的预训练底座,放弃了用于 GPT-5.5 和 5.6 的约 4 万亿 token 的 'Spud' 底座。Anthropic 于 2026 年 6 月 9 日发布的 Mythos 5 因其网络安全能力导致美国政府实施了为期三天的出口禁令。此外,xAI 据称正在 Colossus 2 集群上训练一个 10 万亿参数的 Grok 模型,DeepSeek V4 正式版预计于 2026 年 7 月中旬上线。

@dotey

两条关于 GPT-5.6 和 GPT-6 的爆料。 先说最劲爆的一条:OpenAI 准备跳过 5.x 系列,直接推 GPT-6。 GPT-5.6 将是 5.x 系列的最后一个模型,GPT-6 大约一个月后发布,甚至可能 7 月底就到。GPT-5.6 刚在 6 月 26 日开始受限预览,明天(美国时间 7 月 9 日)才正式向公众开放,结果下一代已经在路上了。 按照爆料者的说法,GPT-6 将基于一个全新的、规模大得多的预训练底座。此前 GPT-5.5 和 GPT-5.6 共用代号“Spud”的预训练基座(约 4T token),OpenAI 原本打算沿用 Spud 继续做到 GPT-6,但临时改了主意。 改主意的原因:Anthropic 的 Mythos。 GPT-6 是 OpenAI 对 Mythos 的真正回应,Mythos 改变了一切,所有人都在往大了做。 Anthropic 6 月 9 日发布了 Fable 5 和 Mythos 5,其中 Mythos 5 的网络安全能力让美国政府紧张到直接下了出口管制令,要求 Anthropic 三天后就全面停止对外访问。虽然禁令已在 6 月 30 日解除,Fable 5 从 7 月 1 日起恢复使用,但这场风波本身就说明 Mythos 的能力级别确实跨越了新的门槛。 爆料中还提到,Fable 5.1 已进入 Anthropic 内部流程的后期阶段,预计几周内发布。这个时间窗口刚好和 GPT-6 的传闻发布期重叠,OpenAI 显然也意识到了这一点。 另一个值得注意的信号来自马斯克。Andrew Curran 提到 xAI 有一个 10T 参数的 Grok 正在训练中。这个说法和 5 月份马斯克本人透露的信息吻合,当时他确认 Grok V9(1.5T 参数)已完成训练,同时有 6T 和 10T 的版本在 Colossus 2 集群上并行训练。Grok 4.5 已于 6 月 28 日在 SpaceX 和 Tesla 内部开始测试。 中国这边也没闲着。DeepSeek V4 正式版计划 7 月中旬上线(4 月 24 日发布的是预览版),将引入高峰时段双倍定价机制。爆料者称 DeepSeek V4 正式版的能力可能追平甚至超过智谱 6 月 13 日发布的 GLM-5.2。 与此同时,DeepSeek 已经开始研发一个更大的新模型,目标是和 MiniMax 即将推出的 M3 Pro 竞争。据 The Information 报道,M3 Pro 总参数量 2.7T,计划在 Q3 开源,将是中国最大的开源模型。 把这些消息拼在一起看,2026 年下半年的 AI 竞赛格局已经清晰:美国几家头部实验室被 Anthropic 的 Mythos 级能力刺激,全面转向更大规模的预训练;中国实验室则在开源路线上加速追赶,GLM-5.2 和 DeepSeek V4 都在特定任务上逼近闭源前沿。 看起来 Scale Law 还没到头。

@AndrewCurran_

I have also heard some of this independently, and believe the following to be true. GPT-6 is the next release from OpenAI. It's their true answer to Mythos, and it will arrive much sooner than people expect. Model release cadence has been speeding up for a while now. It's possible that GPT-6 even arrives within the next four weeks. When I say 'arrive', however, it may not mean a general release, because if the last couple of months are any indication, GPT-6 will almost certainly be held back by the government, at least initially. It's a new, much larger pretrain as leo says. Mythos changed everything. Everyone is going big. Including Elon who has a 10T Grok in training. Both OpenAI and Anthropic see capabilities increasing rapidly, with advancement continuing on a new trajectory over the rest of this year and beyond. Both labs are very confident in what they have internally and see nothing above us but air. No ceiling.

背景
大型语言模型(如 GPT)在海量文本数据集上训练,以生成类似人类的文本。OpenAI 的 GPT 系列已经历多个版本,GPT-5.x 是最新系列。Anthropic 的 Mythos 模型是一款前沿 AI,在网络安全方面展现了先进能力,导致政府限制。AI 行业目前正处于快速规模化阶段,各实验室竞相构建更大、更强大的模型。

7月9日 02:27在 X 打开#OpenAI #GPT-6 #Anthropic #Mythos #AI competition

049.0

OpenAI 预告10分钟内重大发布

OpenAI 发布推文称“一切将在10分钟内揭晓”,并附上直播链接,定于太平洋时间今天上午10点开始。这暗示即将发布一项公告或产品。 OpenAI 是领先的人工智能研究机构,任何重大公告都可能对AI/ML领域产生深远影响。这一预告暗示着可能带来能力突破或改变行业格局的新产品或进展。 推文包含 openai.com/live 的链接,表明这是一场直播活动。公告的具体内容尚不清楚,但根据 OpenAI 的过往,可能涉及新模型、新功能或合作。

@OpenAI

It all comes together in 10 minutes. http://openai.com/live --- From twitter --- Today. 10am PT.

Livestreamsopenai.com · 直连原文
背景
OpenAI 以开发 GPT-4 和 DALL-E 等先进AI模型而闻名。该公司经常通过直播发布重大更新,例如 ChatGPT 或 GPT-4 的推出。此次预告遵循了在重大公告前营造期待的模式。

7月9日 16:50在 X 打开#OpenAI #AI #announcement #live event

059.0

OpenAI撤回对SWE-Bench Pro的推荐,发现30%任务有缺陷

OpenAI对广泛使用的AI编程基准SWE-Bench Pro进行了审计,发现其30%的任务存在缺陷,无法可靠衡量前沿编程能力。因此,OpenAI撤回此前建议研究社区将其作为领先编程评估的推荐。审计使用了基于模型的调查代理,并辅以五位资深软件工程师的独立审查。 这一公告削弱了对SWE-Bench Pro的信心,该基准一直是比较AI编程模型的关键指标。它凸显了随着编程模型改进,需要更稳健、更可信的评估,并可能促使研究社区寻找或开发更好的基准。这些发现可能会改变AI编程进展的衡量和报告方式。 审计显示SWE-Bench Pro中30%的任务存在缺陷,不再能有效测试编程能力。OpenAI结合了基于模型的自动化代理和五位独立资深软件工程师的人工审查进行审计。该基准包含复杂的、长期的任务,需要跨多个文件和仓库进行编辑。OpenAI的撤回仅针对SWE-Bench Pro,不涉及原始SWE-Bench或其他变体。

@OpenAI

We audited SWE-Bench Pro, one of the most widely used AI coding benchmarks, and found it no longer reliably measures frontier coding capability. We find 30% of SWE-Bench Pro tasks to be broken, and are retracting our previous recommendation that the research community use it as a leading coding eval. https://openai.com/index/separating-signal-from-noise-coding-evaluations/ --- From twitter --- To audit SWE-Bench Pro, we used model-based investigator agents alongside independent reviews from five independent experienced software engineers. That helped us examine tasks at scale while keeping expert judgment at the center. --- From twitter --- As coding models improve, evals need to become harder, fairer, and more trustworthy. Better benchmarks help the field understand real progress and where the frontier is moving.

Separating signal from noise in coding evaluationsopenai.com · 直连原文
背景
SWE-Bench Pro是一个旨在评估AI模型在复杂软件工程任务(如跨多个文件修复bug或实现功能)上表现的基准。它是原始SWE-Bench的更具挑战性的版本,后者侧重于更简单的代码编辑。像SWE-Bench Pro这样的基准对于AI研究社区比较模型性能和跟踪进展至关重要。然而,随着模型改进,基准可能因软件依赖或任务定义的变化而过时或失效,需要定期审计。

7月8日 21:41在 X 打开#AI benchmarks #coding evaluation #OpenAI #SWE-Bench #AI research

068.0

给年轻工程师的建议:项目深度胜于广度

在一条热门推文中,知名技术人物 @dotey 建议年轻求职工程师专注于打磨一个深度项目,而不是做很多浅层项目。他强调,即使是在看似日渐式微的领域(如 RAG),深入的理解和实践经验在技术面试中也非常有价值。 这一建议反驳了“vibe coding”的趋势——即开发者用AI快速生成大量应用——提醒工程师真正的专业知识仍然重要。对于招聘经理来说,这表明拥有深度项目经验的候选人更有可能解决复杂问题并做出有意义的贡献。 该推文特别提到 RAG(检索增强生成)作为一个例子:许多候选人简历上写了 RAG,但无法解释为什么它现在不那么流行了。@dotey 认为,即使项目方向看起来过时,探索策略、基准测试和所学经验的过程也会让候选人脱颖而出。他还提到了“vibe coding”和“Dify 二开”作为年轻工程师常见的项目类型。

@dotey 转推了

@wwwgoubuli

如果,我是说如果。 假如我的 followers 里有相对年轻的求职者,正好在找工程方向的工作。 我相信你的简历里一定有一些自己做过或者正在做的项目,不管是不是 vibe 的,当下这个时间节点大概率做的可能靠 agent 方向多一点。 或者是个 workflow,或者是之前的 dify 二开等。 概率比较大。 每个面试官可能角度不一样,有的也许就爱看你做出几十个应用,洋洋洒洒。 但从偏向技术和工程的角度,我建议你不要贪多。 这个时代多没什么用,花点钱买点 token 的事。 做了什么爆款,也许有人会看重一些,但相信我,价值优先。 毕竟小猫补光灯都能上榜一。 我还是建议你打磨好一个项目。越是这个容易 vibe 出东西的时代,你在一个项目上打磨,投入的心血,对这个方向的理解,都价值连城。 哪怕方向在当下看起来也许是错的或者不受欢迎——比如简历上我看的每个人都碰过 RAG,一问为什么今天看起来有点日渐式微,很多人答不上来。 也不是说 RAG 就是错,如果你坚定的在这个方向上打磨,尝试过各种策略,把你的经验,踩过的坑,benchmark,结论,你做过的尝试——这些能和人描述出来—— 你知道你在一个真正想招工程师的面试官眼里有多发光吗? (以上不是说 RAG 不行,RAG 是个涵盖超广的概念,其实 grep 也算 RAG 的手段,狭义广义的我就不展开了) 真的干过,思考过,一个方向折腾过——哪怕一路都是借助 AI,都是你的加分项。 巨大的加分项。

背景
“Vibe coding”是 Andrej Karpathy 在2025年提出的术语,描述了一种AI辅助开发方式:开发者描述任务并接受生成的代码而不进行彻底审查。Dify 是一个开源的大模型应用开发平台;“二开”指对其进行定制或扩展。RAG 是一种将知识库检索与文本生成相结合的技术,但随着长上下文模型的兴起,其受欢迎程度有所下降。

7月8日 14:30在 X 打开#career advice #software engineering #AI agents #project development #interview tips

078.0

Bun JavaScript 运行时用 Rust 重写

最初用 Zig 编写的 Bun JavaScript 运行时正在用 Rust 重写。这一改变旨在利用 Rust 的内存安全性和零成本抽象来提升性能和可靠性。 Bun 是一个以速度著称的广泛使用的 JavaScript 运行时,这次重写可能进一步提升其性能和稳定性。这也标志着 JavaScript 生态系统中采用 Rust 构建系统级组件的趋势日益增长。 重写工作由 Bun 的创建者 Jarred Sumner 领导,并在官方 Bun 博客上记录。Rust 的所有权模型消除了垃圾回收并防止内存错误,这可能使 Bun 更高效、更安全。预计过渡将是渐进的,现有 Bun 功能会逐步移植。

@karpathy 转推了

背景
Bun 是一个一体化的 JavaScript 运行时,包含打包器、转译器和包管理器,旨在作为 Node.js 的即插即用替代品。它最初使用 Zig 构建,这是一种注重性能的低级语言。Rust 是一种以内存安全性和性能著称的系统编程语言,常用于性能关键的软件。这次重写反映了利用 Rust 生态系统和安全保证的战略转变。

7月9日 17:11在 X 打开#Bun #Rust #JavaScript #runtime #performance

088.0

Vercel 的 Native SDK:基于 Zig 的桌面框架

Vercel 开源了 Native SDK,这是一个基于 Zig 语言的框架,用于使用声明式标记语言构建原生桌面应用。它拥有自定义 GPU 渲染引擎、类似 Elm 的确定性架构,以及内置的 AI 代理协作支持。该框架目前处于 pre-1.0 阶段,采用 Apache 2.0 许可证。 Native SDK 挑战了 Electron 的主导地位,提供了一种轻量级替代方案,生成的单个二进制文件只有几 MB,无需捆绑浏览器运行时。其确定性架构支持可回放的 UI 快照等新颖测试能力,而一等公民的 AI 代理集成可能重塑桌面应用的构建和自动化方式。这可能对桌面开发生态系统产生重大影响,尤其是对于追求性能和可预测性的开发者。 Native SDK 使用 .native 标记文件编写 UI,用 Zig 编写逻辑,采用严格的 Model/Message/Update 架构,类似于 Elm。它包含内置组件库、设计 Token 系统和 CLI 工具,支持热重载、静态检查和无头 UI 测试。平台支持方面,macOS 最成熟(Metal 渲染、原生菜单、托盘),Linux 和 Windows 可用但功能较少,iOS 和 Android 处于实验阶段。该框架不使用平台原生控件,而是用自己的引擎渲染所有内容,但将滚动、IME 等系统级交互委托给操作系统。

@dotey串推 2 条

真佩服 Vercel 的挖坑速度,又开了个大坑,后面就看能不能填上了。 Native SDK 是一套用 Zig 语言构建原生桌面应用的开发框架,它想解决的问题是用声明式标记语言写 Native UI。 要我说,在 AI 时代之前,这类框架真的挺有价值的,写一遍到处能运行。 现在 AI 时代,不如同一套设计,让 AI “翻译”到不同平台,Mac 你就老老实实用 AppKit(SwiftUI 都没必要),既能保证性能和兼容性,又能避免去踩跨平台框架带来的各种坑。 当然只是我观点,仅供参考,下面是项目的介绍: 主流方案(Electron 之类)往往要把一整个浏览器打包进去,应用体积和内存占用都很夸张。Native SDK 的做法是保留声明式的写法,但把浏览器换掉,用自己的渲染引擎直接往操作系统窗口里画像素。 开发体验上,界面写在 .native 后缀的标记文件里,逻辑用 Zig 写,架构是 Model/Message/Update 的单向数据流,跟 Elm 那一套思路类似。状态变更只发生在一个 update 函数里,界面层只负责绑定和派发消息,不能直接改数据。这种约束带来一个好处:整个应用的行为是确定性的,可以录制一次操作、无头回放、逐帧对比状态指纹来做自动化测试。 框架自带了一套组件库(按钮、输入框、Tab、对话框、虚拟列表、图表等),默认就有排版和配色,拿来就能用。定制走设计 Token 体系,换一套 Token 就能换一套视觉风格。CLI 工具链也比较完整:native init 创建项目,native dev 热重载开发,native check 做静态校验(能检查标记文件里的数据绑定是否跟 Zig 的 Model 和 Msg 类型匹配),native test 跑无头 UI 测试,native build 出发布包。最终产物是几 MB 的单体二进制文件,不带解释器和运行时。 一个有意思的设计是它把 AI Agent 协作作为一等公民考虑:每个应用内置自动化服务器,Agent 可以读取无障碍快照、操控控件、断言运行时状态、截取确定性截图。CLI 还自带 Agent 技能文件,用 native skills list 可以查看。 平台支持方面,macOS 最成熟(Metal 渲染、原生菜单、托盘),Linux 和 Windows 可用但功能少一些,iOS 和 Android 处于实验阶段。WebView 作为可选项在桌面端也能混用。项目目前还在 pre-1.0 阶段,API 仍在变动,采用 Apache 2.0 开源协议。 > 引用 @ctatedev: Introducing Native SDK > > The toolkit for building native apps > > → Hot reload > → Markup + Zig > → Instant launch > → macOS, Windows and Linux > → GPU engine built from scratch > → Built-in design system and themes > → Custom components + design tokens

更接近 Flutter 的思路,跟 RN 走的是相反方向。 https://x.com/CorrectRoad/status/2075071901559669098?s=20 RN 的做法是把 JS 写的组件映射到平台原生控件(iOS 上是 UIKit,Android 上是原生 View),所以按钮、输入框这些长得跟系统控件一样。 Native SDK 不用平台原生控件,它自己有一套渲染引擎,每个像素都自己画。按钮、列表、输入框全是引擎绘制的,不是系统提供的。从这个意义上说,它的原生指的是编译成原生二进制、直接画进 OS 窗口,而不是使用原生 UI 组件。 但它又不像 Flutter 那样什么都自己来。滚动物理、右键菜单、系统对话框、托盘、文本输入(IME)这些交给操作系统处理。所以是个混合策略,渲染自己做,但交互行为里涉及系统级体验的部分还是走 OS。 跟 Zed 的 GPUI 对比,两者的核心哲学很像,都是不依赖系统控件,自己画全部界面,编译型语言,无运行时。主要差异在几个层面: 1. 语言选择不同。 GPUI 用 Rust,Native SDK 用 Zig。 2. 界面描述方式不同。 GPUI 的 UI 写在 Rust 代码里,通过实现 Render trait 来声明视图,本质上是代码即 UI。Native SDK 把视图拆到单独的 .native 标记文件里,跟逻辑代码分离,更接近 Web 前端的写法(模板 + 逻辑分离)。对 AI 代码生成来说,标记文件可能比 Rust trait 实现更容易生成和校验。 3. 状态管理模型不同。 GPUI 是 Entity 系统加响应式上下文,比较灵活但也更零散。Native SDK 是严格的 Elm 架构(Model/Msg/Update),所有状态变更只走 update 函数,确定性更强,可以做到录制回放和逐帧比对。这是一个取舍,牺牲灵活性换可预测性。 4. 定位也不太一样。 GPUI 是和 Zed 编辑器伴生的,现在虽然计划独立发布成 crate,但设计决策高度围绕编辑器场景(高帧率文本渲染、多人协作)。Native SDK 从一开始就定位通用应用框架,自带组件库和 Design Token 体系,带着开箱就能出像样 App的意图。 > 引用 @CorrectRoad: @dotey 有多原生。类似RN还是Flutter。 > > 对比zed的GPUI是一样的思路还是啥

背景
传统的跨平台桌面框架如 Electron 会捆绑整个 Chromium 浏览器,导致应用体积大、内存占用高。Flutter 和 React Native 采用不同方法:Flutter 使用自己的渲染引擎,而 React Native 将 JavaScript 组件映射到平台原生控件。Elm 架构(Model/View/Update)是一种函数式模式,强制单向数据流和确定性状态管理,使应用更易于测试和推理。Zig 是一种底层系统编程语言,强调简洁性和直接的 C ABI 互操作,适合构建轻量级原生应用。
社区讨论
推文作者对 Vercel 的快速创新表示钦佩,但质疑他们能否完成如此庞大的工程。他们还认为,在 AI 时代,不如使用单一设计让 AI 翻译到不同平台,而不是使用跨平台框架。另一位评论者将 Native SDK 与 Flutter 和 React Native 进行比较,指出它更接近 Flutter 的自渲染方式,而不是映射到原生控件。

7月9日 03:37在 X 打开#Vercel #Native SDK #Zig #Desktop Development #AI Agent

097.0

Codex 推理强度滑块获好评

@dotey 的一条推文强调了 Codex 中新增的滑块交互功能,允许用户调整 AI 的推理强度。该功能被视为一种直观的 UI 改进,用于控制 Codex 在响应前进行推理的深度。 该滑块代表了 AI 编码工具在用户体验方面的一项重要创新,让用户能够精细控制速度与推理深度之间的权衡。它可能会影响其他 AI 助手设计其交互范式,使高级 AI 更易于非专家使用。 该滑块在 @Dimillian 的一条推文中被提及,他问道:“好吧,但你看到这个滑块了吗?”该功能似乎是 OpenAI 的 Codex 系统的一部分,该系统将自然语言转换为代码。目前尚未确认官方文档或发布说明。

@dotey

Codex 新的推理强度交互做的很酷👍

@Dimillian

Ok but did you saw this slider???

背景
Codex 是 OpenAI 的 AI 模型,能够根据自然语言提示生成代码,为 GitHub Copilot 等工具提供支持。推理强度指的是模型在生成答案前用于思考问题的计算量。滑块 UI 允许用户动态调整此参数,平衡响应速度和输出质量。

7月9日 20:20在 X 打开#Codex #UI/UX #AI tools #reasoning

107.0

Meta 发布低价智能体模型 Muse Spark 1.1

Meta 发布了 Muse Spark 1.1,这是一个新的智能体与编程模型,可通过 Meta Model API 和 Meta AI 使用。该模型定价为每百万输入 token 1.25 美元、每百万输出 token 4.25 美元,使其成为智能体任务中最经济的选择之一。 这标志着 Meta 进入付费模型 API 市场,与 OpenAI 和 Anthropic 的产品竞争。低廉的价格和强大的智能体能力可能使高级 AI 在编程和工具使用任务中更易获取,从而加速开发者工作流程中的采用。 Muse Spark 1.1 支持 100 万 token 的上下文窗口,并具备规划模式、目标条件设置、子智能体委派和上下文压缩等功能。它在工具使用基准测试中表现最佳,但在纯编程基准测试上落后于部分竞争对手。该模型通过新的 Meta Model API 提供,该 API 还提供 Llama 等其他模型。

@dotey

小扎也是拼了,为了宣传新模型,都来 X 发推了

@finkd

(1) Today we're releasing Muse Spark 1.1 -- a strong agentic and coding model at a very low price. It's available through our new Meta Model API and in Meta AI.

背景
智能体模型是能够自主执行任务、使用工具并与环境交互的 AI 系统。Meta 此前主要专注于 Llama 等开源模型,但 Muse Spark 1.1 代表了向商业 API 产品的转变。该模型专为实际编程和智能体任务设计,旨在提供“个人超级智能”,作为 Meta 更广泛 AI 战略的一部分。

7月9日 17:02在 X 打开#AI #Meta #model release #coding #agentic

117.0

用AI编程:你变成了工程经理

X上的一篇热门帖子将使用编程代理进行Vibe Coding比作担任工程经理。作者认为,你必须理解需求、审查代码并处理上下文缺口,因为AI缺乏主动性和完整上下文。这一类比凸显了依赖AI代理时开发者角色的转变。 这一见解之所以重要,是因为它重新定义了关于AI辅助开发的讨论:AI代理不是取代程序员,而是改变了他们的职责。理解这一转变有助于团队采用更好的工作流程,例如小步增量变更并持续审查,以保持代码质量。它也强调了软件工程中人类判断的持久需求。 该帖子区分了原型开发(只需验证功能)和生产就绪代码(必须审查代码并验证功能)。它建议采用持续集成实践:进行小步增量变更,便于审查和纠正。作者指出,AI缺乏主动性和完整上下文,因此人类必须充当信息枢纽和质量把关者。

@dotey串推 2 条

当你用 Coding Agent 去 Vibe Coding 的时候,你的角色不是单纯的程序员了,变成了工程经理(EM,Engineering Manager)的角色,这就好比你问一个 EM:为啥要去看代码?不应该只关注功能么? 一个不懂代码不看代码的 EM 也许可以当个合格的 EM,但绝对不是优秀的 EM。 指挥 AI Agent 干活,跟 EM 指挥一群开发工程师(SDE)很像,当过 EM 的一定心有戚戚,你得帮着去理解需求、拆解需求,去分配任务,去验收任务。 比指挥 SDE 省心的地方在于你不用照顾 AI 的情绪,也不用担心 AI 过劳,可以使劲 PUA,使劲用。 但费心的地方在于 AI 没有主动性,AI 没有完整上下文。 没有主动性体现在你得指挥着他们干活,哪怕 AI 再聪明,也不能你一句话就主动把活都给你干了。 整个团队 EM 了解的信息是最多的,下面每一个 SDE 了解的信息都是片面的,就像 Agent 不知道所有上下文只有你知道。 所以一个功能做出来,EM 如果不验收一下,不看看代码,那么即使你下面的 SDE 再聪明,也会因为信息不对称不完整,造成误解,而实现出跟你预期不一样的结果,更不要说搞出一些严重的安全性问题。 再聪明的 AI,在没有充分了解所做功能的完整上下文、使用场景的情况下,方案都是可能有偏差的。毕竟没有万能的方案,只有适合特定场景的方案。就算你在事前有充分的计划和讨论,但是一些藏在你脑子里面的隐含的难以表达的信息还有很多是无法直接传导给 AI 的。 > 引用 @yuerschool: @dotey 为啥要去看代码?不应该是只关注功能么?

AI 写的代码量太大看不过来,这里面分两种,一种是做原型,这种你就不需要看,只验证功能就好了;一种是要做生产环境就绪的版本,那么就要看代码要验证功能。https://x.com/zemul888/status/2075257259987484686?s=20 代码太多看不过来的问题其实在传统软件工程就有这种问题,核心就是集成的颗粒度。 早年瀑布模型的时候,一个版本几个月上年,每次变更一大坨,各模块独立开发,然后再集成。但模块之间集成的时候无比痛苦,因为代码变更太多了。并且集成后要很长时间才能稳定下来。 后来敏捷开发就变成“持续集成(Continuous integration)”了,简单来说就是一次一个小功能,做了一点就集成。不是围绕模块去变更,而是围绕小的功能点去变更,再配合好自动化测试,每次功能的变更后系统整体都是稳定的。由于一次变更量不大,所以也好验收代码。 Vibe Coding 也是一样的,你一次让 AI 搞个大的,不仅结果不好,还没办法验收审查,代码看不过来。 如果你换个思路,一次做个小功能点,一次修一个小bug,那么每次做完你都是可以验收可以审查的,可以随时纠正的。质量也有保障。 > 引用 @zemul888: @dotey Ai 写的代码量太大了,看不过来怎么办?

背景
Vibe Coding是由Andrej Karpathy推广的一个术语,指的是一种开发者高度依赖AI生成代码的编程风格,通常只需极少的人工干预。工程经理(EM)的角色包括指导开发团队、分解需求、分配任务和审查输出。持续集成是一种软件开发实践,通过频繁集成小变更并配合自动化测试来减少集成问题。
社区讨论
讨论中有一条回复质疑为什么需要审查代码而不是只关注功能。作者回应区分了原型开发和生产工作,另一条回复则提出AI生成的代码太多难以审查。作者建议使用小步增量变更来使审查变得可行。

7月9日 16:28在 X 打开#AI-assisted development #software engineering #vibe coding #engineering management

127.0

用育儿比喻开发者对AI代码的依恋

一位开发者(@dotey)用育儿比喻来解释为什么开发者对自己逐步构建的项目(即使有AI帮助)比对完全由AI生成的项目更有感情。这个比喻将一个从出生养大的孩子与一个在12岁时领养的孩子进行比较,强调了参与成长过程所带来的情感差异。 这一见解触及了AI辅助开发中日益受到关注的问题:代码所有权和开发者参与度。随着AI生成越来越多的代码,理解驱动开发者关心和维护软件的心理因素对于项目的可持续性和质量至关重要。 作者认为,从开发者自己构建的最小可行产品(MVP)开始,然后借助AI进行迭代,可以培养对代码的所有权意识和对变更的警惕性。相比之下,一开始完全由AI编写的项目会导致开发者对审查代码或拉取请求(PR)失去兴趣。这个比喻强调,决定情感依恋的是增量开发的过程,而非代码的起源。

@dotey

打个比方,你领养了个孩子,听着他第一声啼哭出生,看着他咿呀学语蹒跚学步,你一点点教他看着他一点一点的长大。 后来你又领养了个孩子,一开始就是12岁,虽然你不用操心换尿布这种事,虽然这孩子是按照你的要求筛选出来的,但是这孩子的成长你一无所知。 那这两个娃虽然都算是你孩子,但是感情肯定是不一样的。 是不是一开始是 AI 写的没那么重要,但这个软件迭代的过程你有没有参与很重要。 如果一开始是个 MVP,很小,但是功能你都知道,代码和架构你也了解,你一点点往上迭代功能,歪了会纠过来,那么这样的项目你就会更有感情、更上心些。

@arkuy99

如果一个项目 一开始就是全部是 AI 写的 我后面不管怎么样完全提不去兴趣去看任何一行代码 如果一开始地基是我打的,不管后面 AI 怎么修,我都会去看每一次的 PR,防止打歪。 何意味。

背景
在软件开发中,MVP是指具有足够功能以满足早期用户并收集反馈的产品。拉取请求(PR)是开发者在将代码更改合并到主代码库之前提出和审查代码的机制。这一讨论反映了AI辅助编码工具(如GitHub Copilot)的更广泛趋势,这些工具可以生成大量代码,引发了关于开发者责任和代码质量的问题。
社区讨论
内容中引用的社区讨论显示了对这个比喻的认同。用户@arkuy99表示,如果一个项目最初完全由AI编写,他们会失去阅读任何代码的兴趣;但如果他们打下了基础,他们会审查每一个PR以防止偏离。

7月9日 05:55在 X 打开#AI-assisted development #code ownership #software engineering #developer experience