今日速览

2026年10月3日 · 星期六

• 产品面：ChatGPT Sites 把「描述→站内预览→发布分享」收成一等能力；Black Forest Labs 发 FLUX 3 Image，用 bounding box 控构图，并标榜面向 agent 的布局协议。
• 本地与效率：Redis 作者 antirez 的 ds4 专跑 DeepSeek V4 / GLM 5.x / Qwen3.8；Wagtail 团队用 GLM 5.3 Flash 硬撑一个月，半程翻车但留下用量与能耗账本。
• 权限与安全：Apple 收紧 macOS Full Disk Access，点名 AI agent 风险上升；内核维护者 Greg Kroah-Hartman 拆 Mythos「79 CVE」营销——多数无效，真修约一小时。
• 监管与平台：犹他州反 VPN 年龄核验法被联邦法院初步禁令拦住（EFF 称技术上不可行）；同日 Apple 推出 Pass Designer beta，补上 Wallet 通行证可视化设计缺口。
• 旁注：Stratego 终于被低成本 AI 打穿、Opus 用代码画油画、Meta Muse 开源硬件配件、Google Suncatcher 原型星在轨，以及 Minecraft 城市与 von Neumann 传说。

ChatGPT Sites：从一句话到可发布站点

OpenAI 把建站做成 ChatGPT 内置能力：描述想法、站内浏览器边建边改，再发布给指定人、工作区或公开。

AI 聊天终于补上「给你一个可分享的 URL」这一环——站点本身变成对话产物，而不是导出 zip 让你自己找主机。

FLUX 3 Image：用框控像素的构图模型

Black Forest Labs 发布 FLUX 3 Image：先画 bounding box 再生成，支持局部多处编辑、多参考图合成，原生最高到 4K。

图像生成的瓶颈从「会不会出图」转到「元素能不能待在你指定的位置」——构图协议比又一个文生图榜更要紧。

法院同意 EFF：犹他反 VPN 法在要技术不可能

联邦法官对犹他州 SB 73 的 VPN 相关条款发初步禁令：逼平台识别/封锁 VPN 用户，等于向全世界用户转嫁负担。

立法可以写「必须知道用户在哪」，互联网协议却不会 magically 吐出真实地理——法院这次承认了这个边界。

每个 SaaS 都会变成套在模型外的 harness

Shrivu Shankar 长文：SaaS 公司终态是「围绕无状态 LLM 的上下文、工具、权限与评审界面」——公司本身变成 harness。

模型会商品化，护城河挪到：你喂给它什么上下文、接什么系统、人在哪一层抽样验收。

Redis 作者出 ds4：本机跑 frontier 开源权重

antirez 的 DwarfStar 4：窄而专的 C 推理引擎，面向高内存 Mac / CUDA / ROCm，支持 DeepSeek V4、GLM 5.x、Qwen3.8。

不做万能 GGUF 播放器，而是把少数模型家族压到能常驻本机——本地 frontier 终于像「装一个工具」而不是「搭一座集群」。

Wagtail：只用 GLM 5.3 Flash 写码一个月

核心成员 Thibaud 挑战九月只靠这一款高效开源模型；2B token 后自称任务失败，但账本很清楚。

便宜 flash 模型够做日常开发——真正烧钱的是选错模型的 vibe 原型，加上推理供给不稳时的被迫换模。

Apple：收紧 macOS「完全磁盘访问」

开发者新闻：完全磁盘访问本为备份等场景绕过隐私控件；Apple 称将被滥用，将加更明示的用户动作，并点名 AI agent 风险上升。

Agent 越能自己干活，操作系统就越不肯默认给你整盘钥匙——权限 UX 会变成 agent 产品的一部分。

Greg KH：LLM 时代的内核安全神话

Kernel Recipes 2026 演讲。内核长期维护者拆 Anthropic Mythos 报出的「79 个漏洞」：多数无细节、非缺陷或已修，真活约一小时。

安全营销数字很好看；落到主线内核，专家一筛，故事往往从「模型发现世界」缩成「补了几个模式匹配漏网」。

健忘的 CPU：在 M4 上启动 Linux

Yureka Lilian 记录在 M4 Mac mini 上首次启动 Linux：M4 强制 SPTM，Asahi 旧路（MMIO 追踪）变难。

Apple Silicon 越安全加固，开源启动就越要绕新锁——硬件香与平台封闭是同一枚硬币。

Apple 推出 Pass Designer：可视化做 Wallet 通行证

官方工具：模板/自有素材进编辑器，实时预览 iPhone 与 Apple Watch 上的真实渲染；beta 需 macOS 27+。

Wallet 通行证好用但文档历来难啃——Apple 自己补了一层设计器，晚了十年也仍有人喊终于来了。

十二年望远镜影像：一颗星与四颗行星

Bluesky 帖展示多年直接成像拼成的轨道序列；评论提醒中间大量是插值帧，不是实时录像。

好看的「行星绕转视频」多半是稀疏真图 + 插值——科学可视化要先标明哪一段是测到的。

Mike Tomlin 花十二年在 Minecraft 里建城

前钢人队主教练在约 19 分钟视频里展示「Tomlinburgh」：从小区慢慢长成城市。

长期无 KPI 的建造欲，本身就是产品经理该偶尔看一眼的参照——不是每件事都要商业化。

隐藏信息极多的 Stratego，AI 终于打过人

CMU/MIT/NYU/Stanford 的 Ataraxos 以约 16 块 GPU、数千美元训练，15:1 击败历史最强人类之一；关键是第二网络猜隐子身份。

信息不完美 + 长对局，比「更大算力硬搜」更吃表示与信念建模——DeepMind 当年也没稳赢。

Muse Gadgets：给 Muse 用的开源硬件配件

Meta 放出面向 Muse 的 DIY 硬件：ESP32 /树莓派 + SDK，接显示、按钮、传感器与执行器。

agent 若只有云端聊天，手脚仍短——开源配件是在赌「家庭机器人入口」可以用黑客板子先铺生态。

细胞身份丢失：衰老的新解释框架

Eric Topol 解读 Nature 与 Cell 两篇新文：除「磨损」外，细胞身份（表观遗传锁定）丢失可驱动衰老与间质漂移。

衰老时钟测到的，可能不只是损伤积分，而是「我是谁」在表观层面上糊掉。

Show HN：开源乐高 AI 生成器

ldraw-nova：用 agent 工具链生成可搭建的 LEGO/LDraw 模型，作者称基于 Astra、Opus 5.5，并接 Jev。

让模型输出「能买得到的零件结构」比输出漂亮渲染难——约束在物理库存与连接规则上。

Where Is the Planet：直接成像行星位置预测

小工具：按所选直接成像系外行星/棕矮星伴星与日期，预测其天空位置；供观测规划。

冷门但具体：把轨道解算收成下拉框——研究者要的是今晚望远镜该看哪。

「显然致癌」清单：同一套方法什么都能致癌

Breakthrough Journal 复现哈佛核电附近癌症研究的方法：换成 Costco、私立大学、棒球场等地标，同样「显著」。

关联研究若对任意地标都报阳性，它测量的就不是核电，而是方法本身的偏差。

Google Suncatcher 原型卫星已在轨

与 Planet 合作的原型星随 SpaceX Transporter-18 升空；已建联，后续测 TPU 在轨辐射与热环境。

太空数据中心仍是远期赌注——这一步只验证「芯片能不能在天上活着」，不是商业算力上线。

von Neumann 传奇（1973）

Gwern 托管的 Halmos 旧文 PDF：数学家回忆 John von Neumann 的能力、风格与轶事。

偶尔读巨人侧写，是为了校准「天才」一词——以及 20 世纪计算与博弈论从哪冒出来。

威尼斯打君士坦丁堡失败，催生早期债券市场

Big Think 书摘向文章：12 世纪军事灾难如何逼出公共债务工具，改变金融史。

战争打输了要付钱——强制摊派与可转让债权，往往比「创新叙事」更早出现。

Ai2 开源 AstaBrief：科研报告快生成模型

AllenAI 为科研 agent 平台 Asta 开源报告模型：强调引用落地、不夸大证据范围；SFT+过滤+DPO。

科学助手的瓶颈不是更会写，而是每句是否还在文献支持的范围内。

Show HN：给 Opus 5.5 一块模拟油画布

stillwet.art：模型用代码写笔触，油画模拟器执行；无文生图扩散模型。多模型「画手」同台。

当画笔是代码、颜料是模拟器，模型比的是过程控制，不是潜空间取样。

给软件工程师看的 Lean 证明解剖

用 Lean/Mathlib 形式化「某语言正则」类题目：规格、实现、不变式与归纳，对照日常程序验证直觉。

形式证明读起来像极端严格的单元测试——你写的是「为什么永远成立」，不是「这组输入过了」。

用 Gleam、Org-mode 与 Pandoc 写博客

作者把写作留在 Emacs/Org，发布侧换成 Gleam + Lustre 的小型类型化静态站流水线，并用 Nix 钉环境。

写作工具与发布工具拆开：前者求习惯，后者求可理解——不必让 Emacs 包办全世界。