🚀 Hacker News（附 AI 简介）
1. Margaret Hamilton has died
Margaret Hamilton has died
阿波罗计划软件工程先驱玛格丽特·汉密尔顿去世享年90岁
2. Trump administration is suspending Microsoft from a green card program
Trump administration is suspending Microsoft from a green card program
3. Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
用链接即可将任意屏幕变成全屏标识或计时器，无需账号
4. Tell HN: I've been paying for a rural Tanzanian's education for 10 years
Tell HN: I've been paying for a rural Tanzanian's education for 10 years
资助坦桑尼亚农村女孩十年教育，她已大学毕业并继续攻读硕士。
5. “Math 2.0” will need to value mathematical progress more holistically
“Math 2.0” will need to value mathematical progress more holistically
数学2.0需更全面地评估数学进步
6. Animated ASCII Art for Web Pages
Animated ASCII Art for Web Pages
用于网页的动画ASCII艺术
7. Whistle: Speech to Text in 16.9 MB
Whistle: Speech to Text in 16.9 MB
Whistle是16.9MB的端侧语音识别模型，支持转写、词时间戳和语音嵌入。
8. The Mathocalypse
The Mathocalypse
OpenAI发布372项AI数学证明，含UGC猜想，人类无法理解
9. Meta and Microsoft take steps to reduce employee usage of Claude AI
Meta and Microsoft take steps to reduce employee usage of Claude AI
Meta和微软减少员工使用Claude AI，转向自家编程工具。
10. OpenAI Withdraws 3 Math Papers
OpenAI Withdraws 3 Math Papers
OpenAI因符号错误撤回3篇数学论文并修订14篇
11. Navier–Stokes Lost in Translation
Navier–Stokes Lost in Translation
AI自动形式化验证不保证自然语言数学证明正确，因翻译极难忠实。
12. OpenAI annualised revenues $20B less than previously signalled
OpenAI annualised revenues $20B less than previously signalled
13. I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
Opus 5.5 首次让 AI 设计摆脱劣质感且交互可视化惊艳
14. Anti-patterns in software blogging
Anti-patterns in software blogging
列举软件博客写作中的常见反模式。
15. Docker Agent
Docker Agent
Docker Agent是Docker CLI插件，用YAML配置定义并运行协作式AI代理，无需编程。
16. 'Jonathan' is the oldest land animal on Earth
'Jonathan' is the oldest land animal on Earth
乔纳森基因组测序揭示其长寿基因变异。
17. State of Devs 2026
State of Devs 2026
调查揭示开发者面临职业不稳定、心理压力、AI分歧和职场歧视
18. Penguin Mail – open-source Rust email client for Linux with AI
Penguin Mail – open-source Rust email client for Linux with AI
开源Linux邮件客户端Penguin Mail内置AI助手
19. OpenAI withdraws three mathematical results
OpenAI withdraws three mathematical results
1. Margaret Hamilton has died
Margaret Hamilton has died
阿波罗计划软件工程先驱玛格丽特·汉密尔顿去世享年90岁
2. Trump administration is suspending Microsoft from a green card program
Trump administration is suspending Microsoft from a green card program
3. Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
Show HN: Bigwords.page – Turn any screen into a sign. The URL is the app
用链接即可将任意屏幕变成全屏标识或计时器，无需账号
4. Tell HN: I've been paying for a rural Tanzanian's education for 10 years
Tell HN: I've been paying for a rural Tanzanian's education for 10 years
资助坦桑尼亚农村女孩十年教育，她已大学毕业并继续攻读硕士。
5. “Math 2.0” will need to value mathematical progress more holistically
“Math 2.0” will need to value mathematical progress more holistically
数学2.0需更全面地评估数学进步
6. Animated ASCII Art for Web Pages
Animated ASCII Art for Web Pages
用于网页的动画ASCII艺术
7. Whistle: Speech to Text in 16.9 MB
Whistle: Speech to Text in 16.9 MB
Whistle是16.9MB的端侧语音识别模型，支持转写、词时间戳和语音嵌入。
8. The Mathocalypse
The Mathocalypse
OpenAI发布372项AI数学证明，含UGC猜想，人类无法理解
9. Meta and Microsoft take steps to reduce employee usage of Claude AI
Meta and Microsoft take steps to reduce employee usage of Claude AI
Meta和微软减少员工使用Claude AI，转向自家编程工具。
10. OpenAI Withdraws 3 Math Papers
OpenAI Withdraws 3 Math Papers
OpenAI因符号错误撤回3篇数学论文并修订14篇
11. Navier–Stokes Lost in Translation
Navier–Stokes Lost in Translation
AI自动形式化验证不保证自然语言数学证明正确，因翻译极难忠实。
12. OpenAI annualised revenues $20B less than previously signalled
OpenAI annualised revenues $20B less than previously signalled
13. I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
I gave Opus 5.5 one prompt and six hours to visualize Invisible Cities
Opus 5.5 首次让 AI 设计摆脱劣质感且交互可视化惊艳
14. Anti-patterns in software blogging
Anti-patterns in software blogging
列举软件博客写作中的常见反模式。
15. Docker Agent
Docker Agent
Docker Agent是Docker CLI插件，用YAML配置定义并运行协作式AI代理，无需编程。
16. 'Jonathan' is the oldest land animal on Earth
'Jonathan' is the oldest land animal on Earth
乔纳森基因组测序揭示其长寿基因变异。
17. State of Devs 2026
State of Devs 2026
调查揭示开发者面临职业不稳定、心理压力、AI分歧和职场歧视
18. Penguin Mail – open-source Rust email client for Linux with AI
Penguin Mail – open-source Rust email client for Linux with AI
开源Linux邮件客户端Penguin Mail内置AI助手
19. OpenAI withdraws three mathematical results
OpenAI withdraws three mathematical results
