以下是今日 Hacker News 热门内容精选，覆盖 AI 基础设施、模型压缩、开发者工具与安全事件等领域。
今日看点
- 富士通发布日本国产下一代 CPU FUJITSU-MONAKA —— ARMv9 + 2nm/3D 堆叠，2029 年挑战英伟达 NVLink Fusion 生态
- 智谱 GLM 自建推理基础设施 —— 10 万+ 国产加速卡支撑全部生产推理，芯片出口管制反而成了护城河
- Hister：为你访问过的网页和文件建索引的私密搜索引擎 —— Searx 作者新作，个人版全文检索
- Bend：用形式化证明拦截 AI 编程错误的新语言 —— 作者亲自上 HN 答问，社区褒贬不一
- Bonsai 2 27B：三值权重实现 9 倍体积近无损压缩 —— 1.76 bit/weight，simonw 亲测给出上手提示
- OpenAI Astra for Law —— 278 条评论吵翻：法律垂类 AI 到底替代谁？
- CrowdSec 源代码泄露 —— 疑似供应链攻击（TanStack 事件余波），安全公司自己失守
- GitLab.com 收紧未认证 API 限流 —— 未认证 60 次/小时，LLM 爬虫是幕后推手
1. 富士通发布日本国产下一代 CPU FUJITSU-MONAKA
富士通发布"完全国产"的下一代服务器 CPU FUJITSU-MONAKA，跳过 PR 话术看实质：基于 ARMv9 + SVE2 向量指令，2nm 制程 CPU die 与 5nm SRAM die 3D 堆叠，目标 2029 年出货，并宣布兼容英伟达 NVLink Fusion。
💡 核心评论:
- 有 Google 前工程师回忆：2008 年富士通的 10Gbps 交换机曾遥遥领先同行，能为线速流量镜像等专业需求提供方案，“我一直好奇是什么拖累了他们”
- 更详细的规格解读来自 wccftech：MONAKA-X 版本瞄准 2029 年，1.4nm + NVLink Fusion
- 一针见血的总结：“Combined with SVE2 vector operations and software optimization —— 说白了，它就是 ARMv9。”
2. 智谱 GLM 如何自建推理基础设施
智谱官方博客披露：基于超过 10 万张国产 AI 加速卡从零构建生产级推理服务，GLM-5.3-Flash 的全部生产推理都跑在这套系统上，并配套了一系列激进的内存优化。
💡 核心评论:
- 高赞评论认为芯片出口管制反而成为中国 AI 基础设施的优势：“中国公司被迫加速自研 AI 芯片”
- 官方账号亲自引用原文关键句：“We built a complete production-grade inference service from scratch on a cluster of more than 100,000 Chinese-made AI accelerators.”
- 有人评价这套工程"听起来像工业规模的自动化研究，但执行者是真的懂行的人"
解读：当推理成本成为 AI 公司的生死线，“自建基础设施"正在从选择题变成必答题。GLM 这篇博客的潜台词很清晰：拿不到最尖端的卡，就把手里能拿到的卡用到极致。
3. Hister：为你访问过的网页和文件建索引的私密搜索引擎
Searx（隐私元搜索引擎）作者的新项目：不再依赖元搜索，而是从你自己浏览的网页和本地文件构建个人全文搜索索引，所有数据留在本地。
💡 核心评论:
- 作者 asciimoo 亲自 AMA，解释了与 Searx 的技术路线分歧：“元搜索概念有本质局限，所以我换了思路”
- 有用户提出很实用的产品建议：希望浏览器插件增加"标签页可见时长超过 4 秒才入库"的选项 —— 很多人（包括我）会快速打开扫一眼就关掉
- 也有人分享了自己类似的"知识囤积"工具：抓取浏览过的网页 + Karpathy 风格的 LLM Wiki
解读：“我明明看过但找不到"是数字时代的集体记忆症。Hister 的思路 —— 与其搜索全网，不如先搜自己 —— 与 note-taking 工具的发展方向殊途同归，而全文索引 + 本地优先的组合确实很稀缺。
4. Bend：用形式化证明拦截 AI 编程错误的新语言
一门让开发者（和 AI）为代码声明"法则”（laws），由编译器在 CPU 和 GPU 上验证其正确性的语言。定位直击当下痛点：AI 生成的代码跑得快，但没人敢保证它对。
💡 核心评论:
- 作者亲自到场：“我是作者。欢迎大家提问，但这次希望能文明友善一些”
- 有用户真拿它 port 了一个 vibe coding 写的定时脚本，结果 Opus 5 抱怨：“Base 只提供一个算术法则 U32.add_comm，没有……” —— 工具链成熟度仍是短板
- 最尖锐的质疑直指设计哲学：“我见过太多团队为了适配新功能直接修改法则本身，这本身就架空了证明体系。哪些法则该冻结？判断力从哪来？”
解读：“为 AI 写的代码加上机器可验证的护栏"是个方向正确的赌注，但历史经验（Design by Contract、各种依赖类型语言）告诉我们：证明写起来有多痛苦，决定它能否活过演示阶段。
5. Bonsai 2 27B：近无损的 9 倍体积压缩
PrismML 发布 Bonsai 2 27B：三值权重 {−1, 0, +1} + FP16 分组缩放，等效 1.76 bit/weight，体积缩小 9 倍而性能接近无损。
💡 核心评论:
- simonw 给出关键上手提示：HuggingFace 上的 GGUF 需要 Prism 自己的 llama.cpp fork 才能跑
- 技术性质疑很到位：“Q2 量化（约 2.6 bpw）已经处于’明显变差’的边缘，1.76 bpw 的三值方案凭什么无损？” —— 等更多独立评测
- 有人关心苹果的动向：“很好奇他们和 Apple 谈得怎么样。如果能在 TPU 而不是 GPU 上跑，功耗优势才是移动端真正的看点”
6. OpenAI 发布 Astra for Law
OpenAI 面向法律场景的 Astra 产品发布，评论区罕见地出现了大量从业者现身说法。
💡 核心评论:
- 一位律师指出评论区最大的问题：“大家都在泛泛而谈’法律行业’，但不同法律领域的经济模型差异巨大。比如 LLM 几乎不可能对诉讼业务产生实质影响……”
- 真实用户血泪史：“我自己用 AI 起草过一份合同，改了几轮后心里没底。拿给律师看，修改之多让我庆幸没直接用。” —— 现阶段 AI 更像是律师的放大器而非替代者
- 也有人分享身边场景：律所初级员工的文档分析、数据导入工作流，确实是最先被自动化的环节
解读：法律是典型的"责任最后一公里必须有人签字"的行业。Astra 们吃掉的是文档处理的工时，而签字担责的律师 —— 至少在可预见的未来 —— 仍然是那个签字的人。
7. CrowdSec 源代码泄露
开源安全工具 CrowdSec 官方承认源代码泄露，初步调查显示泄露向量很可能是此前的 TanStack 供应链攻击 —— 恶意包窃取了可读私有代码库的 API key。
💡 核心评论:
- 毒舌评论获得高赞：“官网宣传语说他们知道谁在攻击你 —— 只是没发现谁在攻击他们自己。说到底是家坏 IP 聚合商，而聚合业务最需要的就是信任”
- 有用户早上刚在 Debian 13 VPS 上修了一上午 CrowdSec：“社区 blocklist 突然停止供应，HTTP 500，只好让 LLM 给我写了个 blocker……” —— 运维现场的黑色幽默
- 也有人理性指出应对得当：“立即轮转了所有 token 和凭证”
解读：供应链攻击的余波正在一圈圈扩散。安全公司自身的构建链、依赖链，正在成为整个行业最薄的一环 —— “知道自己被攻破"比"声称自己不会被攻破"更值得信任。
8. GitLab.com 收紧 API 限流
GitLab 宣布调整限流策略，评论区挖出关键细节：未认证请求 60 次/小时，免费账号 5000 次/小时。
💡 核心评论:
- 被埋没的关键上下文由网友补上：“60/小时确实很难受，但免费档 5000/小时（每秒一次以上）完全够用。这相当于 Docker 收紧未认证拉取 —— 未认证的免费午餐正在消失”
- 给 LLM 爬虫使用者的建议很实操：“如果你有 LLM 在和 GitLab/GitHub 交互，立刻改用 GraphQL API。GraphQL 对人类开发者很糟糕，但仿佛 Facebook 在 2012 年就看到了未来”
- 有人提出更大胆的商业模式：“给被爬取的仓库分润，像流媒体给创作者付费那样 —— 这将是吊打 GitHub 的巨大差异化”
解读：AI 爬虫的疯狂索取正在迫使平台重写"未认证免费"的默认契约。这对人类开发者影响有限，但对依赖未认证抓取的自动化工具（包括大量 AI agent 工作流）是实打实的冲击。
9. 如何用 LLM 写作
一篇关于"与 LLM 协作写作"的博客，核心主张包括：绝不让 LLM 替你选词。评论区的细节比文章本身更有意思。
💡 核心评论:
- 完美打脸现场：“讽刺的是，一篇说’绝不要使用 LLM 建议的任何一个词’的文章，正文里出现了 ’load-bearing’ 这种典型的 LLM 爱用词”
- 务实的中间路线：“对技术博客作者来说，‘请检查这篇文章的事实准确性’是避免出丑的好用法。它经常抱怨我的夸张修辞 —— 我一般都无视，不然还写博客干嘛”
- 小说作者的两种用法颇具启发：用 LLM 探索"我这个想法之前有没有人写过”（然后亲自去读），以及把设定和情节装置描述出来测试读者反应
10. 日本 10 万人活到 100 岁以上
BBC 报道日本百岁老人突破 10 万，老龄化"静悄悄的紧急状态"引发讨论。
💡 核心评论:
- 住在日本的外国人现身说法：“警报到处都是。政府宁可买 150 架 F35，而对快速老龄化、急需照护的人口视而不见，简直是打脸”
- 最扎心的是一条考古发现：“2010 年日本政府审计户籍，发现超过 23 万名’百岁老人’下落不明，有些其实已去世数十年 —— 记录混乱，甚至疑似家属隐瞒冒领”
- 也有人从别国联想：“中国三四线城市的房地产下跌了三到五成，如果房子曾是生育的主要障碍，这场暴跌会不会意外成为’促生育政策’？”
📌 今日关键词
MONAKA · 国产推理集群 · 个人搜索索引 · 形式化证明 · 三值量化 · 法律 AI · 供应链攻击 · API 限流 · LLM 写作 · 超级老龄化