卡片列表 ‹ 10-18 10-20 › 下载 EPUB

Layer 1

今日速览

必读

8 则 · 热度 × 产品相关
1

DeepSeek 上线搜索/抓取 API:每千次 $0.75

官方自研搜索引擎支撑的 Search + Fetch 两个裸 JSON 接口,按「成功请求」计费,失败/空结果/超时不收钱。

喂给 agent 的「看网页」能力正在被明码标价——$0.75 把搜索成本压到 Kagi 的十六分之一,选型要连同延迟、泄密面和计费口径一起算。

事实

  • 两个接口:Search(自研搜索引擎,返回结构化结果,可选带正文)与 Fetch(取单页、返回 Markdown),同 DeepSeek API 的 bearer 鉴权。
  • 定价都是每 1000 次成功请求 $0.75;失败、空搜索结果、超时不计费,count 只控制返回条数、不影响单价。
  • 重要时间点:经 DeepSeek Harness / Claude Code / Codex 的服务端工具调用目前免费,11 月 1 日(北京时间 00:00)起按次计费。
  • 热度很高:本榜约 544 分 / 257 评;查询语法支持 site:、lang:、排除词等操作符。

解读

  • 对产品:给 agent 接「实时网页」时,把搜索/抓取当成一条有单价的依赖来建模——按成功请求计费意味着重试策略直接影响账单。
  • 评论给出对照价:Brave $5、Kagi $12、Ceramic.ai $0.25/千次;单看价格不够,要测语义召回质量(Exa 之类主打高信噪比)。
  • 企业更在意的是延迟稳定、数据处理合规(搜索查询是公司机密的泄露口),这往往压过「自建 SearXNG 免费」的省钱动机。

讨论

  • 正方有人说这类托管搜索对企业就是刚需:要可控延迟、不被限流、不把查询内容泄给第三方,自建 SearXNG 很快就被 captcha 和限速拖垮。
  • 反方自建派反驳:个人用 SearXNG / oh-my-pi 抓取完全够用且免费,没必要为 API 付费。
  • 共识这些付费搜索 API 之所以存在,本质是 Google 不肯提供付费搜索接口留下的空当。
  • 有人预测 SEO + agent 搜索会让搜索 API 价格走向「负」——供应商倒贴你用,以换取对信息分发的影响力。
2

Namecheap 一封邮件、72 小时停掉用户全部域名

一位 sysadmin 发帖称收到一封邮件、72 小时终止通知后,名下所有域名被停用且面板里找不到申诉入口。

域名注册商是单点故障里最贵的一个——这事提醒你把注册商挑好、把域名分散、把 DNS 托在注册商之外。

事实

  • 原帖(r/sysadmin;Reddit 拒绝抓取,据二手转述):收到一封邮件、72 小时终止通知后,名下所有域名被停用,面板里找不到申诉入口。
  • 评论区大量「我也是」:有人因 48 小时内没回一封像钓鱼的邮件被停业务域名,恢复花了 6 小时;有 14 年老账户称一封可疑邮件后一周内被停。
  • 背景:Namecheap 2025 年被私募 CVC 以 15 亿美元收购,评论称今年 .com 已数次提价,且人工客服被 AI 替换。
  • 热度高:约 419 分 / 199 评;也有人提醒这只是 Reddit 匿名帖,需保留一分存疑。

解读

  • 对产品:把域名当关键基础设施——开启转移锁、跨注册商分散、DNS 托管独立于注册商、单独监控注册商联系邮箱。
  • 「便宜」在注册商这一层是假省钱:网站/邮件可以用廉价供应商,域名别省,出事时没人工客服就是灾难。
  • 私募收购后进入「榨取模式」是反复出现的信号;长期绑定前先查股权变更。

讨论

  • 正方大量用户现身说法,吐槽 Namecheap 的自动化合规一刀切、客服形同虚设,纷纷迁出。
  • 反方有人提醒这是匿名 Reddit 帖,单方说法、细节不全,别急着下定论。
  • 共识迁移目的地集中在 Porkbun(私人持有、口碑好)和 Cloudflare(按成本价、DNS 为主业)。
  • 延伸争论:Cloudflare 会改写你的 CAA 记录让多家 CA 能签证书,用它做 DNS 也要留神。
3

Linear 创始人:我想感到软件背后有人

Karri Saarinen 谈产品的「灵魂」:好产品带着做它的人的视角,而 agent 小作坊正在把它稀释成平均值。

当人人配一个 agent 各改各的,产品最大的风险不是做得慢,而是失去统一视角、变成一堆能用但彼此无关的功能。

事实

  • 核心论点:两个团队面对同样的客户和技术,做出的东西可以完全不同;差别在于怎么理解所见、以及用什么风格去做。
  • Linear 一贯重直觉而非流程/数据——直觉是经验沉淀出的观点,是逼你用判断、而不是躲在数据背后。
  • 他观察到很多成功公司的产品正变「乱」:改动多是加法而非重塑核心,像 Frankenstein 而不是雕塑。
  • 担忧来自组织方式:每人带 agent 独立产出,各自像一个小软件工厂,合起来就成了所有输出的平均。

解读

  • 对产品:一个功能单独看完全没问题,却可能让产品更糟——识别这一点需要先有「产品应该是什么」的信念。
  • AI 让「做出来」更容易了,正好把稀缺性转移到「有观点并坚持打磨到各部分彼此归属」。
  • 可操作的落点:明确不做什么、谁来拍板、拍板后是否贴着客户验证——这三件比加功能更决定产品性格。

讨论

  • 正方很多人共鸣「伟大的软件是有主见的」,价值在于它不做什么;AI 时代这条更重要而非更弱。
  • 正方有人说 AI 大多只能把事做到「技术上完成」,做到「对使用者产生持久价值」仍要人来定义和坚持。
  • 共识有人用 Claude Code 写代码,但功能取舍、界面和文案仍自己定——为具体用户做决定还交不出去。
  • 反方也有人说这和用不用 AI 无关——成品好坏取决于你要求的是最低可用还是长期愿景,雇一堆人也是同理。
  • 有人引《人月神话》里「构思—实现—交互」三阶段,强调产品在被使用时才算完成,正呼应「背后的人」。
4

HybridAgent:在隐空间里思考,用文本去行动

Together 等团队的论文:让 agent 在潜在空间高效推理、必要时切回文本调用工具,省 token、提速、降本。

把「想」放进隐空间、把「做」留在文本,是一条诱人的省钱提速路线,但也把推理链从可读变成需要额外解码——对齐和审计的代价别忽略。

事实

  • 架构:轻量 HybridLink 在文本模式与隐空间模式间切换,连续工作记忆跨轮保留无损上下文,保留工具调用能力的同时让隐思考「可被检视」。
  • 训练:HybridSFT 先稳住工具集成的混合生成,HybridRL 再学「何时隐空间思考、何时文本行动」。
  • 评测:3 种规模、11 个基准(数学/科学/医学/搜索/agent 推理),对比前沿 Agent 平均 +10.4%,token 省 35.5%–54.7%,推理快 1.8–2.6 倍,成本省 2.7–3.7 倍。
  • 代码、模型与数据已开源(togethercomputer,评论称骨干基于 Qwen3);本榜约 194 分 / 114 评。

解读

  • 对产品:隐空间推理的卖点是单位任务更省 token、更快更便宜,适合高频 agent 场景——但要自测可用性而非只看论文表。
  • 通俗讲「隐空间推理」:模型在内部用连续向量思考,而不是每步都吐成人话 token,再逼回文本只是为了调用工具。
  • 落地警惕:有人实测 14B 量化版在简单任务上陷入重复、吃满 turn 预算,说明工程成熟度还需打磨。

讨论

  • 正方有人觉得直觉上对:从速度和质量看,前沿模型很可能本就隐式这么工作。
  • 反方安全派担心这是「最被禁忌的技术」——隐空间思考链不可审计,可能藏东西、难对齐。
  • 共识退一步说,监控思考链本就不是唯一手段,直接监控行为或用辅助模型解码激活都是备选。
  • 有人追问能否把它推广到连接更「远」的系统,比如用模拟信号而非文本调用工具;也有人指出骨干其实是现成模型、并非本质不同。
5

3blue1brown:现在是进入数学最好的时代

Grant Sanderson 发视频谈数学的未来——在 AI 能证明、能提猜想、能建理论之后,人该怎么进入这一行。

当机器把「解难题」做得又快又好,数学的价值会从「证出来」向「问得好、讲得清、品味准」迁移——这对任何被 AI 逼着重新定义价值的职业都适用。

事实

  • 约 41 分钟,章节(据视频简介):数学学生的焦虑 → 数学如何运作 → 证明机 → 猜想机 → 理论机 → 如果 AI 样样更强 → 入行最好的时机。
  • 简介推荐 Proofs and Prompts 的「对 100 个解答的 100 条反应」,作为数学家当下情绪的样本;评论称他在片中强调「把数学讲清楚」本身也是这行可敬的硬活。
  • 背景呼应同榜另一条:OpenAI 近期一次放出 350+ 条数学结论(见 Terry Tao 一则)。
  • 本榜约 152 分 / 102 评。视频未逐字看完,以简介、章节与 HN 讨论为准。

解读

  • 对产品/职业:这是「认知劳动」被自动化后的通用处方——把省下的精力投向提问、品味与沟通,而不是比谁算得快。
  • 一个被反复点到的隐忧:manim 开源后,已经有人用 Claude 批量生成「类 3b1b」视频,教育内容的护城河也在变浅。
  • 教育效果有争议:有教师说推荐学生看《线代本质》确实考得更好,也有人反驳是「本就爱钻研的人」才会去看。

讨论

  • 正方不少人推崇其动画与选题,说正是这些视频把自己领进「LLM 到底在干嘛」的兔子洞。
  • 反方有人质疑这些视频只是「数学色情」、提不了考试分;也有人说一旦 AI 能自动出选题+脚本+动画+配音,他的位置也危险。
  • 共识能不能造出和 3b1b 一样「既吸引人又真讲明白」的视频,被当作某种 AGI 的试金石。
  • 有人回忆他当年说转做 YouTube 是因为比当数学家更有前途;也有人回应他本来就一直在数学教育这一行。
6

Java 密封类与穷尽匹配:别塞进公共 API

Neil Madden 梳理 sealed 类 + switch 穷尽检查的好处,以及跨模块时「漏分支只在运行期报错」的坑。

穷尽匹配在组件内部很香,可一旦把密封接口放进对外 API,加一个子类型就成了破坏性变更,还可能只在运行时炸。

事实

  • Java 17 的 sealed 可显式列出允许的子类型,配合 switch 做穷尽检查:覆盖全部分支就不必写 default。
  • 代价:给密封类型新增子类型会让未覆盖的消费者编译失败,属破坏性变更,按语义化版本要升主版本号。
  • 更隐蔽的坑:若消费者未随密封类型一起重新编译,新增分支不会编译报错,而是运行期抛 MatchException。
  • 作者是在评审 JDK 预览版「PEM 编码加密对象」时发现该模式——正把密封接口烤进公共 API。

解读

  • 对产品/库设计:密封类型留给组件内部(通常一起编译),享受穷尽检查与编译期安全;对外 API 慎用。
  • 把它当「代数数据类型」用很顺手,但 API 边界上的穷尽性是虚假保证——跨模块就退化成运行期风险。
  • 术语平讲:sealed 就是「我把这个接口的实现名单钉死」,编译器因此能替你检查 switch 有没有漏情况。

讨论

  • 正方有人说用过才懂:密封类型像很好的访问控制,配合依赖注入和 AI 生成代码尤其顺手。
  • 反方Kotlin/Scala 拥趸调侃 Java 一直在追赶,密封类、模式匹配早有更好语法。
  • 共识穷尽匹配本身受欢迎,分歧集中在「该不该暴露到库的公共 API」。
  • TypeScript 用户补充:不必用库,靠 never 收窄就能做穷尽检查;也有人展示 Java 已支持递归/字面量模式。
7

Terry Tao:我进入了「战时状态」

《纽约时报》报道菲尔兹奖得主陶哲轩——在 AI 高速推进数学之际,他几乎没时间做数学,成了这一行的非正式代言人。

当 OpenAI 一次倒出 350+ 条结论、把数学当成模型评测素材,这行的冲击不在资深教授,而在刚起步、以「解难题」为立身之本的年轻人。

事实

  • 陶哲轩自述「战时状态」:OpenAI 先宣称解了 Navier-Stokes(七大千禧难题之一),10 月 6 日又放出 350+ 条跨子领域结论。
  • 不少人正接近证出钻研多年的问题,瞬间被 AI 抢先;他说「已经没有规则了」。
  • 他本是连接慢节奏数学界与高速 AI 的桥梁,自 2023 年起把模型当助手;如今觉得被「用完即弃」。
  • 本榜约 77 分 / 111 评(评论多于点赞)。NYT 付费墙,正文据转载版本整理。

解读

  • 对产品/行业:这是「评测驱动」的典型反噬——模型团队为刷基准消费了一门学科,赢了榜单却烧掉了合作关系。
  • 资深者相对安全,冲击落在青年研究者身上;数学的招聘、晋升、训练都挂钩论文难度,机器更快时这套激励会被重估。
  • 评论区的好问题:AI 除了「采矿式」解题,有没有提出过它自己答不了、却说得清为何有趣的新问题?回复称至今没见到。

讨论

  • 正方有人同情:一觉醒来毕生钻研被「外星技术」解掉,意义感被抽空。
  • 反方也有人冷嘲「他们抢了你的饭碗」,调侃没有大 C 头衔的人很快也要进入战时状态。
  • 共识AI 辅助解题被普遍视为不可逆的未来,但没人知道新世界长什么样,深度不确定会持续数年。
  • 有人建议看 Numberphile 的原访谈,少一层 NYT 的叙事滤镜。
8

他造了一门「LLM 用不了的语言」KillSwitch

Dominik Picheta 设计了对 LLM 刻意为敌的深奥语言,用来测模型到底是「懂代码」还是「背片段」。

与其说这是防 AI 的语言,不如说是一把新尺子——它把模型拖出训练语料,逼它真去读规范、数字母、绕过被刻意触发的安全护栏。

事实

  • 设计目标:对人可用、对 LLM 尽量难;专门利用模型的弱点——数字母差、护栏过敏、太听话照做 prompt。
  • 几招:规范里埋「谎言」和需读者自行推断之处;靠标识符字符数做执行规则;用「忽略先前指令」「黑进电脑」等短语当语言构造去触发护栏。
  • 本质是栈式解释语言,字面量可放在脚本任意处、再用行号引用;大部分文本是干扰故事。
  • 排行榜(bench.killswitch-lang.org):Claude Opus 5 表现最好(非 5.5),最佳开放权重为 MiMo-V2.6-Pro,最高分约 66.8。

解读

  • 对产品:当成「抗背诵」的评测补充——它主要考「把语言从陷阱里剥离」的能力,不是真让模型完全不能用。
  • 作者自己承认任务偏简单(hello world、解释输出、改温标转换),模型能过不等于「理解」。
  • 一个实用观察:模型在该任务上的表现与其它主流基准相关,说明它至少不是纯噪声。

讨论

  • 正方有人觉得点子有趣,联想到 Darmok、Chef、Piet、Befunge 等深奥语言,欣赏这种对抗设计。
  • 反方也有人说「靠晦涩不是安全」:模型会写个 Python 脚本把它转成无陷阱的中间语言绕过去。
  • 共识真正难住模型的不是语法本身,而是「把语言从规范里的谎言和陷阱里分离」。
  • 有人提议更狠的玩法:把语法映射到被审查话题,让程序读起来像违禁指令——规范里确实埋了类似梗。

扫读

9

Eric Gullichsen 亲历回忆:Autodesk 确曾申请注册 cyberspace,而 Gibson 反过来注册人名是一场恶作剧谣言。

流传已久的「Autodesk 抢注 cyberspace、Gibson 报复抢注人名」,真相是一半史实、一半被不断转述放大的玩笑。

事实

  • 1989 年作者在 Autodesk VR 实验室(386+EyePhone+数据手套),公司确曾申请注册「cyberspace」商标。
  • Gibson 对此不满、让律师发函,Autodesk 基本无视;「Gibson 要抢注 Eric Gullichsen 作为报复」是 Timothy Leary 散布的恶作剧,后被 Barlow、Rucker 添油加醋成「史实」。
  • 1990 年巴塞罗那 Art Futura 两人相遇,Gibson 笑言「Autodesk 不是街头」(呼应其名言「街头自有其用法」)。
  • 本榜约 35 分 / 1 评。

解读

  • 对信息素养:一个被反复转述的「共识历史」可能从一句玩笑长出来——引用轶事前最好找当事人一手记述。
  • 延伸:相较之下「cyberpunk」在美国竟被成功注册商标,像把一个文学流派圈走。

讨论

  • 评论吐槽:「cyberpunk」能被注册成商标,好比给「太空歌剧」「黑色电影」注册商标一样荒唐。
  • 全帖仅这一条评论,价值主要在原文的一手回忆和附上的当年信件。
10

getlazarus.org 作者发布 FPC + Lazarus 的完整动态包支持,让插件化与热替换成为可能。

一个等了 20 多年的能力落地:秒装组件、运行时替换插件,让老牌 Pascal 生态补上动态加载这块短板。

事实

  • 动态包以各平台标准共享库实现,内含编译器生成的元数据,可用新 RTL 单元查询其内容。
  • 可秒装组件/控件/IDE 扩展而不重建整个 IDE;也可给自己的程序做可运行时替换的插件系统。
  • 限制:包内单元名不能与包同名(自动加 Package 后缀)、单元名需全局唯一、动态包比普通共享库更大(带内容映射),strip 掉元数据就不再是动态包。
  • RTL 新增 DynPkgTypes 单元,运行时能在包之间安全管理字符串/动态数组等动态类型与线程变量。本榜约 109 分 / 19 评。

解读

  • 对该生态:这是 FOSS 侧对标商业 Delphi 的务实补强,降低分发与扩展成本。
  • 注意这是 getlazarus.org 维护者的「抢跑」版本,并非官方 Lazarus;选用前分清上游。

讨论

  • 正方老用户祝贺,称 Pascal/Lazarus/Delphi 的开发循环手感好,有 FOSS 替代尤其可贵。
  • 有人澄清这是对 Lazarus 的一个 fork,官方在 lazarus-ide.org;维护者解释自己 13 年来做「抢先于正式发布」的特性。
  • 反方也有人质疑 Pascal 当下用量,怀念 80 年代学过、如今少见;但也有人说近 5 年仍给客户交付过产品。
11

VikOlliver 的 µRepRap 项目:只用常见易得材料,做到微米乃至亚微米级的定位与制造。

把「开源 3D 打印普及」那套搬到微米尺度——目标不只是打印小东西,而是让微结构也能像 RepRap 一样自我演化。

事实

  • 目标:用普通家庭作坊材料做到 1µm 甚至亚微米制造;精度最初借助 OpenFlexure 的 3D 打印显微平台。
  • 当前推荐的 PIKA V0.02 硬件:约 8mm 立方工作区内重复定位约 1µm、可靠精度 10µm,已沉积小至 4µm 的 UV 树脂滴、固化 9µm 树脂线。
  • 背景对照:Intel 4004 当年特征尺寸 10µm;项目想把微电子/MEMS 的制造门槛拉回爱好者可及。
  • 本榜约 328 分 / 54 评;文档含 BOM 与构建流程。

解读

  • 对硬件圈:延续 RepRap「能复制自己」的叙事,长期设想是打印出 1/1000 缩小版、再逐级下探。
  • 现实降温:评论指出尺度变了、力学与材料特性也变,宏观能用不代表缩小还能用。
  • 低成本精度的另一条路:etched glass 编码器就能给到 1µm 级反馈,门槛没想象中高。

讨论

  • 正方不少人惊讶:用不算高端的零件就能做到这种精度,期待微制造的新浪潮。
  • 正方有人把它比作 18 世纪 Ramsden 刻度机、Maudslay 螺纹车床——精密制造从手艺变成可复制。
  • 有人戏问能否打印黑胶唱片,顺手算了槽宽;也有人调侃「18 个月后我们就能自己造 RAM 了」。
12

Show HN:跑在你自己 Cloudflare 账号里的只读 MCP 服务,像 WhatsApp Web 一样关联手机,代理可搜索、读取聊天。

把个人数据接进代理,技术上已经是周末项目;真正的门槛是对方没同意,以及平台随时封号。

事实

  • 只读:能读、能搜消息,能记住你给号码起的名字;不能发送任何内容。
  • 作为关联设备工作:代理请求时和每天一次连上 WhatsApp,取回排队的消息写进数据库后断开,手机照常收通知。
  • 消息存在你 Cloudflare 账号里 Durable Object 内的 SQLite;首次导入大量历史需 Workers 付费版(每月几美元)。
  • 支持 Claude Code、Claude Desktop 等任何 MCP 客户端,MIT 许可。本榜约 35 分 / 23 评。

解读

  • 对产品:MCP(Model Context Protocol,让 AI 应用接外部工具和数据的协议)把「让代理读某个 App」变得很轻,护城河不在接入本身。
  • 只读是好默认:先让代理能看、不能发,风险小一半。
  • 隐私账要算两方:你的消息进了模型公司,聊天对方并没同意;做这类产品要把这一点讲清楚。

讨论

  • 反方有人说对方从没同意自己的消息被传给第三方 AI 公司,还可能进训练数据。
  • 正方也有人说这条船二十年前就开走了,起码做点有用的产品出来。
  • 有人用 whatsappweb.js、whatsmeow 这类非官方方案时不时被封号;在 WhatsApp 是万能联系方式的国家很麻烦。
  • 有人问个人机器人到底该用什么平台(Telegram?Discord?);也有人吐槽再交给 Cloudflare 只会更中心化。
13

《英国皇家学会会刊 B》新研究:70 只家犬在实验中也表现出人类熟知的 bouba/kiki 声形对应。

跨语言、连婴儿小鸡都有的声形直觉,现在狗也沾边——它更像一种听觉—视觉的世界建模,而非纯语言现象。

事实

  • 设计:70 只狗、两组实验;屏幕+音箱左右交替播放「Bouba/Kiki」与圆形/尖形,用狗的头部朝向和视觉角度做计算分析。
  • 结果:播 Bouba 时狗更看圆形,播 Kiki 时更看、更探索尖形。
  • 对照组让主人戴耳机听摇滚、听不到词,以排除主人无意识暗示;偏好依然存在。
  • 研究者谨慎:狗偏向尖形的小偏差可能与犬/狼本身更「尖」的面部形态有关,还需更多研究。

解读

  • 读科学新闻的提醒:这是「初步证据」不是定论,样本小、效应弱,别过度外推。
  • 有意思的产品隐喻:声音与形状的直觉映射是跨物种的,命名/音效设计可借这类通感。

讨论

  • 正方有人提出机制猜想:尖形物体发出更「打击感」的声音、圆形更柔,是对物理世界的听觉建模而非语言。
  • 反方有人质疑实验可靠性,担心狗读主人非语言暗示;但作者已用耳机组回应。
  • 共识连刚孵出、没经验的小鸡也有类似效应,说明这跨越差异很大的动物,颇为稳健。
  • 也有人纠结 Bouba 到底念「boo-ba」还是「boh-ba」,为何不直接那样拼。
14

创作者 Paula 完成了 LT6502b——一台用 6502 搭成、更薄更快的复古笔记本。

一台从 PCB 到外壳自己做的 6502「笔记本」,把复古计算从摆件做成真能带着用的整机。

事实

  • LT6502b 比上一代薄一半,10.1″ 1024×600 IPS 屏,10MHz(原 8MHz),板载 SID 模拟器与 WiFi Modem。
  • 半透明橙色外壳,电池续航与上代相近;代码/PCB 等全开源在 Codeberg。
  • 作者列了待改进项:热熔螺母孔太脆、WiFi Modem 太慢、想换更好音源与 USB-PD 供电。本榜约 18 分 / 1 评。

解读

  • 对复古圈:亮点是「整机工程化」——屏幕、供电、外壳、无线一条龙,而不只是跑个 6502。
  • 务实清单本身有参考价值:自制硬件的坑多在机械结构与供电,而非 CPU。

讨论

  • 评论联想到当年 Commodore SX-64——不算膝上但确属可搬运的 6502 机型。
  • 全帖仅这一条评论。
15

Jared Siegel 主张自建 LLM proxy:厂商面板上的用量图是摆设,工程决策需要真正的时序 token 数据。

厂商给你看的漂亮用量图是障碍物不是数据——想真掌控多模型/多供应商的切换、日志与密钥,就得自己跑一个代理。

事实

  • 作者吐槽大厂 Analytics 面板的「用量图」无法支撑工程决策,缺真正给工程师看的时序数据。
  • 自建代理的六个理由:单端点多供应商/多模型、谁用哪个 key 调了什么模型/客户端/时间/状态的日志、用虚拟 API key 避免主 key 到处撒、你掌控的基础设施、可极快切换模型与供应商、可按需改造。
  • 他建议自己托管、不推荐具体产品;评论补充 OpenRouter、LiteLLM、Bifrost 等现成方案。
  • 本榜约 14 分 / 7 评。

解读

  • 对产品/团队:把 LLM 调用当成需要可观测性的基础设施——虚拟 key + 统一日志是编排沙箱里 agent 的前提。
  • 通俗说,LLM proxy 就是夹在你和各家模型 API 之间的一层转发,便于统一计费、鉴权、限流和观测。

讨论

  • 正方做基础设施的人共鸣,有人正在部署 LiteLLM 以在沙箱里编排 agent(虚拟 key、全量可见、护栏)。
  • 反方也有人代入普通用户:「这些词我都不懂,我就付 $20/月让别人把复杂度抽象掉」。
  • 有人直接推荐 OpenRouter 帮你搞定这一切,并额外加一层锁死请求、隐藏 key。
16

Marcin Wichary 考古 1990 年代 Unix 下那条古怪报错,拆解它由四件事交汇而成。

一条「不是打字机」的报错,是大小写假设、错误处理顺手拼接 errno、以及 tty 历史术语层层叠加的结果。

事实

  • 现象:给 MWichary 发信得到「550 … User unknown: Not a typewriter」。
  • 成因交汇:sendmail 假设小写用户名把 MWichary 偷偷改成不存在的 mwichary;错误处理顺手把系统 errno 文本拼上。
  • 那条 errno(ENOTTY)原意是「这是后台程序、不是打字机」——源于计算机最早用(电传)打字机做 I/O,tty 一词由此而来。
  • 今天它显示为「Inappropriate ioctl for device」,但代号仍叫 ENOTTY。本榜约 19 分 / 1 评。

解读

  • 对工程:错误信息别把底层 errno 原样拼给用户——在无关上下文里它只会制造困惑。
  • 命名惯性惊人:打字机早已消失,ENOTTY 这个名字可能还会存在几十年。

讨论

  • 评论里有人分享记忆法:把 ENOTTY 读成 E-NO-TTY(没有 tty),更贴近它今天的实际含义。
  • 全帖仅这一条评论。
17

Aaron Ardiri 把当年的 PalmOS Lemmings 克隆以「仅供教育」开源放上 GitHub。

一段 PalmOS 时代的游戏记忆被存档——提醒大家趁 Palm 生态位腐烂前把它们抢救下来。

事实

  • 仓库含编译产物、关卡包、工具与源码,标注 SOURCE CODE PROVIDED AS-IS FOR EDUCATIONAL PURPOSES。
  • 评论称作者 Aaron Ardiri 是 PalmOS 传奇,曾应任天堂要求下架 Mario 等克隆;Lemmings 相对安全。
  • 本榜约 87 分 / 23 评。

解读

  • 对存档圈:很多 Palm 软件正在 bit rot,及时上 Internet Archive / palmdb.net 很有意义。
  • README 过于简略,评论普遍希望补上历史背景与注释。

讨论

  • 正方老 Palm 用户集体怀旧,有人翻出 HP48 计算器上的 Lemmings。
  • 共识大家呼吁把更多 Palm 游戏/存档保存下来,别让它腐烂。
  • 有人较真名称:是 Palm OS,不是 PalmOS,更不是 palmOS。
18

研究者在 Broadcom 的 802.11 实现里挖出自 2010 年就存在的漏洞,可越过 WiFi 远程 RCE。

一个潜伏十余年的「永恒日」漏洞,让隔条街就能拿到大量路由器的 root——还演示了用前沿 AI 一周内完成这项研究。

事实

  • 漏洞在 Broadcom 私有 802.11(WPS EAP 重组溢出),至少自 2010 年存在,2018 年静默打了不完整补丁并建议改用 hostapd。
  • 无需网络密钥、无需完成正常 WPS 即可远程触发,提供可控信息泄露 + 任意代码执行;影响大量厂商/型号、全球数百万 AP。
  • 作者实测比利时 4 家 ISP 中 3 家受影响(Proximus、VOO、Orange),截至 10 月 15 日相关设备仍未打补丁。
  • Broadcom 拒绝分配 CVE、也不公开沟通,被认为是 OEM 普遍不修的原因。本榜约 44 分 / 9 评。

解读

  • 对安全/产品:这是「供应链沉默」的典型——上游有补丁但不发 CVE、不公告,下游几乎不会主动迁移。
  • 作者的点睛句:「靠复杂性求安全已死」;并坦言靠前沿 AI 一周就做完、否则要数月,意味着深层基础设施的审计成本在骤降。
  • 作者仅估算了比利时的受影响量级,评论指出全球销量意味着实际数量要高出几个数量级。

讨论

  • 正方有人认同「通过复杂性求安全」已不成立,调侃只有 systemd 还不信。
  • 反方有人问能否干脆用 AI 写补丁、甚至用同一漏洞远程推送——但被提醒那仍是未授权访问、有法律后果。
  • 有人指出文章只估了比利时,设备全球销售,实际数量应高出几个数量级。
19

一位日本创作者用 1970 年代东德产磁芯,手编出真能读写 16 位的小巧磁芯存储器。

把计算机史上的磁芯存储缩成钥匙扣大小还能真读写——一次把「存储器」还原成一个个手穿磁环的硬核手作。

事实

  • 用 1970 年代东德制磁芯,手工编织出可实际读写 16 位(2 字节)信息的磁芯存储,适合做钥匙扣。
  • 视频含磁芯原理简介与穿线制作过程;作者已把它做成不定期上架的 BOOTH 套件。
  • 本榜约 33 分 / 16 评。

解读

  • 对复古/硬件圈:直观理解「每个磁环存 1 位」的历史存储方式,教学意义大于实用。
  • 评论提到商业对照:Core64 有类似套件;FRAM 是功能相近的现代小封装替代,读写寿命近乎无限。

讨论

  • 正方大家觉得又萌又硬核,欣赏手工穿磁环的工夫。
  • 有人补充 Core64 套件、Dataram 历史磁芯板;在 DRAM 涨价背景下还有人半开玩笑说来得正好。
  • 反方也有人泼冷水:未来方向是「存内计算」,磁芯只是情怀。
20

Gavin Anderegg 发现 macOS 27 在 PATH 里加了 /pkg/env/global/bin,而没人确切知道它干嘛。

Apple 悄悄给系统卷加了个 /pkg 根目录并写进所有人的 PATH,却没给说法——很像在为某个第一方包管理系统铺路。

事实

  • 作者排查 PATH 异常时发现 /pkg/env/global/bin,来自 macOS 27.0 新增的 /etc/paths.d/10-pmk-global。
  • 据 Howard Oakley:/pkg 在 26.4 先加到数据卷,27.0 才加到签名系统卷,是件不小的事。
  • /pkg 下有 env、etc、inv、var 四个子目录;从命名猜可能是第一方包管理,但纯属推测,pmk 含义也不明。
  • 本榜约 10 分 / 3 评。

解读

  • 对 Apple 生态:值得盯——若真是官方包管理,会影响分发与依赖管理的既有玩法(Homebrew 等)。
  • 排查经验:PATH 里冒出陌生根目录先别慌,很可能是系统新特性而非被入侵。

讨论

  • 有人猜 pmk = package management kit(按 Apple 近来的命名习惯)。
  • 也有人借题发挥:正因这种不透明,自己已全面转投 Linux,系统尽在掌握。
21

Ken Shirriff 用显微镜逆向 8087 的微码与电路,讲清 1980 年这颗协处理器如何做浮点加减。

一颗 1980 年的芯片把浮点加法做到比 8086 快近百倍,靠的是微码 ROM + 大面积桶形移位器这些看得见的电路块。

事实

  • 8087 让浮点运算大幅提速:加法比 8086 快近 100 倍,复杂运算更多。
  • 作者凿开封装、显微成像:中心大矩形是存 1648 条微指令的微码 ROM,下半是处理 80 位值的数据通路。
  • 关键块:整数加法器、占地很大的桶形移位器(用于对阶)、前导零电路、处理上/下溢的指数转换器。
  • 本榜约 87 分 / 32 评;作者在评论里征集「下一篇该看 8087 的哪部分」。

解读

  • 对工程史:把「浮点性能」还原成具体硅片面积——移位器大是因为要任意位快速对阶。
  • 一个被点赞的感慨:46 年前就能做 80 位浮点,反衬如今不少微控制器连 32 位浮点都省掉。

讨论

  • 正方大量读者感谢 Ken「在 slop 之海中的一束光」,长年高质量逆向。
  • 有人回忆早期 Win32 context switch 不保存 8087 寄存器、靠人去争取才保留;也有人指出文中一处换算笔误(应为 384)。
  • 有人惊讶 1980 年就有 80 位浮点,借此吐槽现代 MCU 砍浮点、却塞一堆「安全岛」。
22

帝国战争博物馆讲二战的 SIGSALY——把语音数字化、与随机噪声混合再越洋传输的保密电话系统。

这是加密电话、数字语音、一次性密码本的共同鼻祖,用一对同步播放的随机噪声唱片把越洋通话变成德军听不懂的噪声。

事实

  • 贝尔实验室的「Project X」:把语音数字化、混入随机噪声经无线电越洋传,收端再用声码器还原。
  • 密钥是两端同步播放、各 12 分钟、用后即毁的随机噪声唱片——本质是一次性密码本,需两端精确同步。
  • 极其昂贵笨重:每台 1943 年价约 100 万美元、重逾 50 吨;全球部署 12 台,伦敦那台藏在 Selfridges 百货地下室。
  • 丘吉尔与罗斯福 1944 年 4 月首次通话;全部终端二战共承载至少 3000 次通话。本榜约 109 分 / 39 评。

解读

  • 对工程史:现代「数字化再加密」的直觉在此已成形,只是实现极其笨拙,算力/介质全靠机械同步。
  • 评论里的较真:1943 年的 100 万美元约合今天 1900 万;按 GDP 占比衡量更能体会代价。

讨论

  • 正方有人列出 IEEE 评出的八个「首次」:首个加密电话、首个量化语音传输等,赞其开创性。
  • 共识大家一致认为这是一次性密码本的经典实例,安全性取决于噪声的随机质量。
  • 提交者现身道谢;也有人联想到 Stephenson《Cryptonomicon》里的相关桥段。
23

Oxide 工程师 Dave Pacheco 讲他们如何在构建 DNS 传播系统时,默认任何环节都可能在生产出故障。

好系统不仅能跑,还能自证清白——与其报「0 问题」,不如给出「我把第 18 版配置在某时刻推给了这三台服务器且都完成了」这种强证据。

事实

  • 场景:Oxide 控制面有内外两套 DNS,真相源在强一致数据库,由 Nexus 的后台任务异步传播到各 DNS 服务器。
  • 他们据此做了 omdb(Omicron 调试器):后台任务自带可观测性,能在几秒内定位传播管线在哪一环断掉。
  • 主张「软件应能为自己开脱」:「0 问题」只代表「0 个它知道的问题」,不如给出带时间戳的肯定性证据。
  • 本榜约 28 分 / 0 评(HN 暂无讨论)。

解读

  • 对产品/工程:把「出故障时我想看到什么信息」前置到开发阶段,并确保能从生产系统采到。
  • 额外红利:这类调试工具还能用来演示系统、教新人、沟通变更——一次详尽 demo 胜过千张架构图。
  • 作者的直觉(无数据支撑):这样开发的软件运行期问题反而更少,因为逼你在开发时就想清楚故障。

讨论

  • 截至抓取时 HN 上 0 条评论。
  • 判断请以原文为准;文章写于 2025 年,属旧文重提。
24

0x23 的开源项目:易搭建的电动 XYZ 微操纵平台,用普通步进电机做到亚微米精度。

用现成步进电机 + 磁性齿轮放大编码器分辨率,把亚微米运动控制做成人人能焊的开源硬件。

事实

  • 面向光学对准、探测电子元件、显微等场景;并联运动结构 + 微型球铰带来刚性与较大行程。
  • 现成步进电机 + 30kHz 闭环控制 + 高精度 PWM;磁性齿轮把低价磁旋编码器分辨率放大 30 倍,步进低至 50nm(注意分辨率≠精度)。
  • 通过 USB 串口的 G-Code 控制,含带前瞻的完整运动规划,易集成进其它项目。
  • GitHub 约 2.1k 星;最新硬件 4.0 修了自碰撞、球铰约束、连杆长度一致性等问题。本榜约 173 分 / 13 评。

解读

  • 对硬件圈:亮点是「低成本 + 易复制 + G-Code 接口」,适合当通用微定位台接到别的实验里。
  • 作者反复强调分辨率和精度是两回事——50nm 是步进分辨率,绝对精度要差得多,选型别只看那个数字。

讨论

  • 正方有人称作者是「传奇」:随手把亚微米操纵台开源到 YouTube、无任何推广。
  • 共识大家把它和同日的 RepRapMicron 放一起,视为 DIY 微制造的同一波。
  • 有人问与 delta 机械臂相比如何,认为 delta 行程更大;也有人正照着自己搭。
25

Eddie Abbondanzio 把 Razor A5 滑板车改成前轮驱动电动车,动力来自一把无绳电钻。

一把电钻 + 单向轴承 + 3D 打印件,就能把「买现成电动滑板车」的需求糊成一个能跑 10mph 的欢乐怪物。

事实

  • 用 Hercules 20V 无绳电钻经键轴 + 单向轴承驱动前轮,关机时前轮仍能自由滑行。
  • 低速挡输出扭矩过猛,起步会小小「烧胎」;最高约 10mph,上坡略降速。
  • 油门用电钻原扳机改到车把;5Ah 电池约能跑 2 英里。
  • 作者现身评论:直到网站流量暴涨才知上了 HN,车还在稳定服役。本榜约 126 分 / 47 评。

解读

  • 对 maker 的乐趣:不是最优解,而是用手边工具解决问题的快感——3D 扫描的精致与整体的 jank 形成反差萌。
  • 工程隐忧(评论提出):电钻电机和塑料齿轮为间歇使用设计,长时间满载、频繁停走和上坡会显著缩短寿命。

讨论

  • 正方一片欢乐:很多人笑出声,说这正是童年幻想成真,「右转特别顺」。
  • 有人甩出前辈:Matthias Wandel 12 年前用电钻驱动木架小车;还有俄罗斯那辆「50 把电钻」的拉达。
  • 反方有人担心电钻为间歇使用设计,持续满载会过热减寿;也有人提议在另一侧再装一把电钻当「二挡」。