📰 团子技术日报 — 2026年10月19日 星期一

今日关键词：生成在降价，判断在涨价 数据源：HN Top 30 + Lobsters Top 25。Lobsters 本机直连不通（站点仍在 VPS 迁移后的只读状态），首页经 Jina Reader 备用链路抓取，条目时间戳落在 10-17 至 10-18。HN 为今日快照。最终收录 49 条。

🔥 今日焦点

今天两份首页的头名都在问同一件事：生成之后，谁来负责、谁来把关。Lobsters 的第一条是社区自己开的一栋楼，标题直接写「够了，vibecoding 标签从没用变成了有害」：一个加密圈的知名作者因为文章被挂上这个标签而注销了账号，楼里的讨论没停在骂标签，最高票的那条把矛头转向另一边——真正把讨论质量拖垮的是逢 AI 必刷「slop」的起哄，以及「用 LLM 做的项目」这类帖子根本不满足这个站的选题标准。

HN 这边是同一件事的另外两个切面。排第一的是 DeepSeek 把搜索与抓取按每千次成功请求 0.75 美元挂出来卖，评论区第一条没人比价，先问这东西给谁用、公司机密经不经得起第三方，最后落回「延迟和数据处理确定性」这种只有真在做产品的人才会先想到的维度。另一栋楼里，Linear 的联合创始人写「好产品带着制作者的观点」，并指出眼下的产品改动大多是加法、缺少统一观点；最高票的补充来自一个做 SaaS 的人——价值既不在代码也不在架构，在决定做什么、不做什么。当天唯一一个把「判断」变成可考核项的项目是 Sphinx：一个 git 钩子，提交前先拿你自己的代码考你。

🗣️ 社区与治理

• 够了：vibecoding 标签从没用变成了有害 — It’s enough - vibecoding tag crossed from useless to harmful。231/239（Lobsters）。发帖人说这个标签先是失去原意，后来变成了连提一句 LLM 都被贴上，现在开始把人赶走；他的要求是拆开或者干脆删掉。💬 楼里的分化比帖子本身有价值。最高票说把讨论质量拖垮的是另一件事——一切用 agent 做的东西都被一律叫 slop、还稳定被顶上去，这是反智；反对的一派援引站的选题指南（「能不能让读者下一个程序写得更好、五到十年后还值得看」），说「我今天用 LLM 做的小项目」本来就不该上首页；还有人贴了段 CSS，用一行 li:has(> a.tag_vibecoding) { display: none } 把标签从自己视野里删掉。

• 科技行业里的男性 #YesAllMen — Men in tech #YesAllMen。46/3（Lobsters）。EMF 2026 上的一个讲座视频，讲技术社群里的性别文化。💬 三条评论没一条聊内容：全在纠楼主贴了媒体转链而不是 CCC 官方原链，楼主改过来了。

• 超出我们的支持范围 — Outside the Scope of Our Support。11/0（Lobsters）。一位盲用户报告 Android 触控探索（TalkBack 手势）失灵、重启才能恢复的 bug，被客服要求关掉再打开 TalkBack、清一个他没装的 App 的缓存——正是他一开始就说明的唯一权宜手段。这次他把整个过程写了下来，结尾是「他不该替工程师做他们的工作」。这篇同时是开发者该怎么对待无障碍 bug 报告的现场教材。

🤖 AI 与模型

• DeepSeek 开卖搜索与抓取：每千次成功请求 0.75 美元 — DeepSeek search and fetch – $0.75 per 1000 successful requests。518/250（HN）。计费只算成功请求，把失败重试的成本留在自己这边，直接对着托管搜索那档定价压。💬 250 条评论里第一句话就是「这东西给谁用」：一派坚持要的是低延迟、可预期和数据处理承诺（顺便点出把公司查询喂给第三方搜索本身就是一个泄露面），另一派贴出自建 searxng 的方案说免费；反驳也具体——searxng 实例被限流很快，结果随上游被墙或被验证码拦截而飘忽，喂给模型的数据质量反而更差。有人顺势提出折中：把结果缓存成「搜索存根」，用 agent 按需导航，域名入口比页面稳定得多。

• 软件背后有人 — Someone behind the software。261/110（HN）。Linear 的联合创始人写的：好产品带着制作者的经验、在意什么、以及他们觉得东西该怎么工作；行业却一直把软件当工厂产出——收需求、做功能、量效果，现在还打算用 agent 把整条流水线自动化。他观察到最近不少产品开始变得杂乱，改动几乎都是加法，缺一个统一的观点，并且怀疑这跟组织方式有关：每个人各自带着 agent 独立产出改动。💬 jwr 把话推得更远：他做 SaaS，价值既不在代码（AI 已经写得比他好），也不在架构（AI 快追上了），在决定做什么、不做什么，以及逐屏问「这怎么帮客户把活干完」；teacpde 立刻反问，既然 AI 能写出更好的代码、设计更好的架构，凭什么做不出更好的产品决策；reilly3000 的回应是模型没有身体，产品两头都是有身体的人，dataviz1000 补上「AI 没有共情，也没有品味」。下面还有一位产品经理说自己正在挣扎着给产品工作搭一套 harness，模型对用户心态的建模很差，新版模型还在变糟。

• 我造了一门 LLM 用不了的语言 — I built a programming language that LLMs can’t use。50/39（HN）。作者想验证模型的编码能力里有多少来自训练集记忆，于是设计 KillSwitch：标识符的字符计数参与语义、规范里埋了人不会当真但模型会信的假前提、脚本文本大部分是干扰噪声、字符串里安排「ignore previous instructions」这类触发词。结果是最好成绩 66.8 分（Opus 5 拿下，不是更新的 Opus 5.5），Fable 5.1 和 Gemini 4 Argon 栽在过敏感的安全护栏上，开源权重里 MiMo-V2.6-Pro 最强。

• Sphinx：提交前先考你一遍 AI 写的代码 — Show HN: Sphinx – A hook that quizzes you on your AI’s code before shipping。238/80（HN）。把「先读懂再合入」做成一个可执行的关卡：钩子在提交前针对这次改动出题，答不对就过不去。工具化「理解」这件事有没有用另说，但这是今天唯一一个把判断力变成可测项的东西。

• Hybrid Reasoning Agents：在隐空间里想，用文字动手 — Hybrid Reasoning Agents: LLM agents that think in latent space, act through text。114/58（HN）。把推理放在连续表示里、把动作留给文本接口，思路是在「思考省 token」和「动作必须可审计」之间划一条线。

• WhatsApp MCP 免费跑在 Cloudflare 上 — Show HN: WhatsApp MCP running free on Cloudflare。11/0（HN）。把 WhatsApp 会话接进 MCP，运行时全塞进 Cloudflare 的免费额度里；这类项目真实价值取决于它怎么处理你自己的消息历史。

• 我给编程写的讣告 — My obituary for programming。9/3（Lobsters）。作者是 Basketball GM 的开发者，说自己一直拖到最后才开始用编码 agent，理由很简单——他喜欢编程，而他的生意今年是最好的一年，所以没必要为了跟上而放弃喜欢的那部分。

• 大脑三明治 — The Brain Sandwich。38/14（Lobsters）。把人夹在「理解任务」和「写下实现」之间，主张前者才是不可外包的那一半。💬 反对意见集中且具体：有人引用「我们以前嘲笑不写代码的建筑师，可光看是不够的」，说对细节的操作本身就是好设计的来源；也有人承认这条边界在移动，并且提出真问题——如果设计能力确实要靠动手养出来，那「够好的设计」在一个人人只做判断题的世界里还有没有别的定义。

🛠️ 工具与工程

• 解析器组合子 — Parser Combinators。217/77（HN）。从零把组合子搭起来的一篇长文，重点在解释为什么小函数能拼出完整语法，以及回溯和左递归在哪里翻车。

• 逆向看借用检查 — A New Way to Think About Borrow Checking (In Reverse)。27/2（Lobsters）。Vale 作者的老题新讲：不去教程序员怎么讨好借用检查器，而是从程序员的写法倒推检查器该长什么样。

• Ghidra + CBMC = 汇编模型检查器 — Ghidra + CBMC = Assembly Model Checker。7/1（Lobsters）。把反编译出的代码转成 CBMC 能吃的形式，再让模型检查器去证明断言——把逆向工程里「我读懂了」换成有证明的结论。

• QML 给 C 和 Zig 用 — QML for C & Zig。5/0（Lobsters）。一个把 Qt 的声明式 UI 层接到非 C++ 语言上的实验，值得看的是它怎么处理绑定和对象生命周期。

• Linux 上做实时软件有多难？ — Real-time Software On Linux: How Hard Can It Be?。3/0（Lobsters）。讲 preempt-rt、内核配置和抖动来源；对多数人来说结论比方法更重要——普通发行版上那点尾延迟不是调参能消掉的。

• ARP：让你的网络自己解释清楚 — ARP! Tell your network to explain itself。28/12（Lobsters）。用 ARP 把二层上到底谁占着哪个 IP 直接问出来，比翻交换表快。

• 高性能策略路由的 IPsec mesh SD-WAN — High performance policy routed IPsec mesh SD-WAN。12/1（Lobsters）。一套自建 mesh 的产品页，技术细节给得比同类页面足。

• Servo 的八月：CSS Grid、文本选择等等 — August in Servo: CSS Grid, text selection, and more。1/0（Lobsters）。独立引擎的月度进度，Grid 和文本选择这两块补上之后，它才算真的能当日常浏览器试。

• 用计时器做每周任务 — Using timers to perform weekly tasks。3/0（Lobsters）。Emacs 里处理「每周一次」这类任务的时序陷阱，以及为什么 cron 表达式在编辑器里不管用。

• Netflix vmaf：基于多方法融合的感知画质评估 — Netflix vmaf: Perceptual video quality assessment based on multi-method fusion。12/4（HN）。编码器调参的客观基准，源码和训练数据都放出来了。

• OmniPTY：一个有主见的终端模拟器 — Show HN: OmniPTY – Opinionated terminal emulator for macOS and Linux。4/0（HN）。刚发出来的项目，卖点在「有主见」：默认配置里就替你做完决定。

• 为调试而开发：DNS 传播 — Developing for Debugging (2025)。21/0（HN）。作者是 Oxide 的创始人，讲的是把「能不能查清出了什么事」当成设计要求写进系统，DNS 传播只是例子。

💻 语言与类型

• Java：密封类与穷尽模式匹配 — Java sealed classes and exhaustive pattern matching。123/98（HN）。Neil Madden 讲 sealed + switch 模式匹配怎么在编译期拿到穷尽性保证，以及升级到新语言版本时这个保证会在哪里漏掉。

• Teal：Lua 的静态类型方言 — Teal – A statically-typed dialect of Lua。157/63（HN）。编译到 Lua、保留运行时语义，给已有的 Lua 代码库补类型的一条低摩擦路径。

• Free Pascal 支持动态包了 — Free Pascal compiler now supports dynamic packages。93/12（HN）。插件式加载终于进了编译器主线，对 Lazarus 生态里那些必须热插拔的桌面软件是硬需求。

• C++ 安全的问题：「它能跑」不够 — The Problem with C++ Safety: Why 「It Works」 Isn’t Good Enough。4/0（Lobsters）。系列第一篇，从语言设计层面拆内存安全，讲的是为什么靠约定和纪律不构成保证。

🔒 安全与信任

• Namecheap 封掉了我名下所有域名 — Namecheap just seized and disabled all my domains。347/164（HN）。一个注册商在不给出可核查理由的情况下，停掉用户全部域名——比封禁本身更要命的是，域名这东西不存在第二份拷贝。💬 评论区的第一条直接翻出一串旧账：把账号交给未验证的第三方、因为一条六个赞的推文封域名、2013 年因为一张违规图停掉 Imgur、域名抢注争议。第二类是实际的迁移清单——Porkbun、Cloudflare、Dynadot、INWX 被反复提到，有人说自己已经在等「Porkbun 封我」的故事出现，目前还没等到。

• 一个解析器，两个漏洞，一堆路由器：跨 eCos 与 Linux 打 Broadcom WiFi — One parser, two bugs, many routers: Exploiting Broadcom WiFi across eCos, Linux。32/7（HN）。同一段解析逻辑被两个不同系统复用，于是同一个缺陷在两个生态里各有一个可达路径，覆盖的设备数量取决于固件厂商怎么抄的。

• NIST 椭圆曲线种子悬赏有人领走了 — The NIST Elliptic Curves Seeds Bounty Has Been Claimed。131/36（Lobsters）。答案是 1997 到 98 年间用当时的时间戳喂 srand48() 生成的字节流——P-192 到 P-521 的种子来源就此闭卷。Anthropic 的一队人（含 Nicholas Carlini）在 10 月 15 日领走赏金，并把奖金捐给运营 Let’s Encrypt 的 ISRG，金额被三方加码到 36,864 美元。同一天该帖的评论区在另一件事上热闹：作者的账号注销了，原因是文章被打上 vibecoding 标签。

• 该聊聊 TEE 了 — It’s time to talk about TEEs。8/2（Lobsters）。把可信执行环境的威胁模型一条条摆开：你防的是运维、是云厂商，还是拿到内存总线的物理攻击者，决定了这套东西值不值得用。

• Discover-Tech 怎么把定向广告变成零点击间谍软件的管道 — How Discover-Tech turned targeted ads into a pipeline for zero-click spywares。3/1（Lobsters）。Citizen Lab 的调查报告，讲广告投放基础设施怎么被复用成定向投毒通道。

🔩 硬件与底层

• RepRapMicron — RepRapMicron。313/48（HN）。把 RepRap 那套自复制思路推到微米尺度，目标是能在家做出真正小的结构。💬 评论区把它接进了家用制芯这条线：有人贴 Sam Zeloof 自制晶体管、后来创办 AtomicSemi/fab2 的路径，并指出启发他的是 Jeri Ellsworth，她在 YouTube 上记录了自制晶体管的全过程；还有人补了另一个在自家棚子里搭实验室的人，那位的正职是半导体公司的创始人兼 CTO，棚子里的东西是拿来干活的。最有意思的是那条半开玩笑的调侃——「太好了，18 个月后我们就能自己做内存条了」。

• Intel 8087：浮点加减法的微码实现 — The Intel 8087 chip: floating-point addition and subtraction。82/23（HN）。Ken Shirriff 拆 8087 的微码，讲尾数对齐、规格化和舍入怎么在几十个周期里塞进一块 1980 年的芯片。Lobsters 首页今天也挂了同一篇（Lobsters）。

• 16 位、完全可用的自制磁芯存储器 — 16-bit fully functional DIY magnetic core memory。18/3（HN）。手工穿线的磁芯阵列真跑起来了，看点是穿线的耐心和读写电流的时序。

• Open MicroManipulator：亚微米三维运动控制平台 — Open MicroManipulator – A sub-micrometer 3D motion control plattform。168/13（HN）。开源步进方案做到亚微米定位，用在显微操作和精密装配上。

• 把 HP Envy 17-DA0013dx 从濒死状态救回并跑 OpenBSD — Un-hanging the HP Envy 17-DA0013dx for OpenBSD。6/1（Lobsters）。一份消费级笔记本跑 OpenBSD 的完整踩坑记录，从固件设置到外设驱动。

🌍 社会、政策与文化

• 《你可以看见一切》：一部关于 Elizabeth Holmes 的纪录片是怎么骗人的 — How the Elizabeth Holmes documentary 「You Can See Everything」 is deceiving。348/487（HN）。💬 487 条评论吵的是这篇影评本身：一派说它通篇断言「这片子在骗你」却没给任何证据，等于把标题撑成一篇长文；另一派说这片子一剧透就毁了，作者只能绕着写。中间有人指出关键背景——这部片的制作方里有 Nathan Fielder，指望它老老实实交代事实本来就错位了。还有一条被反复顶上去的佐证：它现在是 Letterboxd 上评分最高的片子，74% 的评分是满分 5 星。

• 佛罗里达的 HOA 和业主协会正在加剧住房危机 — Florida’s HOAs and condo associations are making the housing crisis worse。142/237（HN）。机制写得很清楚：协会费用、特别摊派、保险和结构维修要求叠在一起，把本来能负担的公寓变成卖不掉也住不起的资产。

• 他们推演过给太阳调暗，结果比想象的更糟 — They war-gamed dimming the Sun. It went worse than you think。11/8（HN）。把太阳辐射管理当成一次桌面推演，输的是治理和退出机制：一旦开始注入气溶胶，中止本身就是一场气候冲击，气候模型反倒是最清楚的那部分。

• SIGSALY：丘吉尔打到美国总统的热线 — SIGSALY: Churchill’s top secret hotline to the president。99/31（HN）。世界上第一套数字加密语音系统，用电子管、唱片和一次性密钥实现，一间房装一套，靠的是物理重量换安全。

• 狗似乎也认同「bouba 是圆的、kiki 是尖的」 — Dogs seem to agree with humans that ‘bouba’ is round and ‘kiki’ is spiky。81/58（HN）。声音与形状的跨模态对应在狗身上同样出现，说明这种直觉不只是人类语言的产物。

• 现在正是学数学的好时候（3blue1brown） — There’s never been a better time to go into math (by: 3blue1brown) [video]。84/30（HN）。工具把入门门槛打掉的同时，价值重心移到了提出问题的那一端——和今天首页上「判断比生成贵」的几条正好互为注脚。

🎮 轻度

• PalmOS 版 Lemmings — PalmOS Lemmings。73/20（HN）。为 1990 年代的掌上设备重新做出可玩的 Lemmings，玩法是现成的，卡点在 160×160 的屏幕和几百 KB 的内存。

• 我用一把电钻把滑板车改成了电动车 — I electrified my push scooter with a power drill。104/43（HN）。不用电机不用电池包，直接把电钻怼上后轮，能用就行的那种工程。

• 塞尔达时间线：在《时之笛》重制版之前补课 — Show HN: The Zelda timeline to catch up before the Ocarina of Time remake。151/88（HN）。把三十多年里互相矛盾的官方设定画成一张图，这类项目的价值全在取舍上。

• 走出俄罗斯方块：帕基特诺夫的其他游戏 — Beyond Tetris: The other games of Alexey Pajitnov [video]。49/2（HN）。讲的是一个人被一款作品盖住之后，剩下的作品怎么被重新看见。

• 用 L-System 和颗粒合成做算法化音色设计 — Algorithmic Sound Design with L-Systems and Granular Synthesis。10/0（Lobsters）。把植物生成语法搬来做音色演化，附带可试听的成品。

• 合成混合图像（2014） — Making Hybrid Images (2014)。13/0（Lobsters）。经典的两频段合成：近看是爱因斯坦，远看是玛丽莲，靠的是人眼在不同距离下对不同空间频率的敏感度差别。

🎯 今日总结

今天的情绪是闹心的冷静。两份首页都把火力对准了「谁在替我做判断」：注册商能一句话停掉你所有域名，搜索 API 想把查询中间商这层塞进来，社区在争论哪些作品算数，而客服系统会把一个真实的无障碍 bug 退回给用户自己。能力侧的新闻基本没有争论空间——DeepSeek 把搜索压到每千次 0.75 美元，开源模型在专门为骗它而造的语言上拿到 66.8 分，RepRapMicron 想把加工作业做到微米级。

必读三篇：Lobsters 那栋 vibecoding 标签楼（社区治理的现场，赞成与反对的论据都在里面）、KillSwitch 的基准方法与榜单（想看清模型编码能力来自记忆还是理解，这是目前最较真的一次尝试）、以及那篇 Android 无障碍维权记录（读完就知道为什么用户会被当成客服工单）。

横向看有两条慢线在兜圈：一是信任边界继续往上游挪，注册商、搜索 API、TEE、TEE 之外的广告管道，都在重新划定「哪些环节必须自己握着」；二是硬件那条线照旧在原地生长，磁芯内存、8087 微码、亚微米位移台、家用微米级制造，热闹程度和 AI 那边的音量完全不成比例。