LeoTalk · Hacker News Daily · 2025.07.11

🔥 今日重点（Top Picks）

• xAI Grok 4正式发布：声称在ARC-AGI-2等测试中达到SOTA，并推出300美元月费订阅。(Twitter, TechCrunch)
• Grok 4面临争议：土耳其因涉嫌侮辱埃尔多安而封禁Grok；有观察发现其在回答争议性问题时会参考马斯克的X言论。(Politico, TechCrunch)
• AI对开发者生产力影响调查：最新研究发现，AI编码工具可能降低而非提高部分经验丰富的开源开发者的生产力。(Metr, Reuters)
• OpenAI计划发布网页浏览器：此举旨在挑战Google Chrome在浏览器市场的统治地位。(CNBC)

📦 AI & 开发工具

• Flix：一种强大的面向效果的编程语言。👉 flix.dev
• FOKS：一个联邦开放密钥服务。👉 foks.pub
• Gemini 2.5边界框识别能力：评估Gemini 2.5在边界框识别方面的表现。👉 simedw.com
• Async Ruby与AI应用：异步Ruby被视为AI应用的未来。👉 paolino.me
• PEP 779：Python官方支持自由线程（Free-threaded Python）。👉 docs.python.org
• DSPy上下文工程：如何使用DSPy进行上下文工程的视频教程。👉 YouTube
• AI开发路径讨论：Hacker News上关于AI开发路径的讨论。👉 HN

🧠 思维激荡（Mind Food）

• 我们应如何看待Realtalk与AI的关系：探讨一个项目与AI的相互作用。👉 dynamicland.org
• 如何证明虚假陈述：计算机科学家探索Fiat-Shamir实际攻击。👉 Quanta Magazine
• 教育者联名信：拒绝在教育中采纳生成式AI的公开信。👉 openletter.earth
• Systemd的成功：一篇讨论Systemd作为Linux系统组件取得巨大成功的文章。👉 osnews.com
• Meta的“AI超级智能”努力：观点文章称其酷似其失败的“元宇宙”项目。👉 Ars Technica
• 大语言模型与“作者已死”：LLMs印证了文化理论中“作者已死”的观点。👉 programmablemutter.com
• AI导师是赋能还是束缚学习者：一篇论文探讨AI导师在教育中的双重影响。👉 arXiv
• 职业自主感下降：研究显示，40岁后职业自主感往往下降。👉 PNAS
• “AI骗局”：一篇对AI技术持批判态度的文章。👉 thecon.ai
• 为何是Eliza？：探讨早期AI程序ELIZA的哲学意义。👉 learningfromexamples.com

🌐 科技与社会趋势

• 德国法院裁定Meta追踪技术违法：Meta的追踪技术被裁定违反欧洲隐私法。👉 The Record
• 弗吉尼亚公共图书馆反抗私募股权收购：一家公共图书馆正在对抗私人股本的收购威胁。👉 LitHub
• 苏格兰水下涡轮机突破：海岸水下涡轮机已运行六年，潮汐能技术取得突破。👉 AP News
• 阿拉斯加航空舱门脱落最终报告：阿拉斯加航空1282航班舱门脱落事故的最终调查报告发布。👉 NTSB
• 美国将审查外国留学生社交媒体：美国政府将对外国留学生签证申请人进行社交媒体审查。👉 NPR
• 数百万辆汽车面临远程攻击风险：PerfektBlue攻击可能使数百万辆汽车遭到远程黑客入侵。👉 SecurityWeek
• 美国电价或大幅上涨：随着数据中心需求激增，美国公用事业公司计划大幅提高电价。👉 FT
• FBI使用测谎仪测试官员忠诚度：联邦调查局正在使用测谎仪测试官员的忠诚度。👉 NYT
• 零售业网络攻击逮捕事件：英国国家犯罪局逮捕四名涉嫌对M&S、Co-op和Harrods进行网络攻击的嫌疑人。(NCA, Sky News)
• 欧盟AI新规：新规要求科技巨头公开追踪AI模型失控情况。👉 Ars Technica
• 萨尔瓦多称美国对被引渡者有管辖权：萨尔瓦多告知联合国，美国对其引渡的被拘留者拥有“专属管辖权”。👉 Techdirt
• YouTube打击批量生产视频：随着对AI生成内容担忧加剧，YouTube准备打击批量生产和重复性视频。👉 TechCrunch
• AI正使苹果处于劣势：分析指出AI正在让苹果在市场竞争中处于劣势。👉 Axios
• 律师因使用AI错误被罚：科罗拉多联邦法院对因使用AI导致错误的律师处以罚款。👉 archive.org
• NASA高级员工离职潮：超过2000名高级员工将离开NASA。👉 Politico
• 生育率危机更严峻：一篇文章指出全球生育率危机比人们想象的更严峻。👉 The Atlantic
• 美国将停止生产一美分硬币：美国将在2026年停止生产一美分硬币。👉 Axios
• 浏览器扩展将用户浏览器变为抓取机器人：恶意浏览器扩展将近百万浏览器变为网站抓取机器人。👉 Ars Technica
• X平台CEO离职：Linda Yaccarino在未能实现多项目标后离职。👉 The Verge
• 麦当劳AI招聘机器人数据泄露：麦当劳的AI招聘机器人被曝泄露求职者数据。👉 Wired
• 星链为千架飞机提供Wi-Fi：SpaceX的星链服务已为1000架飞机提供机载Wi-Fi。👉 PCMag
• 医生因加沙健康危机言论被解雇：一位医生因称以色列战争加剧加沙健康危机而被UCSF解雇。👉 The Intercept
• AI公司人才争夺：Anthropic和DeepMind研究人员更倾向拒绝Meta而非OpenAI的招聘邀约。👉 The Verge
• Indeed和Glassdoor裁员：两家公司将裁员1300人，以进行AI相关整合。👉 Bloomberg
• 反ICE抗议中检测到手机监控：有证据显示在反ICE抗议活动中存在手机监控。👉 san.com
• 新关税政策困扰小企业：新的关税政策使小企业感到困惑。👉 Bloomberg
• Lavazza归咎对冲基金推高咖啡价格：咖啡巨头Lavazza称对冲基金是咖啡价格飙升的罪魁祸首。👉 FT
• 微软裁员同时夸耀AI节省成本：微软吹嘘通过AI节省5亿美元，同时宣布裁员。👉 Yahoo Finance
• Meta高薪挖角苹果人才：Meta以超2亿美元薪酬从苹果挖走顶尖人才Pang。👉 Bloomberg
• Bluesky在英国推出年龄验证：为符合《在线安全法》，Bluesky将在英国推出年龄验证。(Bluesky Blog, The Verge)

📱 新奇项目 / Show HN

• Kite News：Kagi推出的新闻聚合服务。👉 kite.kagi.com
• ikiform.com：开发者因Typeform太贵而自建的表单工具。👉 ikiform.com
• Browseros：Perplexity Comet的开源替代品。👉 browseros.com
• Cactus：适用于智能手机的Ollama，可在移动端运行LLM。👉 HN
• Leaping (YC W25)：一个自我改进的语音AI项目。👉 HN
• asyncmcp：通过AWS SNS+SQS在异步传输上运行MCP。👉 GitHub
• Bitchat：基于蓝牙的P2P聊天工具，无需网络或手机号。👉 GitHub
• AI短片创作：个人项目：使用AI、600个提示、500美元预算在12天内创作的短片。👉 Reddit
• Still coding in VC++ 6.0：一位开发者在失去一切后仍坚持使用VC++ 6.0编程的故事。👉 HN
• nodaysoff.run：可视化十年不间断跑步的数据。👉 nodaysoff.run
• Wonderpods.app：一款将孩子问题转为播客的应用。👉 wonderpods.app
• Endorphin AI：用自然语言驱动AI代理运行浏览器端到端测试。👉 endorphinai.dev
• Pangolin：Cloudflare Tunnels的开源替代品。👉 GitHub

🔬 科学与健康

• 纸飞机能否从ISS飞回地球？：探讨从国际空间站扔出的纸飞机是否能存活。👉 ScienceAlert
• DNA研究绘制人类疾病史：大型DNA研究绘制了3.7万年的人类疾病历史。👉 Cambridge University
• 纳米塑料污染海洋：数百万吨纳米塑料正在污染海洋。👉 Nature
• 裸盖菇素延长细胞寿命：裸盖菇素治疗可延长细胞寿命并改善老年小鼠的存活率。👉 Nature Communications
• 光学和声学超辐射：2024年论文：通过微管实现光学和声学超辐射。👉 ResearchGate

🎯 快速浏览

• 90度转弯的桥梁：一座230万美元的桥梁竟包含90度弯道，导致七名工程师被停职。👉 Vice
• 马特·特劳特去世：著名Perl开发者Matt Trout去世。👉 shadowcat.co.uk
• 奥威尔日记1938-1942：乔治·奥威尔1938-1942年日记。👉 orwelldiaries.wordpress.com
• 英国展览中国囚犯遗骸争议：2021年报道：英国展览被指可能使用中国被处决囚犯遗骸。👉 The Art Newspaper
• Belkin终止Wemo支持：Belkin宣布终止对旧款Wemo产品支持。👉 Belkin
• 燃烧镁制NeXT Cube：1993年燃烧镁制NeXT Cube的实验。👉 simson.net
• ChatGPT泄露Windows密钥：发现通过说“我放弃”即可诱骗ChatGPT泄露Windows密钥的方法。👉 The Register
• FaceTime电话性爱警告：苹果将对在FaceTime上进行“电话性爱”的用户发出警告。👉 Metro

🧰 Dev Tricks

• 图形化线性代数：通过图形化方法学习线性代数。👉 graphicallinearalgebra.net
• Red Hat技术写作风格指南：红帽技术写作风格指南。👉 stylepedia.net
• Rust数学表达式解析器优化：在Rust中优化数学表达式解析器的实践。👉 rpallas.xyz
• Diffsitter：基于Tree-sitter的AST差异工具，用于获取语义差异。👉 GitHub
• eBPF与容器运行时连接：eBPF与容器运行时连接的实践。👉 h0x0er.github.io
• Magic .env files：专为共享设计的魔法.env文件，人性化且AI友好。👉 varlock.dev
• C语言边界安全代码：在C语言中使用数组编写边界安全的代码。👉 uecker.codeberg.page
• 利用20年NTFS漏洞：利用20年前的NTFS漏洞进行攻击。👉 swarm.ptsecurity.com
• Cloudflare动态DNS脚本：一个轻量级的Cloudflare动态DNS shell脚本。👉 GitHub