🚀 Hacker News(附 AI 简介)1. Margaret Hamilton has diedMargaret Hamilton has died阿波罗计划软件工程先驱玛格丽特·汉密尔顿去世享年90岁
2. Trump administration is suspending Microsoft from a green card programTrump administration is suspending Microsoft from a green card program3. Show HN: Bigwords.page – Turn any screen into a sign. The URL is the appShow 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 yearsTell 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 PagesAnimated ASCII Art for Web Pages用于网页的动画ASCII艺术
7. Whistle: Speech to Text in 16.9 MBWhistle: Speech to Text in 16.9 MBWhistle是16.9MB的端侧语音识别模型,支持转写、词时间戳和语音嵌入。
8. The MathocalypseThe MathocalypseOpenAI发布372项AI数学证明,含UGC猜想,人类无法理解
9. Meta and Microsoft take steps to reduce employee usage of Claude AIMeta and Microsoft take steps to reduce employee usage of Claude AIMeta和微软减少员工使用Claude AI,转向自家编程工具。
10. OpenAI Withdraws 3 Math PapersOpenAI Withdraws 3 Math PapersOpenAI因符号错误撤回3篇数学论文并修订14篇
11. Navier–Stokes Lost in TranslationNavier–Stokes Lost in TranslationAI自动形式化验证不保证自然语言数学证明正确,因翻译极难忠实。
12. OpenAI annualised revenues $20B less than previously signalledOpenAI annualised revenues $20B less than previously signalled13. I gave Opus 5.5 one prompt and six hours to visualize Invisible CitiesI gave Opus 5.5 one prompt and six hours to visualize Invisible CitiesOpus 5.5 首次让 AI 设计摆脱劣质感且交互可视化惊艳
14. Anti-patterns in software bloggingAnti-patterns in software blogging列举软件博客写作中的常见反模式。
15. Docker AgentDocker AgentDocker 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 2026State of Devs 2026调查揭示开发者面临职业不稳定、心理压力、AI分歧和职场歧视
18. Penguin Mail – open-source Rust email client for Linux with AIPenguin Mail – open-source Rust email client for Linux with AI开源Linux邮件客户端Penguin Mail内置AI助手
19. OpenAI withdraws three mathematical resultsOpenAI withdraws three mathematical results