Hacker News 首页 - 2025-07-11
1. AI编程工具未必高效：可能降低生产力
作者: gk1 | 发布于: 2025-07-10 23:38
2. 土耳其因侮辱埃尔多安封禁Grok
作者: geox | 发布于: 2025-07-10 23:28
3. 教育工作者联名公开信：拒绝在教育中盲目采用生成式AI
作者: mathgenius | 发布于: 2025-07-10 22:09
4. 阿拉斯加航空1282航班飞行中舱门塞脱落事件最终报告
作者: starkparker | 发布于: 2025-07-10 20:51
5. Grok 4
作者: coloneltcb | 发布于: 2025-07-10 19:43
6. Show HN: Cactus – 智能手机版 Ollama
Cactus是一个跨平台框架，支持在智能手机上本地部署多种AI模型（LLMs、VLMs等），兼容Flutter、React-Native和Kotlin，支持Huggingface上的GGUF模型，开源且注重隐私和实时推理。
作者: HenryNdubuaku | 发布于: 2025-07-10 19:20
7. eBPF：与容器运行时的连接
作者: forxtrot | 发布于: 2025-07-10 19:10
8. 奥威尔日记 1938-1942
作者: bookofjoe | 发布于: 2025-07-10 17:58
9. 零售业网络攻击：英国国家犯罪局逮捕四名袭击玛莎百货、Co-op和哈罗德百货的黑客
作者: sandwichsphinx | 发布于: 2025-07-10 17:44
10. Launch HN: Leaping (YC W25) – 自我进化的语音AI
Leaping AI开发多阶段语音AI代理系统，通过分阶段评估和A/B测试实现自主改进，专注于客户支持和潜在客户预筛选。采用STT->LLM->TTS技术栈，并利用自动化反馈循环优化代理性能。
作者: akyshnik | 发布于: 2025-07-10 17:42
11. Show HN：Perplexity Comet 的开源替代方案
开源隐私优先浏览器OS，支持本地LLM运行和自带密钥，数据不上传。基于Chromium修改，确保安全，构建耗时3小时。目标是打造AI时代隐私优先的浏览器操作系统。
作者: felarof | 发布于: 2025-07-10 17:33
12. 衡量AI对资深开源开发者生产力的影响
作者: dheerajvs | 发布于: 2025-07-10 16:29
13. 图形化线性代数
作者: hyperbrainer | 发布于: 2025-07-10 16:02
14. Bret Victor谈当前AI趋势为何与他的理念背道而驰
作者: prathyvsh | 发布于: 2025-07-10 15:25
15. 红帽技术写作风格指南
作者: jumpocelot | 发布于: 2025-07-10 15:01
16. Flix——一门强大的面向效果编程语言
作者: freilanzer | 发布于: 2025-07-10 14:02
17. Diffsitter——基于Tree-sitter的AST差异工具，获取有意义的语义差异
作者: mihau | 发布于: 2025-07-10 12:51
18. FOKS：联邦开放密钥服务
作者: ubj | 发布于: 2025-07-10 12:49
19. Gemini 2.5 擅长边界框检测吗？
作者: simedw | 发布于: 2025-07-10 12:35
20. 如何证伪：针对Fiat-Shamir的实际攻击
作者: nsoonhui | 发布于: 2025-07-10 09:48