2025 07 09 HackerNews

💡 原文中文,约17400字,阅读约需42分钟。
📝

内容提要

超过400名媒体人士联名要求BBC董事会成员Robbie Gibb辞职,指控其存在利益冲突。谷歌助手Gemini可访问WhatsApp消息,用户可选择保护隐私。数学家Boaz Klartag在高维空间球体填充问题上取得新进展。OffChess是一款无广告的离线国际象棋谜题应用。Firefox浏览器性能未变差,但管理层被批评缺乏方向。Hugging Face推出多语言长文本推理模型SmolLM3。美国司法部威胁起诉开发反ICE应用的公民。

🎯

关键要点

  • 超过400名媒体人士要求BBC董事会成员Robbie Gibb辞职,指控其存在利益冲突。
  • 谷歌助手Gemini可访问WhatsApp消息,用户可选择保护隐私。
  • 数学家Boaz Klartag在高维空间球体填充问题上取得新进展。
  • OffChess是一款无广告的离线国际象棋谜题应用,提供超过10万个谜题。
  • Firefox浏览器性能未变差,但管理层被批评缺乏方向。
  • Hugging Face推出多语言长文本推理模型SmolLM3,性能优于同类模型。
  • 美国司法部威胁起诉开发反ICE应用的公民,认为该应用危及ICE官员安全。
  • Lean 4.22版本引入验证基础设施,用于证明命令式程序的性质。
  • ProjectionLab创始人分享如何将副项目发展为年收入超过100万美元的企业。

延伸问答

为什么超过400名媒体人士要求Robbie Gibb辞职?

他们指控Robbie Gibb存在利益冲突,认为其与犹太纪事报的联系可能影响BBC的报道公正性。

谷歌助手Gemini如何保护用户的WhatsApp隐私?

用户可以通过关闭应用扩展或禁用Gemini来保护隐私,防止其访问WhatsApp消息。

Boaz Klartag在高维空间球体填充问题上取得了什么进展?

他提出了一种在高维空间中高效填充球体的方法,解决了该领域的重大开放性问题。

OffChess应用有哪些特点?

OffChess是一款无广告的离线国际象棋谜题应用,提供超过10万个谜题,支持一次性购买解锁更多功能。

Firefox浏览器的性能如何?

Firefox的性能并未变差,但管理层被批评缺乏方向,导致错失多次机会。

Hugging Face推出的SmolLM3模型有什么优势?

SmolLM3是一款多语言长文本推理模型,性能优于同类模型,支持6种语言,适合边缘/移动部署。

➡️

继续阅读