2026年9月19日 · 星期六 卡片列表

今日速览

2026年9月19日 · 星期六

  • Agent 工具链与信任:Claude Code 在无 CLAUDE.md 时改读 AGENTS.md;智谱 ZCode 被扒出登录后静默打包工作区与完整 Git 史上传阿里云 OSS,社区逼出致歉与开源。
  • 本地决策两条线:OpenJev 在浏览器用 WebGPU 对比「直接读选项 logits」与「生成 JSON」;Cactus Needle 3 用 8–29MB 二进制做手机/家居工具调用,宣传对标 DeepSeek V4 Flash。
  • 手艺与规模:tptacek 给 LLM 写作定两条铁律(不取它的词、不接受它鼓励);Cloudflare 用数学再抠出逾 100TB RAM,Quick Tunnels 落地页强调给 coding agent 的 JSON 输出。
  • 模型进芯片:IEEE Spectrum 写 OpenAI 用自家 LLM 加速 Jalapeño 设计(约百人团队、Broadcom 做物理实现);Cache-to-Cache 论文继续讨论模型间不经文本传 KV。
  • 平台与硬件旁线:GrapheneOS 指 Android 17 QPR1 自 3.x 以来首次加新 API 却不进 AOSP;Ledger Donjon 用光子发射引导激光故障注入打开 RP2350 Secure Debug。
1 / 25必读🔥 496 · 💬 181

Claude Code 无 CLAUDE.md 时改读 AGENTS.md

Changelog 2.1.277:项目没有 CLAUDE.md 就读 AGENTS.md;可在 /config 的 Project instructions 改,尚未上 Bedrock/Vertex/Foundry。

代理指令文件终于开始像 USB‑C:默认互通比各自发明方言重要。

要点

  • 官方说明:无 CLAUDE.md 时改读 AGENTS.md;配置入口在 Project instructions,云托管通道尚未跟上。
  • HN:有人让 Claude 照现有项目搭脚手架,它主动写了 AGENTS.md 并对 CLAUDE.md 做符号链接。
2 / 25必读🔥 251 · 💬 90

ZCode 被指静默上传完整 Git 工作区

逆向还原:登录后把含完整 .git 史的工作区打包装加密包上传阿里云 OSS;解密私钥只在云端,本机密文自己也解不开。

编码代理默认「帮你备份」时,备份对象往往是你的全部知识产权。

要点

  • 作者清理磁盘发现 ~/.zcode 逾 700MB;checkpoint 里有数百 MB 的 .enc,元数据写明 workspace 路径与压缩前后体积。
  • 流程:asar 里拼出打包→服务端下发 RSA 公钥加密→直传 OSS;客户端与用户均无私钥。
3 / 25必读🔥 381 · 💬 265

怎么用 LLM 写作:两条铁律

tptacek:绝不采用它建议的词,绝不接受它的鼓励;把可核对的脏活交给它。

LLM 适合当校对与事实核对员,不适合当代笔——代笔痕迹读者一眼能认。

要点

  • 核心规则:不取模型给的用词;不吃它的「写得真好」;让它做重复劳动与可自检的检查。
  • 作者强调要的是「这段用词是否过度重复」这类可核验信号,不是风格润色。
4 / 25必读🔥 550 · 💬 245

OpenJev:浏览器里对比 logits 与 JSON 生成

本地 WebGPU 跑开源小模型:一条直接读你给定选项的概率,一条让模型把分布写成 JSON,测量差距。

结构化决策若能跳过「先生成再解析」,延迟与可约束性都会好看一截。

要点

  • 页面提供 MiniCPM5 2B 等本地权重;权重进浏览器缓存,输入声称不离页。
  • 对照:Direct = 只对展示选项做 softmax;Generation = 让模型用 JSON 写出同一分布。
5 / 25必读🔥 162 · 💬 76

Cactus Needle 3:8–29MB 自动化小模型

Show HN:面向手机、穿戴、家居与 MCU 的工具调用基础模型;宣传在移动工具调用上打赢大十倍模型。

端侧自动化拼的是工具定义与触发器,不是再堆一个通用聊天参数量。

要点

  • 体积约 8–29MB;站点称微调后可从若干层起「通过」DeepSeek V4 Flash 级自动化评测。
  • HN 实测:直说「开关灯」还行;「I need a wee」「sleepy time」等会误触发音乐或吸尘。
6 / 25必读🔥 44 · 💬 43

OpenAI 用自家模型助设计 Jalapeño 芯片

IEEE Spectrum:首款自研加速卡宣称约 13.4 PFLOPS(4‑bit)、232GB HBM4;设计流程深度嵌入内部 LLM。

芯片设计正在变成「百人团队 + 模型超能力」——垂直整合比单纯流片故事更狠。

要点

  • Jalapeño:计算裸片 + 六叠 HBM4 + I/O chiplet;带宽宣传约 15.4 TB/s。
  • 分工:OpenAI 做端到端系统/加速器/存储层次/网络;Broadcom 从门级起做物理实现。
7 / 25必读🔥 554 · 💬 241

Cloudflare Quick Tunnels:一行命令暴露本地服务

try.cloudflare.com:无需账号与开端口,cloudflared 出站连边缘,拿到加密公网 URL;新页强调给 coding agent 的 JSON 输出。

本地 demo 与 agent 联调需要的是「临时公网」,不是再配一套 DNS。

要点

  • 机制:仅出站连接就近边缘;流量经 CF 网络回本机,带 TLS 与 DDoS 过滤。
  • HN 老兵指出匿名 Quick Tunnel 已存在五年以上——这次更像新落地页 + agent 友好输出。
8 / 25必读🔥 212 · 💬 40

Cloudflare:数学再省下约 100TB 内存

Pingora 后端路由里 consistent hashing(pingora-ketama)吃内存过多;改算法后全球再回收逾 100TB RAM。

规模大到一定程度,改一个哈希结构就是在买机架。

要点

  • 缘起:Performance 工单指 Pingora Backend Router 在 ketama 相关结构上内存异常。
  • 用途:按 URL 做一致性哈希,使缓存对象在机房内定位稳定、副本可控。
9 / 25扫读🔥 493 · 💬 232

Android 17 新 API 未进 AOSP,Pixel 独占

GrapheneOS:自 Honeycomb 3.x 以来首次出现面向开发者的新 API 不随 AOSP 发布,目前仅 Pixel OS。

开源许可还在,不等于平台演进路径对第三方 ROM 友好。

要点

  • 指控对象是 Android 17 QPR1:新 API 进 Pixel,未进 AOSP,其他 OEM 也拿不到。
  • 讨论厘清:Google 对 OEM 与对公众的源码节奏本就不完全同步;这次是「公开 API 差分」层面的信号。
10 / 25扫读🔥 24 · 💬 3

破译 1542 年法尔内塞密信

从罗马寄往查理五世宫廷的数字密文;作者恢复密钥与明文,展示上下文建模式分析。

历史密码学是「有损压缩的逆向」——先建语言模型,再搜密钥。

要点

  • 信件:Cardinal Alessandro Farnese 致 Giovanni Poggio,1542 年 4 月。
  • 档案照片来自梵蒂冈相关 DECODE 记录;意大利文写到一半切成数字。
11 / 25扫读🔥 111 · 💬 65

Xcode 27.1 Beta:为 iPhone Duo 铺路

发布说明更新模拟器与 API;讨论焦点是折叠/双屏形态下现有 App 会有多难看。

新形态硬件的真实瓶颈,往往是应用适配窗口,不是不锈钢质感。

要点

  • Beta 带来面向新机形态的工具链更新;苹果还带了 UIKit 现代化相关 skill。
  • 开发者预期:距用户上手只有约一个多月时,大量 App 会显得破。
12 / 25扫读🔥 66 · 💬 12

Cache-to-Cache:模型间直接传 KV 语义

2025 论文:用网络把源模型 KV‑Cache 投影融合进目标模型,避免文本中介的信息损失与逐 token 延迟。

多模型协作若继续只传字符串,等于每次都把内部状态拍成有损压缩包。

要点

  • 动机:文本通信丢失丰富内部语义,且 generaton 延迟高。
  • 方法:C2C 投影+融合 KV,可学习门控选择受益层。
13 / 25扫读🔥 148 · 💬 52

激光故障注入打开 RP2350 Secure Debug

Ledger Donjon:光子发射显微定位调试使能寄存器,再激光脉冲置位,恢复 RP2350 A4 的 Secure debug。

芯片「安全」默认要假设对手有探针与光学实验室,不只是软件漏洞。

要点

  • 方法:差分光子发射缩小搜索区,再在 SWD 引导下对两点注入,置位所需两比特。
  • 设备叙事:发现级实验室约数十万美元;有人估家庭复现可压到约 1–2.5 万美元量级。
14 / 25扫读🔥 161 · 💬 51

百年首个新猫种:玻利维亚 tilcayo

国家地理:小型斑点虎猫 Leopardus tilcayo;当地人早有叫法,科学描述刚刚追上。

野外还有未入名录的物种——发现速度取决于分类学,不只取决于相机。

要点

  • 物种:Leopardus tilcayo(tilcayo tiger cat),体型很小。
  • 命名故事:当地人称 tilcayo,承自祖父辈叫法。
15 / 25扫读🔥 21 · 💬 4

Column 自研发卡处理系统

自称发行行 + issuer processor + 资金一体:信用卡/借记/预付/稳定币支持卡,直连 Visa/Mastercard。

金融 API 创业的深水区是牌照与核心账本,不是再包一层中间件。

要点

  • 定位:一次接入覆盖多种卡计划,无第三方处理中间层。
  • 工程师称跑在自建 banking core 上,与账本、支付轨道同一核心;OCC 牌照银行。
16 / 25扫读🔥 27 · 💬 14

理解 C# 里的圈复杂度

NDepend 博客:CC = 1 + 分支构造数;分数越高越难读、测、改。

度量有用,但发明于多态普及前——别把它当成唯一真理。

要点

  • 具体计入 if/while/for/case/&&/||/?:/?? 等。
  • 批评:多态与高阶抽象的路径未必被 CC 看见。
17 / 25扫读🔥 103 · 💬 53

脑的前后或来自两套神经外胚层祖细胞

New Scientist 转述斯坦福工作:胚胎中两套并行祖细胞分别贡献脑的前部与后部。

「一个脑」可能是两套古老系统的拼装——演化叙事要听原论文措辞。

要点

  • 研究称首次展示脑前部与后部来自不同祖细胞。
  • 科普标题写成「两套原始神经系统合并」;评论指出措辞被媒体放大。
18 / 25扫读🔥 146 · 💬 195

C++26:平凡死循环不再是未定义行为

空的 while(true); 过去可被优化掉;C++26 起平凡空循环有前进语义,实现上可插入 yield。

语言用「插入系统调用」换来可定义的自旋——有人叫进步,有人叫惊吓。

要点

  • C++26 前无副作用的平凡无限循环是 UB,Clang 等可整段删掉并让后续「不可达」代码跑起来。
  • 新规则:平凡空迭代语句获得前进语义;两条件满足时循环体可换成 std::this_thread::yield()。
19 / 25扫读🔥 49 · 💬 18

「语言不可读性」对 LLM 安全意味着什么

James Mickens:模型对外语言与探针特征未必等于内部计算;依赖语言自报的安全机制不可能完全可靠。

沙箱隔离必须能在「不相信模型怎么说」的前提下仍然成立。

要点

  • 术语 linguistic illegibility:外化或探针得到的语言产物无法代表真实想法。
  • 论证:内部是激活空间上的数学,语言只是有损翻译。
20 / 25扫读🔥 177 · 💬 169

Minimal Phone 2:又一台「少即是多」手机

Minimal 公司新机叙事:去掉多余,强调数字生活克制;评论区迅速变成功能许愿池。

「功能机」难卖,是因为每个人的最小集合都不一样。

要点

  • 官方页主打简约与克制体验;细节规格讨论多在 HN 线程。
  • 典型抱怨:仍是阉割 Android;要开 bootloader、要更多 LTE 频段、要实体键位置……清单互相打架。
21 / 25扫读🔥 100 · 💬 22

《Warez》:盗版场景的基础设施与美学

2021 书:公共 BT 之外,还有层级分明的精英分发网络;Archive.org 可借阅,作者授权 EPUB 在 GitHub。

地下分发也是一套有品味与纪律的分布式系统。

要点

  • 书名 Warez: The Infrastructure and Aesthetics of Piracy。
  • HN 怀旧:调制解调器升级路径几乎由 warez 驱动;匿名 FTP drop 传说。
22 / 25扫读🔥 157 · 💬 32

SpaceX 如何把 Raptor 做简单

Construction Physics:从著名的三代 Raptor 照片讲起,拆零件删除与工艺收敛如何换来可制造性。

性能到了平台期,删零件与删工序才是下一层竞争力。

要点

  • 叙事核心:质疑每个零件与工序是否必须存在,允许删过头再加回。
  • 仍有代价:Starship 试飞中引擎未能启动导致中止等,说明简化未完。
23 / 25扫读🔥 14 · 💬 3

Go 1.27:按尺寸特化的小对象分配

≤80 字节分配走专用函数,可快约 20–30%;分配密集程序整体约 1%。

运行时为热路径长专用入口,是老派也仍有效的性能办法。

要点

  • Go 1.27 对小分配加 size-specialized 函数,可做更强假设、更好内联。
  • 官方称单项分配最高约 20–30% 加速。
24 / 25扫读🔥 53 · 💬 16

用纯 Zig 重写搜索‑推理数据库

Antfly:创业早期把 Go 引擎换成 Zig;强调模型优先于嵌入、TigerBeetle 式仿真测试。

搜索基础设施若要扛 agent 负载,运行时与测试哲学得一起换,不只换语言。

要点

  • 重写动机:从第一性原理关心模型而非只堆 embedding;仿真测试抓正确性与故障。
  • 用户反馈:Zig 运行时在资源与恢复上强于旧 Go 版;有人拿来做本地文件搜索 agent。
25 / 25扫读🔥 208 · 💬 181

我用 vibe 搓出了 Conway 猜想的 Lean 证明

overreacted:业余数学爱好者花约一个月与大量 token,声称得到 Conway refinement conjecture 的 Lean 证明,待独立核验。

AI 数学的产品形态是「人扛问题选择与简化,模型扛搜索」,不是一键突破。

要点

  • 猜想关 omnific integers 的 refinement 性质;作者强调自己是 math noob。
  • 证明尚未经数学家独立验证;有 Leeds 的 Mantova 教授参与审看的讨论链接。

0 / 25