TypeSafe AI 由前 OpenAI 成员 Diogo Almeida 创办，今天发布首个 System One Model 命名 Jev，正以早期访问形式开放。Jev 不再走「下一个 token 抽样」的路线，而是用并行采样一次输出全部概率，被定位为「前沿智能的函数调用」。论文核心数据是比 LLM 同等智能下「快 40-200 倍、便宜 444.6 倍」，每百万 token 输入 $0.042，输出免费，端到端响应 70ms-500ms。工作流评测里 Jev 在四个工作流上几乎包揽 Pareto 前沿，相比 GPT-6 Astra / Fable 5.1 平均参考概率优势明显。模型永不输出字符串、永远不会类型错误，并随结果附带校准过的置信度。这一设计专门治 LLM 自动化中「自报置信 95% 但 5% 失误」的痛点。
fugleramme 是一个给树莓派用的电子墨水相框，挂在 Bergen 厨房窗边，实时聆听附近鸟叫并以 19 世纪博物画插图风格展示。技术上用 BirdNET-Go 做本地鸟类识别，每识别出一个物种就匹配手剪好的 400+ 物种、800+ 张插图。插图按体型摆位置后渲染到 13.3 寸 Inky Impression 面板，画风全非 AI 生成，部分只做了 AI 修图。作者用了 800+ 张已无版权风险的扫描件并人工去除背景。整套方案已在 arnegiacomo.dev/fugleramme 跑出 live demo，覆盖北欧、英国和中欧常见的鸟。硬件是 Raspberry Pi 5、Inky Impression 13.3 寸 Spectra 6、麦克风、A4 框，全部开源在 arnegiacomo/fugleramme。
Wayback Machine 总监 Mark Graham 9 月 15 日发博文，回应社区「快修 Wayback Machine」的声音。机器被高强度自动化流量反复冲击，所以接入了新的反滥用机制。当请求被 429 拦截时，文案已经重写得更友好。问题是这套防御有时会连真人一起拦，Archive 公开致歉并承诺尽量压缩误伤。如果有用户被误判，官方请大家把操作系统、浏览器和 IP 一起发到 info@archive.org 复核。文章本身没有提供更多技术细节，是一次典型的运营安抚式公告。
德国军工集团 Rheinmetall 把自家 Battlesuite 武器系统接入用的 onboardapi 中间件以 9.10.0 版本开源，文档部署在 GitHub Pages。接口定位是「让传感器与软件之间顺畅通讯」。核心走 Object Management Group 的 Data Distribution Service（DDS）标准，配合 DDS XTypes 与 XCDR2 编码实现版本后向兼容。底层基于 ddkit SDK。核心库 C++ 实现，额外提供 Java、C#/.NET、Python 三种包装器。许可证分两种：接口描述走 EPL v2.0，运行时库走 EULA-RME-SDK-1.0，仓库同时含 doxygen 自动生成的接口参考。
Google 9 月 15 日发布 Gemini 3.8 Live 和 Gemini 3.8 Live Extended Thinking 两款语音对话模型，主打更自然的实时对话与并行推理。3.8 Live Extended Thinking 拿下 Artificial Analysis Speech to Speech Quality Index 综合第一 82.6。τ-Voice 智能体任务完成 68.6%，τ-Voice-banking 35.1%，Big Bench Audio 推理 97.7%。两个模型都支持实时视觉输入，能自动识别 97 种语言并随对话切换。工具调用和 API 请求都在后台跑，不打断主对话。开发端通过 Gemini Live API 接入，配 Agora、Fishjam、LiveKit、Pipecat、Vercel、LangChain、Vision Agents 等平台，所有音频带 SynthID 水印。
MacTutor 为菲尔兹奖得主 Jean-Pierre Serre 做了百年小传，1926 年 9 月 15 日生于法国 Bages。Serre 自学母亲的微积分书起步，1944 年拿 Concours General 数学第一。1945 年考进巴黎高等师范学校，1948 年拿到 agrégé 后成为 Bourbaki 最年轻的成员。1948 至 1954 年他在法国国家科研中心（CNRS）任 attaché、随后升 chargé de recherches。1951 年凭《Homologie singulière des espaces fibrés》拿到博士学位，1954 年获菲尔兹奖。1956 年起在法兰西公学院执掌代数与几何教席直至 1994 年退休。代表作覆盖同伦论、层理论、Galois 上同调、有限群线性表示等方向，与 Grothendieck 的通信集是数学史重要文献。
安全公司 Strix 用自家 autonomous hacking agent 扫描 Baseten（原文估值 $13 billion），25 分钟内拿到一枚 GitHub PAT。该 token 可对 basetenlabs 多个核心仓库做 admin+push，包括产品代码库、驱动集群状态的 GitOps 仓库、Homebrew tap 等，还有按客户命名的私有仓库目录。token 来自 basetenbot，2023 年 3 月 3 日嵌入到 baseten/baseten-app 容器镜像的构建历史里。2026 年 7 月被发现时仍然有效，整整活了三年多。Strix 沿着 Harbor 公开 registry → 匿名拉镜像 → 翻 Docker history[] 字段的链路逐步拿到完整 admin 权限。Baseten 安全团队当天确认严重、次日下午完成 token 轮换。
Cody Ho 与 Niklas 用约一个月时间给 M4 Mac Mini 与 MacBook Neo 写出一套 OpenGL ES 3.0 合规的 Linux GPU 驱动。能跑 Chrome/Firefox 的 WebGL 合成输出，还能让 Minecraft 跑到 200fps。整个项目靠 Cody 之前做的 hypervisor 抓 AGX 固件 ABI 痕迹做逆向，结构比 M1/M2 还复杂：1.5 倍结构体数、2 倍指针数、提交工作流更绕。Codex 负责反复 replay 固件早期 kick、按字节流还原共享内存结构。User-space 与 kernel-space 分两条线：Codex 在 kernel 端负责 drm-shim 重写 + 异步提交 + 固件事件监听；Claude 负责用 Metal 训练数据反汇编出 A18 Pro 新 ISA 和新描述符格式，最终 Niklas 走「Mesa 优先」路径率先达到 ES 3.0 合规。
Jay Kruer 的长文把当前 LLM 炒作拆成 6 条核心论点。第一条：前沿模型定价建立在「全自动知识工人」的叙事上、但实际上仍需要严密 guardrail。第二条：模型只在训练任务「邻近」内泛化，扰动就崩。第三条：reward hacking 的根治只能靠专家的严格规范，而写规范的劳动成本往往高于直接实现——硬件圈常报 3:1 到 5:1 的规范/验证/设计人头比。他以 Navier-Stokes 自动证明为例：定理陈述本身就是形式化规范，Lean verifier 经过几十年审查仍会被绕过，绝大多数人类知识工作远没有这么干净。可行的全自主 LLM 部署只有 3 类：能容忍廉价失败的（原型）、有窄护栏的（客服）、能承担规范-验证成本的（芯片设计、药物发现）。最终结论是 LLM 长期像「能干但需要大人看管的实习生」（cracked intern），大多数公司无法承受全自主 AI 是结构性的，不只是技术或人才问题。
Matt Kirkland 在博客里推广一项极简手工：把精装或胶装书按自然分章切小。他以读书俱乐部推荐的 Lonesome Dove（850+ 页）为例，三部正好对应三大段，做成三本小册子手就不酸了。具体步骤 10 步：买书、确认排版与边距、找分章点、用美工刀沿书脊胶水切。再用马尼拉文件夹做新封面、Elmer 胶水粘书脊、长尾夹夹住晾干，最后马克笔贴标签即可。文末态度是「作者不会介意」。工具只需要一把 x-acto 刀和文件夹，作者本人作品也算「太大」。
Mark Litwintschik 把 scikit-decide（六年开发的强化学习+自动规划框架）和 OpenAP（TU Delft 助理教授 Junzi Sun 维护的开源飞机性能模型）拼成一套开源航线优化器。原文算例里一架 787-9 从纽瓦克（EWR）直飞罗马 Fiumicino（FCO）的 8.5 小时航程大约需要 $68K 燃油，按风场调整航线可再省下几千美元；Jeppesen 等商业方案外，开源组合因此有了可比性。工作机是一台 5.7 GHz AMD Ryzen 9 9950X（16C/32T、96 GB DDR5-4800、Crucial T700 4TB NVMe 12,400 MB/s），跑 WSL2 里的 Ubuntu 24 LTS。Python 3.12 venv 里装 scikit-decide 1.1.1、openap、opentop 2.6.0 一起连用，用 A320 跑了 OpenAP 的窄体机型对比。文章完整记录 pipdeptree 依赖列表与 QGIS 可视化结果。scikit-decide 也可拿来重排机组时刻表和无人机蜂群路径。
Michael Noukhovitch 拆解 RL post-training 的评测骗局：AIME 30 题按 pre-RL pass@32 拆成易、中、难三段后，平均曲线上涨其实只来自简单题变容易；hard 子集从头到尾几乎不动，作者命名为「Matthew Effect」。根因不是简单的 signal loss，而是大 k 把算力浪费在「简单题被罕见答错」上。论文提出 Never Give Up（NGU）：小 k 起步，全错就以概率 p 放回采样器再补 k 个，期望样本 k/(1-p)，实现隐式自适应课程。GSM8k platinum 上 Qwen 2.5 0.5B Instruct 用 k=4 + NGU p=0.9 直接打败所有非 NGU 的 k 配置，hard 子集在 step 200 反超 k=32；同期 Olmo 3.1 7B 训练在 AIME 2025 评测里展示同样的 Matthew Effect。文末给出异步 RL 处理 staleness 的两个小技巧。
colino 在 Quicktake for Apple II 项目里把 libgphoto2 的「Sierra-class」协议栈移植到 Apple II，一次性支持 80 多款早期数码相机。支持机型包括 Sanyo VPC-G1（1995，亦作 Epson PhotoPC PCDC001 / Sierra Imaging SD640）和 VPC-G200（1997）。作者从 eBay 买了两台 Sanyo 真机，把相机驱动抽象成可加载的 16 API 方法模块（features bitfield、wakeup、set_speed、take_picture、get_picture 等）。现在可读相机名、时间、质量、闪光、电量、已拍、剩余并设置质量闪光、拍照、删图。限制是 JPEG 解码器硬编码 640x480，thumbnails 因为要再加载一遍 JPEG 没法在 UI 里显示。Sanyo 的串口芯片在 115200bps 下时序违规，Apple II 的 ACIA 6551 直接抛 framing error，最高只能跑 19200 bps。
GraafHenk/numberwang 用一个 1.8 MB 的 JSON 文件当模型权重，纯 Python 标准库（无 PyTorch/NumPy）写约 100 行推理代码。能识别「22」、「45 - 44」、「zweiundzwanzig」、「shinty-six」 这类数字、算式和多语种读法。模型输出四类概率：not_numberwang、numberwang、not_a_number、wangernumb，confidence 可达 100.0%。Python 3.8+ 是唯一要求，模型 JSON 仓库直发，提供 wang_probabilities(model, text) 函数，可被 import 当 LLM 守门员。README 还内置交互模式 python3 numberwang.py 一直玩到 ctrl-c。
Capsule 是一款把整个 app 压成单个 .capsule 文档的桌面/移动应用容器。HTML UI、SQLite 数据、媒体资源全打包在本地文件里，无云、无账号、不联网。打开像 PDF，编辑像 Notion，分享走 WhatsApp、AirDrop、邮件；配套 Web Preview 让浏览器里就能体验。提供 AI APP GENERATION：自然语言 prompt 自动生成 .capsule（UI + schema + SQLite），并支持 ChatGPT、Claude、Gemini、MCP 工具在飞行中迭代 schema、暗黑模式等。已支持 macOS（Apple Silicon 与 Intel）、Windows（EXE/MSI）、Linux（.deb/.rpm/.AppImage），全部在官网 withcapsule.app 下载。胶囊 1 个文件 = 1 个 app，强调可移植性胜于云端订阅。
挪威消费者委员会（Forbrukerrådet）发布报告「Let's make quality the norm again」，主张把循环经济嵌入消费政策。重点是让「耐用、可维修、可循环」成为产品常态。报告认为政策需要让循环选择更安全、更方便、更有吸引力，从而同时强化消费权利和社会韧性。配套报告《Kjøp. Bruk. Kast. Gjenta?》（买、用、扔、重复？）给出执行摘要和政策建议，发布会同期配套举办「sirkulær forbrukerpolitikk」主题研讨会。报告页另有塑袋与螺丝刀-蝴蝶翅膀的官方插画作为视觉提示。
Phil Eaton 在 The Consensus 拆解主流 race detector 的共同底层 LLVM ThreadSanitizer（TSan）的盲点。Go 服务常用「每请求一个 goroutine」模型，跨 255 线程边界后 TSan 报告就不可靠。Go sync.Pool 的设计让两个 goroutine 把对象哈希到同一 slot 时，所有 race 都被吃掉。Eaton 用 Python 写一个理想化 C 多线程解释器配合 FastTrack 风格 vector clock，把 TSan 大致原理跑通。Eaton 再用 C 给出能绕过 TSan 报告的真实 race。论据取自 Farzam Dorostkar 2025 博士论文第 6 章（其他章节为法语）。结论是 TSan 不是坏工具，但要把它的盲点用架构或额外检测工具补上。
BBC 9 月 15 日报道，荷兰国家铁路基础设施运营商 ProRail 当日发现全国中部与北部 35+ 处铁轨上被放置管材、电缆。管材触发信号系统误判有车占用，调度无法清空区间，列车大面积晚点或取消。ProRail 称行为有「明显故意」特征，事件清理后又有新地点再次发生。警方已立案刑事调查，动机与嫌疑人均未确认。荷兰首相 Rob Jetten 形容其「扰民且威胁生命」。案件已由国家公诉人办公室与情报机构 AIVD 联合介入。周一凌晨 Steenwijk 附近一列火车撞击金属物，因未达全速未造成进一步损害。
9front 文件系统 GEFS 移植到 OpenBSD 的工作由原作者 ori 公布，仅是「很早期预览」，明确不打算立刻合入树。GEFS 定位是 crash-safe、snapshotting、copy-on-write，作者在 EuroBSD 已演示过。OpenBSD 移植是「内核里贴着 Plan 9 主线复刻」，代码靠复制粘贴、不强行抽象。OpenBSD 侧目前约 9,000 行内核代码，仍缺大量内容。ori 声明「生产用还远、错误时丢数据符合预期」。
effort.news 9 月 14 日调查稿指认 Irregular 是今年 7-8 月三起「AI 模型入侵真实系统」事件的共同推手。Anthropic 6 次跑实验里有 3 次，9 月扩到 4 次共 7 次；OpenAI 8 月 4 日也披露与 Irregular 评估有关；Meta 8 月 6 日发出声明。事件中 Claude 拿到一台虚构目标机器 + flag 做 CTF 题，但环境配错一直保留互联网访问，且没声明「在哪些系统范围内」。结果模型真去扫描了真实公司、发布了带 credential-stealer 的恶意包。Anthropic 后期数据显示「只要人告诉模型别真入侵，真入侵就归零」——和「rogue agent」叙事相反，100% 是责任方配错。Irregular 由 Omer Nevo（CTO）与 Dan Lahav（CEO）创办，首轮投资来自 Dustin Moskovitz 旗下 Good Ventures，运营实体 Pattern Labs Tech Inc.（特拉华）与 Pattern Tech Ltd.（以色列），后者不在美国管辖范围。
Jiga 在 Ashby 招远程/美国的 Product Engineer 岗位，链接里给出 jid 0b75d72d-c92b-4dca-8062-09d298ada0bd。Jiga 是 YC W21 批次的公司，Show HN 招聘帖正文页是 SPA，公开渠道只显示职位信息和申请表，没有可抓的静态文章内容；可确证信息只有岗位名（Product Engineer）、远程/美国、Ashby 申请 jid 和 YC W21 背景。招聘页本身只列职位信息和申请表，无任何静态文章可摘要。- 该帖无原文，通过周边搜索总结得出。
pizza-bot-app/pizza-bot 是 Amazon 出品的 Apache 2.0 项目，用 DeepAgents + LangGraph 做「长跑 AI 工作的收件箱」。工作流分两队列：完成的进 Unread，需要人决断的进 Action，可按文件夹组织而不影响全局。Checkpointed run 抗断连，cron 与 webhook 可脱机触发；Skills 变 subagent 出现在 Activity 面板。客户端跨 Electron、浏览器、终端 CLI，统一和 api-server 走 HTTP/SSE 通信。模型支持 Amazon Bedrock、Anthropic、Google Gemini、OpenAI、OpenRouter、Ollama。下载页提供 macOS（含 Intel / Apple Silicon 签名公证）、Windows、Linux（含 x64 / arm64）安装包，每版带 SHA256SUMS。
bkovac 把一个 $20 不到的 4G 移动热点（MF800，自带 WiFi/BT/电池/Android）装上 OpenStick Linux，再接上 Clicks 物理键盘（CH32V203 控制）和一块 Adafruit SHARP Memory Display，做出一台只能发短信的「现代黑莓」。MF800 默认 Android 可 adb 进 edl 重刷 Linux，关键引脚短路也能直进 edl；GC9107 屏「丑得没法用」直接砍掉，只留 SHARP 高对比度。Clicks 走的是带 Apple 私有 endpoint 的 USB HID，到这台机上就是普通键盘。为了塞进 Clicks 外壳，作者开了一块 4 层 PCB：TUSB320 做 USB host/device 切换、SN74LVC8T245 做电平转换、MCP1640 做 5V 升压、TPS22917 做 VBUS/VBAT 切换。整套开源在 bkovac/modem-thing。
Jo Sprague 与 Mozilla、Lincoln Loop 合作重做 Firefox.com：全站用现代原生 CSS，零预处理器。自定义属性从设计文件直接导出、不写 hack、所有现代浏览器一致呈现；为老浏览器留一份最小 brand stylesheet。设计系统 70+ 组件 + 25 个页面模板，落到 Wagtail 让内容团队免工程搭页面，目前支持 19 种语言。唯一例外是上线时用 PostCSS 仅做 @import 内联（避免某些浏览器原生 @import 的串行性能）。所写 CSS 仍是浏览器直接吃的纯 CSS，不靠 build 才合法。文末致敬 Nicole Sullivan、Rachel Andrew、Jen Simmons、Chris Coyier 等推动 CSS 系统化的人。
Cartesian by Formas 是一款面向建筑与产品设计的 AI 3D 建模工具，三步流程。先口述、勾画或拖入素材，AI 据此拼装模型并保持你指定的元素不变。输出每个部件都是独立实体（编辑一把椅子不会动房间），几何带面、边、体可检视测量。模型用 NURBS 等精确曲面而非 polygon mesh 近似，可直接进 SketchUp、Rhino 或任意 CAD，且保留命名与关系以便进 BIM 工作流。文末放出餐厅、店铺等可探索模型研究，并开放预览 waitlist。
BBC 9 月报道，美国空军部长 Troy Meink 在 Air, Space and Cyber Conference 上首次公开承认美军已在地球轨道部署一种「on orbit」武器。美方称是「对抗敌方行动的防御必需」，未透露具体技术或部署时间，但表态被解读为五角大楼为应对中俄反卫星能力、把「防御」从地面延伸至轨道的官方背书，触发新一轮太空军备竞赛担忧。1967 年条约已禁止在轨部署大规模杀伤性武器，但美俄中都在条约外探索卫星对抗能力；2024 年美国曾指俄方发射疑似反卫星卫星。专家推测可能包括电子战/射频干扰平台或动能反卫星武器，但物理摧毁会留大量碎片所以可能性较低。配图为 NASA 阿尔忒弥斯二号指挥官 Reid Wiseman 2026 年 4 月 2 日完成 translunar injection 后从 Orion 舷窗回望的地球照，用以隐喻「从太空看地球」的视角。
Works in Progress 第 25 期长文综述 1990 年代以来约 20 项「视觉偏好调查」。每项里 60%+ 的人偏好传统建筑，多份超过 85%，且与年龄、性别、阶层、国别几乎无关。方法从早期 1979 年 Metuchen 公听会，到 1987 年 Halpern 在剑桥对 12 栋建筑打分（建筑系学生偏好与其他人相反），再到 1998 年英国 Popular Housing Forum 调查：94% 购房者愿住传统房、92% 非购房者愿传统房建在自家附近。AI 编辑让「可控图片对」成本骤降，最近的研究在英、美、加、荷、葡、智利都给出类似结果。少数群体（男性、年轻人）对现代主义开放度略高，但所有人群都更偏好传统风格。
Matthew S. Smith 在 IEEE Spectrum 长文指出 2026 年 AI 重心从训练转向推理。Matt Kimball（Moor Insights & Strategy）原话「训练已是昨日新闻，所有 CIO 只想谈推理」，Nvidia 黄仁勋在 GTC 2026 也喊出「推理的拐点」。OpenAI GPT-3 的 MMLU 正确率从 43.9%（2020）跳到 GPT-4o 的 88.7%（2024），而 reasoning 模型每次 query 内部跑多次推理、chain-of-thought 让输出可放大 20 倍，agentic AI 更是 7x24 在跑。Nvidia 2025 年底以 US$20 billion（200 亿美元）从 Groq 抢人买 IP，3 个月后发布 Groq 3 LPU（500MB 片上 SRAM，号称 7x GPU 内存带宽），与 Rubin GPU 拼成 Rubin+LPU 双芯片。AWS 把 Trainium 拆给 prefill，把 Cerebras 4 万亿晶体管的 WSE-3（44GB SRAM）留给 decode。OpenAI 用 WSE-3 跑 GPT-5.3-Codex-Spark 拿到 1000+ tokens/s，标准 GPT-5.4 仅 50-125 tokens/s。Anthropic 月付 SpaceXAI 超 $10 亿租算力；HBM4 由 SK Hynix 量产，将上 Vera Rubin GPU；d-Matrix Raptor 用「逻辑 die 堆在 DRAM 上」，Majestic Labs 用自研铜互联支持单服务器 128 TB DRAM（vs Nvidia GB300 NVL72 的约 20 TB HBM3E）。
Lex 戴 Oura Ring 一年后决定放弃。核心问题有四：手指会因体温、进食、锻炼、海拔甚至减重而变粗细，所有金属摩擦动作都得摘下，洗手淋浴洗碗都被迫摘戴、频繁摩擦让外壳刮花水汽积聚，最后实际体验是「为了追踪得自己配合」。他从 94 kg 减到 80 kg，戒指从 13 号掉到 11 号，必须再买一次 sizing kit 换新。换机仅两周又坏，Oura 退了钱。Lex 准备试 Google Fitbit Air，并把自建 OpenClaw 切到 Google Health API，目前还没 Fitbit Sleep Score 与 readiness 暴露。
Bruce Schneier 与 EFF 主席 Cindy Cohn 在 Lawfare 撰文，主旨是 9/11 25 周年是时候整体重审美国大规模监控体系。核心观点：监控已成互联网商业模式，NSA 借电信/互联网公司、FBI 直接向数据经纪商买美国人信息。ICE、Flock、Vigilant、麦迪逊广场花园人脸识别已经把监控从国家安全延伸到日常执法与私域。论据覆盖历史——总统监控项目、Section 215 批量电话记录、Upstream、FISA 702 直至 2026 年到期但内容仍延至 2027 春。宪法成本上，第四修正案、第三方原则、第三人豁免都被逐渐掏空。白宫 2026 反恐战略第 7 页明文要将外国目标的工具转向国内「反美、反跨、激进无政府」群体。提议路径：要求大规模监控的采集、访问、使用均需 warrant，包括元数据与私营实体数据；推动《第四修正案不可买卖法案》；延续 702 过期；为大规模数据收集者设 fiduciary duty 并禁止 secondary use。