🚀 Hacker News（附 AI 简介）
1. Kimi-K3 on HuggingFace
HuggingFace 上的 Kimi-K3
Kimi-K3是首个开源的3T级多模态智能体模型，支持百万token上下文窗口。
2. US citizen charged after GrapheneOS phone wipes during airport search
美国公民在机场搜查期间擦拭 GrapheneOS 手机后被指控
美国男子因机场搜查中GrapheneOS手机自动清除数据被指控销毁证据。
3. PGSimCity - How PostgreSQL Works
PGSimCity - PostgreSQL 的工作原理
PGSimCity 可视化展示 PostgreSQL 内部工作原理。
4. AI companies are shredding rare books
人工智能公司正在粉碎善本书籍
5. French firefighters face 'pyrocumulonimbus' for first time
法国消防员首次遭遇“火积雨云”
法国西南部野火首次产生“火积云”这一极端危险现象
6. How is the Bun Rewrite in Rust going?
Rust 中的 Bun 重写进展如何？
Bun用Rust重写后六周未发布新版本，AI生成的PR积压2475个。
7. Decker, a platform that builds on the legacy of Hypercard and classic macOS
Decker，一个建立在 Hypercard 和经典 macOS 基础上的平台
Decker是一个基于HyperCard和经典MacOS的多媒体交互文档创作平台
8. Kimi-K3 Technical Report [pdf]
Kimi-K3 技术报告 [pdf]
9. Decathlon Germany adds Wero payment option to decathlon.de website
德国迪卡侬在 decathlon.de 网站上添加 Wero 支付选项
迪卡侬德国网站上线欧洲支付方案Wero。
10. The Strongest El Niño Ever
有史以来最强的厄尔尼诺现象
多模型预测2026年厄尔尼诺峰值达3.6°C，超历史纪录0.8°C。
11. Design is compromise
设计是妥协
设计就是权衡取舍，选择正确的妥协是关键。
12. Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary
Vercel 的 Scriptc：TypeScript 到 Native 编译器，二进制中没有 JavaScript 引擎
Scriptc 将 TypeScript 编译为无 JavaScript 引擎的原生可执行文件
13. DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf]
关于美国计算差距的评论泄露后 DeepSeek 暂停筹款（文字记录）[pdf]
14. Show HN: Reverse Minesweeper
显示 HN：反向扫雷
介绍Reverse Minesweeper的难度分级系统，从Basic到Insane共五级。
15. AI companies spend record sums on Washington lobbying
人工智能公司在华盛顿游说上花费创纪录的金额
16. Introduction to Data-Oriented Design [pdf]
面向数据的设计简介 [pdf]
17. Apple Will 'Watch Everything Burn' When the AI Bubble Bursts
当人工智能泡沫破裂时，苹果将“眼睁睁地看着一切燃烧”
AI行业成本与收益严重失衡，苹果可能面临泡沫破裂后的巨大冲击。
18. We have proof automation now
我们现在有证明自动化
依赖类型语言证明自动化技术取得进展，大幅降低证明工作量
19. Canceling "Hey"
取消“嘿”
1. Kimi-K3 on HuggingFace
HuggingFace 上的 Kimi-K3
Kimi-K3是首个开源的3T级多模态智能体模型，支持百万token上下文窗口。
2. US citizen charged after GrapheneOS phone wipes during airport search
美国公民在机场搜查期间擦拭 GrapheneOS 手机后被指控
美国男子因机场搜查中GrapheneOS手机自动清除数据被指控销毁证据。
3. PGSimCity - How PostgreSQL Works
PGSimCity - PostgreSQL 的工作原理
PGSimCity 可视化展示 PostgreSQL 内部工作原理。
4. AI companies are shredding rare books
人工智能公司正在粉碎善本书籍
5. French firefighters face 'pyrocumulonimbus' for first time
法国消防员首次遭遇“火积雨云”
法国西南部野火首次产生“火积云”这一极端危险现象
6. How is the Bun Rewrite in Rust going?
Rust 中的 Bun 重写进展如何？
Bun用Rust重写后六周未发布新版本，AI生成的PR积压2475个。
7. Decker, a platform that builds on the legacy of Hypercard and classic macOS
Decker，一个建立在 Hypercard 和经典 macOS 基础上的平台
Decker是一个基于HyperCard和经典MacOS的多媒体交互文档创作平台
8. Kimi-K3 Technical Report [pdf]
Kimi-K3 技术报告 [pdf]
9. Decathlon Germany adds Wero payment option to decathlon.de website
德国迪卡侬在 decathlon.de 网站上添加 Wero 支付选项
迪卡侬德国网站上线欧洲支付方案Wero。
10. The Strongest El Niño Ever
有史以来最强的厄尔尼诺现象
多模型预测2026年厄尔尼诺峰值达3.6°C，超历史纪录0.8°C。
11. Design is compromise
设计是妥协
设计就是权衡取舍，选择正确的妥协是关键。
12. Scriptc by Vercel: TypeScript-to-Native compiler, no JavaScript engine in binary
Vercel 的 Scriptc：TypeScript 到 Native 编译器，二进制中没有 JavaScript 引擎
Scriptc 将 TypeScript 编译为无 JavaScript 引擎的原生可执行文件
13. DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf]
关于美国计算差距的评论泄露后 DeepSeek 暂停筹款（文字记录）[pdf]
14. Show HN: Reverse Minesweeper
显示 HN：反向扫雷
介绍Reverse Minesweeper的难度分级系统，从Basic到Insane共五级。
15. AI companies spend record sums on Washington lobbying
人工智能公司在华盛顿游说上花费创纪录的金额
16. Introduction to Data-Oriented Design [pdf]
面向数据的设计简介 [pdf]
17. Apple Will 'Watch Everything Burn' When the AI Bubble Bursts
当人工智能泡沫破裂时，苹果将“眼睁睁地看着一切燃烧”
AI行业成本与收益严重失衡，苹果可能面临泡沫破裂后的巨大冲击。
18. We have proof automation now
我们现在有证明自动化
依赖类型语言证明自动化技术取得进展，大幅降低证明工作量
19. Canceling "Hey"
取消“嘿”
