今日 Hacker News 热榜由「模型行为与成本」和「底层工程」两条线交织：Anthropic 公开 Claude 系统提示演进、有人论证实验室刻意用参数换推理、以及灰产「token 经纪」把推理额度做成二级市场；硬件与协议侧则有对 Dmitry Grinberg RISC-V 批评的全球南方嵌入式回应，以及 Buf 宣布 Protobuf LSP。政策与科普穿插其中——UC Berkeley 关于 IRS Direct File 关停的案例报告、低技术陶瓷滤水器、ZKP 与 90 年代 MMX 回顾。以下按当前热度前十整理。
1. A 3rd World Embedded Engineer Responds to “RISC-V They Should Have Known Better”
背景介绍
Trinidad and Tobago 嵌入式工程师撰文回应 Dmitry Grinberg 的《RISC-V: They Should Have Known Better》。作者承认压缩指令偏移、Zicsr 等 ISA 细节确实别扭，并称自己已从 STM32/ARM 全面转向 RISC-V（含 CH32V003 / RV32E 一类芯片），但认为原作忽视「芯片能否以可负担成本送达非美欧地区」这一前提：对当地教学与创客而言，运费常达数十至上百美元，十美分与一美元零件的差价决定学生能否人手一片，而非编码优雅度。文章把争论从性能/碎片化拉回到供应与可达性。
主要讨论方向与观点
多位评论指出双方在「谈不同问题」：Grinberg 侧重桌面/高性能路径与可选扩展导致的二进制碎片化；本文则强调嵌入式与全球南方成本现实。也有人质疑文中「运费昂贵」与「十美分到岸」并存是否自洽，并举例尼日利亚/孟加拉等贸易通道运费未必如文所述。另有技术向反驳：中断保存大量寄存器等问题可用寄存器银行等硬件手段缓解，不必据此认定 ARM 必然更优。
专有名词解释
- RISC-V：开放指令集架构（ISA），允许厂商按需实现扩展。
- RV32E / CH32V003：面向极低成本 MCU 的 32 位 RISC-V 变体/芯片系列。
- Zicsr：控制与状态寄存器（CSR）相关扩展；实现时常需显式声明。
HN 讨论：thread · 358 分 · 189 评
2. Claude: System Prompts
背景介绍
Anthropic 文档页汇总 claude.ai 与移动端所用核心 system prompt 的按型号/日期更新记录（明确说明不适用于 Claude API）。页面列出 Claude Opus 5（2026-07-24）、Fable 5（2026-06-09）、Opus 4.8 等条目；自 4.6 代起每个 model ID 对应单一固定快照，故通常只有一条。提示词用于注入当前日期、鼓励 Markdown 代码块等行为，并会周期性修订。页面正文中各型号提示词多为展开/动态加载，完整条文需点开对应版本；社区亦有人把变更整理成 git 历史以便 diff。
主要讨论方向与观点
讨论集中在「系统提示为何如此之长」：有人对照厂商近来建议缩短 AGENTS.md / 减少无关上下文的经验，质疑冗长通用规则是否反而分散模型注意力，并主张把多数条款放进按需加载的 rules。另有人从分层控制角度解读危机干预、图像是否实际上传等条款，认为这是产品路线图与安全策略的外显，而非「智力」本身的证据。Simon Willison 等分享了按提交追踪 prompt 变更的仓库链接。
专有名词解释
- System prompt：对话开始前由产品注入、对用户通常不可见的指令层。
- Fixed snapshot model ID：某一模型字符串对应不可变权重/行为快照，不再随日期隐式漂移。
- claude.ai vs API：消费端聊天产品与开发者 API 的行为/提示策略可以不同。
HN 讨论：thread · 526 分 · 222 评
3. The Life and Death of Direct File [pdf]
背景介绍
UC Berkeley「Applied Technology Policy」行政研究员 Merici Vinton 等撰写的领导力案例报告（约 36 页）：讲述美国 IRS 于 2024 年上线的免费官方报税服务 Direct File——两年报税季服务逾 40 万纳税人、约 94% 评价优秀或高于平均，后于 2025 年被关停（文中归因于 DOGE）。报告梳理从 Child Tax Credit 扩展、立法与 IRA 背景下 IRS 接手，到 USDS/IRS 混编团队冲刺上线、州集成与客服建设，并附「Direct File Playbook」。材料基于对约 15 名府会官员及项目成员的访谈（2025-06 至 2026-02）。
主要讨论方向与观点
抓取时该条目仍在热榜前列但尚无评论（0 评）。摘要只能依据 PDF 正文：作者强调其意义不仅在于税务政策，更在于政府能否交付高信任数字服务；关停后开源代码、方法与教训仍被视为可复用遗产。后续讨论若展开，预计会围绕联邦数字化、政治周期与公共服务产品化。
专有名词解释
- Direct File：IRS 自建的免费在线报税通道试点/服务。
- USDS（U.S. Digital Service）：协助联邦机构交付数字服务的团队。
- DOGE：文中指推动关停该服务的行政力量；细节以报告表述为准。
HN 讨论：thread · 13 分 · 0 评
4. SIMD in the 90s: Programming Intel’s Pentium MMX
背景介绍
Pikuma 的 Gustavo Pezzi 回顾 1997 年 Pentium MMX：Intel 面向多媒体把 SIMD 带入主流桌面，新增约 57 条指令；八个 64 位 MMX 寄存器与 x87 浮点寄存器别名共用，需在模式间切换。文章面向软件渲染学员的常见追问，把今日 AVX-512 / NEON / SVE / GPU 脉络接到当年手写汇编榨帧的历史现场。
主要讨论方向与观点
怀旧与工程细节并重：有人回忆 MMX 营销曾被误当成「3D 加速」，实际早期更多惠及音频等路径，真正的 3D 跃迁更常归到 SSE 与独立 GPU 崛起。作者现身致谢。资深优化者补充：MMX 提速明显但几乎必须汇编，当年编译器 intrinsic 代码质量差；另澄清 P3 早期 XMM 与 x87/MMX 别名关系，以及 AMD64 强制 SSE1/2 后编译器默认用 SSE 做浮点运算。
专有名词解释
- SIMD（Single Instruction, Multiple Data）：一条指令并行处理多个数据通道。
- MMX：Intel 1997 年的多媒体扩展指令集。
- SSE / AVX：后续 SIMD 扩展；寄存器更宽、功能更全。
HN 讨论：thread · 67 分 · 29 评
5. Low-Tech Ceramic Water Filter
背景介绍
Low-tech Lab 维基教程介绍陶瓷净水器：用多孔陶瓷滤芯去除不安全水源中的污染，并说明半工业化制作步骤（难度高、约 3 天、材料成本量级约 20 欧元）。页面覆盖工作原理、材料角色、效力与生产流程，强调可本地化、低能耗的净水路径。
主要讨论方向与观点
讨论偏经验分享：巴西常见陶罐式陶瓷过滤并兼具被动降温；印尼等地有商业化改良产品链接；露营用手动泵推水过陶瓷滤芯亦同原理。整体偏建设性补充，争议较少。
专有名词解释
- Ceramic water filter：以微孔陶瓷物理拦截/吸附污染物的滤水装置。
- Low-tech Lab：推广可维修、可本地制造技术的开放知识社区。
- 半工业化生产：介于手工与大型工厂之间、可小批量复制的制造流程。
HN 讨论：thread · 88 分 · 22 评
6. A quick look at zero-knowledge proofs
背景介绍
Max Bernstein 与 Chris Gregory 合写的科普：刻意撇开加密货币，用图论 3-着色 讲清零知识证明——证明者让验证者相信「我有合法着色」却不泄露具体颜色分配；并回溯 Goldreich–Micali–Wigderson 原始论文思路，落到约数十行可运行实现。文中强调 ZKP 的核心是交互式「承诺—挑战—揭示局部」协议直觉。
主要讨论方向与观点
技术读者指出示例里 random.randrange(100) 熵过小、Python 内置 hash 不稳定等问题，建议更大随机数与 SHA-256。亦有评论质疑「ZKP 依赖客户端诚实上报」在有权威服务器场景是否多余，或与哈希/数据库能力混淆；语气两极，需对照原文协议假设阅读。
专有名词解释
- Zero-knowledge proof (ZKP)：证明某陈述为真而不泄露证明所用私密信息的交互/非交互协议族。
- 3-coloring：用至多三种颜色给图顶点着色且相邻顶点异色；经典 NP 问题示例。
- Commitment：先绑定一个值、稍后可打开验证，打开前对观察者隐藏内容。
HN 讨论：thread · 37 分 · 13 评
7. Protobuf has LSP support. You’re welcome
背景介绍
Buf 宣布随 Buf CLI 提供面向 Protobuf 的生产级 Language Server Protocol 支持：跳转定义、补全、查找引用、语义高亮等，可通过 VS Code 的 Buf 扩展等接入。文中把 LSP 定位为降低 .proto 手写门槛的一环，并与 Protobuf-ES、Protovalidate、ConnectRPC、Buf Schema Registry 等产品并列。
主要讨论方向与观点
反响尖锐：多人批评标题「You’re welcome」语气傲慢，并指出 IntelliJ 官方/社区 Protobuf 插件与既有 protobuf-language-server 早已存在，质疑「首次现代 IDE 支持」表述。也有人肯定「手写 proto 值得 LSP」，同时提醒字段重命名/重排受线兼容约束，LSP 重构能力边界与普通语言不同。另有观察称其可能重写了解析器以换更好的错误恢复。
专有名词解释
- Protobuf（Protocol Buffers）：Google 起源的接口描述与序列化格式。
- LSP（Language Server Protocol）：编辑器与语言智能后端之间的标准协议。
- Buf：围绕 Protobuf schema、校验与 RPC 工具链的商业/开源生态公司。
HN 讨论：thread · 104 分 · 76 评
8. The AI Credit Resale Economy
背景介绍
Vectoral 的 Matt Lenhard 跟进其「token relay」研究，聚焦 token brokers：收购收购初创拿到的云/模型额度，再通过代理转发或挂牌转售。作者梳理创始人收到的冷邮件（称可低至标价四五折）、与卖家沟通中出现的「日供应量级约 10 万美元」说法，以及 AI Credits、AICreditMart、CheapCredits、Tokvana、Neokens 等自称折扣/批发路由的站点形态；强调常见模式是代理池化密钥而非直接交付原始 key。
主要讨论方向与观点
安全与合规质疑占主导：信任无名第三方等于数据与账号风险；如何验证「买到的就是声称的模型」；供应商应能通过 IP/账号图谱打击中继。有人指出账号刷量、员工福利倒卖等模式并不新鲜；另有中文社区读者认为文章覆盖仍浅，并指向更活跃的转售论坛。Chroma CEO 评论某平台误用/翻转其 logo，声明无关。
专有名词解释
- Token / inference credits：预付或赠送的模型调用额度。
- Token broker / relay：撮合或代理转发额度、常违反服务条款的中间商。
- Distillation（评论语境）：有人把「用廉价通道套取输出再训练」视为相关滥用面，与纯转售并列讨论。
HN 讨论：thread · 222 分 · 88 评
9. Models Are Getting Dumber on Purpose
背景介绍
Walter van der Giessen 论证：数学/代码基准上，GLM-5.2、Qwen3.5、DeepSeek V4-Flash 等以显著更少的每 token 活跃参数拿到高分，但无工具事实问答（如 SimpleQA）与幻觉率表现疲软——实验室在用权重预算换可验证推理流程，刻意让「世界知识」变薄、检索与工具补深度。文中引用「约每参数两比特事实」量级的容量研究，并区分「广度常识留在权重、易腐事实外置」的设计目标。
主要讨论方向与观点
赞成者畅想可插拔知识库（推理核 + 领域适配器）。反对/修正者认为推理与事实难以干净解耦，且文中 SimpleQA 榜首引用过时；有 Pangram 检测称帖文本身像 AI 生成。亦有人指向 Needle 等「极小工具调用」路线，以及「模型卡不再强调 knowledge cutoff」是否已在发生。整体是能力叙事 vs 评测可信度的争论。
专有名词解释
- Active parameters：MoE 等架构中每次前向实际激活的参数量。
- SimpleQA：偏事实回忆、通常禁用工具的评测集。
- Knowledge cutoff：训练语料时间边界；工具/检索可部分绕过。
HN 讨论：thread · 255 分 · 146 评
10. MathCode, Mathematical Coding Agent
背景介绍
MathCode 自称面向数学的终端 AI coding agent：自然语言题目 → 转成 Lean 4 定理并尝试形式化证明；特性包括持久 Lean REPL（热身后编译检查约亚秒级）、定理/公理库复用、leansearch/Loogle + LSP 诊断修复，以及生成 Obsidian 定理关系图谱。安装面向 macOS arm64 / Linux x86_64，默认依赖 Codex CLI；提供 mathcode -p "..." 与 Web UI。
主要讨论方向与观点
讨论量中等：关键瓶颈是「不精确的自然语言是否被正确形式化」；有人询问与 AUTOLEAN 等项目关系；商业场景读者指出未见许可证条款因而无法采用；亦有建议对接 theoremdb.org 一类定理库。作者在帖下重申产品定位。
专有名词解释
- Lean 4：面向定理证明与形式化数学的语言/系统。
- Mathlib：Lean 社区大型数学库。
- REPL / LSP：交互式求值循环与语言服务器，用于快速反馈与编辑器集成。
HN 讨论：thread · 54 分 · 17 评