1. OpenAI收购Windsurf交易终止,创始人团队转投谷歌;
  2. 从Mac到神秘体验:比尔·阿特金森的迷幻用户界面;
  3. 苏黎世联邦理工学院和洛桑联邦理工学院将发布基于公共基础设施开发的大语言模型;
  4. 以半价升级M4 Pro Mac mini的存储空间;
  5. 全球铅中毒谜案:姜黄中的铅颜料是元凶;

以上是今天的前五条黑科技新闻标题。

总共22条,具体内容您往下读…

1. OpenAI收购Windsurf交易终止,创始人团队转投谷歌

🔗 theverge.com: OpenAI’s Windsurf deal is off, and Windsurf’s CEO is going to Google

🔥🔥: 560 | 💬: 351 | 🗓️ 2025-07-11


OpenAI原计划以30亿美元收购AI编程初创公司Windsurf的交易已取消。Windsurf联合创始人兼CEO Varun Mohan、另一位联合创始人Douglas Chen及部分研发团队将加入Google DeepMind,专注于Gemini模型的智能编码开发。谷歌将获得Windsurf部分技术的非独家授权,但不会持有其股份。Windsurf现任商务主管Jeff Wang将暂代CEO一职。谷歌未透露具体招募金额,但强调此举将增强Gemini在开发者工具领域的竞争力。Mohan表示对团队过去四年的成果感到自豪,并期待新阶段的发展。


2. 从Mac到神秘体验:比尔·阿特金森的迷幻用户界面

🔗 patternproject.substack.com: Bill Atkinson’s psychedelic user interface

🔥🔥: 397 | 💬: 210 | 🗓️ 2025-07-11


比尔·阿特金森是苹果Macintosh的传奇工程师,曾开发QuickDraw、MacPaint和HyperCard等开创性技术。晚年,他以化名“Grace Within”投身迷幻剂研究,专注于改良5-MeO-DMT(美洲豹)的吸入装置LightWand。他认为这种强效 psychedelic 需更安全的体验方式,因此通过开源设计优化剂量控制,降低风险并提升可及性。

阿特金森不仅公开技术细节,还亲自测试生理数据,并分发上千套设备。他的工作推动了低剂量疗法的研究,让迷幻体验从精英圈层走向大众。其理念延续了一贯的工程哲学:将复杂系统转化为直观工具,最终服务于人类意识探索与疗愈。


3. 苏黎世联邦理工学院和洛桑联邦理工学院将发布基于公共基础设施开发的大语言模型

🔗 ethz.ch: ETH Zurich and EPFL to release a LLM developed on public infrastructure

🔥🔥: 382 | 💬: 48 | 🗓️ 2025-07-11


苏黎世联邦理工学院(ETH Zurich)和洛桑联邦理工学院(EPFL)宣布将于2025年夏末发布一款完全开源的大语言模型(LLM)。该模型在瑞士国家超级计算中心(CSCS)的“Alps”超级计算机上训练,具备多语言能力,支持超过1000种语言,并采用透明、可复现的数据训练方法。

模型将提供8B和70B参数两个版本,其中70B版本将成为全球最强大的开源模型之一。其训练数据遵循瑞士及欧盟的数据保护法规,并利用100%碳中和电力完成训练。这一项目由瑞士AI倡议支持,旨在推动科学、社会和行业的创新,同时吸引全球顶尖人才。

此外,近期在日内瓦举行的国际开源LLM构建者峰会上,50多家机构共同探讨了开源AI的未来,进一步巩固了开放生态系统的合作。


4. 以半价升级M4 Pro Mac mini的存储空间

🔗 jeffgeerling.com: Upgrading an M4 Pro Mac mini’s storage for half the price

🔥🔥: 327 | 💬: 208 | 🗓️ 2025-07-11


作者分享了为M4 Pro Mac mini更换4TB SSD的DIY过程。相比苹果官方1200美元的高价,第三方升级套件仅需699美元。操作需拆解机身,重点在于小心移除带电源按钮的塑料后盖,避免损坏脆弱排线。DFU恢复模式是必要步骤,需通过另一台Mac(含T2芯片的Intel机型或Apple Silicon机型)完成。性能测试显示,升级后的内置SSD在写入速度上显著优于外接Thunderbolt硬盘,且稳定性更佳。尽管成本仍高于普通NVMe硬盘,但性价比远超苹果原厂升级选项。


5. 全球铅中毒谜案:姜黄中的铅颜料是元凶

🔗 npr.org: Lead pigment in turmeric is the culprit in a global poisoning mystery (2024)

🔥🔥: 326 | 💬: 160 | 🗓️ 2025-07-11


调查发现,铅铬酸盐被添加到姜黄中以提高其色泽,导致孟加拉国及纽约的孟加拉裔社区出现大规模铅中毒。800万儿童因此遭受不可逆的脑损伤和健康问题。研究人员通过化学指纹匹配确认污染源,孟加拉政府迅速采取行动,禁止使用含铅染料并开展公众宣传。这一案例揭示了全球香料供应链中的隐蔽污染风险


6. 我受够了社交媒体——为何选择开博客

🔗 carolinecrampton.com: I’m done with social media – Or: why I have a blog now

🔥🔥: 268 | 💬: 268 | 🗓️ 2025-07-11


作者原计划在2024年通过社交媒体营销推广新书,但最终彻底放弃。她发现,尽管投入大量时间制作垂直视频、优化内容,算法却几乎未推送她的作品,且互动寥寥。更糟的是,这种“表演式生活”让她陷入自我物化,甚至厌恶为拍摄而重复日常的行为。

她反思行业现状:出版界将图书销量压力转嫁给作者,鼓吹社交媒体的必要性,实则效果存疑。许多同行退出平台后,业务并未受影响。作者认为,所谓“创作者经济”实则是金字塔骗局,平台通过免费内容获利,而绝大多数人只是垫脚石。最终,她选择回归博客,拒绝被算法异化。


7. 如何摆脱人工智能成瘾

🔗 internetaddictsanonymous.org: Recovering from AI addiction

🔥🔥: 240 | 💬: 270 | 🗓️ 2025-07-11


互联网与技术成瘾匿名会(ITAA)是一个支持团体,帮助人们戒除包括AI成瘾在内的各类数字行为依赖。AI成瘾表现为对ChatGPT、AI图像生成等应用的强迫性使用,导致注意力下降、情绪失调及人际关系问题。

关键症状包括无法控制使用时长、情绪依赖AI、离线时焦虑等。ITAA提供多语言线上/线下会议,通过十二步疗法协助戒瘾。研究表明,此类成瘾会引发大脑结构变化,类似物质成瘾,并伴随抑郁、失眠等风险。

解决方案包括:参加每日会议、寻求赞助人指导、制定戒断计划,并辅以心理咨询。戒断目标因人而异,可能是减少使用或完全远离AI,重点在于重建健康的技术使用习惯。


8. 宾州众议院通过“一键取消”订阅法案

🔗 pennlive.com: Pa. House passes ‘click-to-cancel’ subscription bills

🔥🔥: 237 | 💬: 82 | 🗓️ 2025-07-11


宾夕法尼亚州众议院近日通过两项法案,旨在打击“消极选项”订阅服务(即默认自动续费除非用户主动取消)和强制要求在线订阅必须支持在线取消。这两项法案与联邦贸易委员会(FTC)去年提出的“一键取消”规则几乎相同,但后者因程序问题被联邦法院驳回。

法案提出者民主党议员乔·西雷西丽莎·博罗夫斯基强调,此举是为了保护消费者权益,避免企业通过繁琐流程牟利。例如,博罗夫斯基的法案要求企业在续费前明确通知用户,并允许用户通过原注册渠道取消服务。西雷西的法案则规定,在线订阅的取消流程必须与注册方式一致,且相关条款需以醒目字体标注。

法案不涵盖公用事业、健身房等受其他法规约束的行业,但西雷西表示可后续修订。目前法案已获两党广泛支持,若州参议院和州长夏皮罗通过,宾州将加入加州、纽约等已实施类似政策的州行列。


9. FP8性能提升近100 TFLOPs:内核名称含”cutlass”时显著加速

🔗 twitter.com: FP8 is ~100 tflops faster when the kernel name has “cutlass” in it

🔥🔥: 226 | 💬: 102 | 🗓️ 2025-07-11


检测到当前浏览器禁用了JavaScript,导致无法正常使用x.com平台。建议启用JavaScript或切换至支持的浏览器(具体列表可参考帮助中心)。若问题持续,可能是隐私相关扩展插件干扰,尝试禁用后重试。平台同时提供了服务条款、隐私政策等文档链接,底部标注归属X Corp公司。

核心发现:当内核名称包含”cutlass”时,FP8计算性能可提升约100 TFLOPs,这一技术细节对高性能计算领域具有潜在优化价值。


10. 欧洲太阳能发电量首次跃居首位

🔗 e360.yale.edu: In a First, Solar Was Europe’s Biggest Source of Power Last Month

🔥🔥: 219 | 💬: 142 | 🗓️ 2025-07-11


2025年6月,太阳能首次成为欧盟最大的电力来源,占总发电量的22%,创下历史纪录。荷兰和希腊的太阳能占比分别超过40%和35%。核能风能紧随其后,而煤炭发电占比降至6%,创月度新低。15个欧盟国家已完全淘汰煤炭。

当月欧洲遭遇极端热浪,气温突破43°C,太阳能发电在用电高峰时段缓解了电网压力,避免了停电。专家指出,气候变化加剧了热浪,导致欧洲约1500人死亡与化石燃料燃烧直接相关。这一里程碑事件凸显了可再生能源在应对气候危机中的关键作用。


11. jank实现C++无缝互操作的重大进展

🔗 jank-lang.org: jank is C++

🔥🔥: 216 | 💬: 72 | 🗓️ 2025-07-11


开发者通过jank项目展示了C++与Clojure的无缝互操作能力,包括手动内存管理(支持析构函数)、原生布尔类型cpp/true/false)以及复杂类型构造(如模板和指针)。新增的不透明盒子cpp/box/unbox)机制允许将原生指针封装为jank对象,便于跨语言传递。此外,通过预编译头文件(PCH)优化了启动性能,并解决了大量稳定性问题(如数组、函数指针等)。

实际案例中,jank成功调用了std::cout、解析JSON文件,甚至用FTXUI库构建终端界面,展现了混合编程的灵活性。未来将重点解决栈对象析构、Clang/LLVM兼容性及打包分发问题。项目灵感源自Clasp,现寻求社区支持以加速开发。


12. 日本过度旅游对小企业的冲击

🔗 craigmod.com: Overtourism in Japan, and how it hurts small businesses

🔥🔥: 206 | 💬: 415 | 🗓️ 2025-07-11


本文探讨了过度旅游对日本小企业的负面影响。作者指出,小企业通常以服务本地社区为核心,而非追求大规模游客流量。例如,京都一家鸡尾酒吧因在TikTok走红后,店主因无法与熟客交流而崩溃。

算法推动的旅游热点(如东京的卡丁车活动或镰仓的《灌篮高手》取景地)导致居民生活受扰,而当地经济并未受益。游客往往只为打卡拍照,忽视了对社区的尊重。

尽管问题严峻,作者也提到15%的深度旅行者仍能带来积极影响——他们探索冷门地区(如盛冈),支持本地经济。建议日本通过提高离境税、取消免税购物等措施,将过度旅游转化为可控资源,同时引导游客分散至非热门区域。


13. 给MacBook更换导热硅脂:一次冒险的散热升级

🔗 christianselig.com: Repaste Your MacBook

🔥🔥: 197 | 💬: 94 | 🗓️ 2025-07-11


作者分享了自己为2011款M1 Pro MacBook Pro更换导热硅脂的经历。这台四年高龄的笔记本性能依旧强劲,但风扇噪音逐渐明显,推测是原厂硅脂老化导致散热效率下降。拆机过程参考了iFixit教程,发现苹果在部分芯片上使用了特殊的碳黑导热材料,普通硅脂无法替代。

尽管操作谨慎,作者仍不慎扯断脆弱的风扇排线和Touch ID传感器排线,后者因加密配对无法自行修复。更换硅脂和新风扇后,CPU最高温度从102°C降至96°C,风扇转速降低1600 RPM,噪音显著改善,待机温度也从60°C降至46°C。

文末建议:除非具备精细维修经验或找专业店铺,否则不建议普通用户尝试,但老旧机型更换硅脂确实能有效提升散热表现。代价是作者永久失去了Touch ID功能。


14. 印度航空空难初步调查报告公布

🔗 bbc.co.uk: Preliminary report into Air India crash released

🔥🔥: 194 | 💬: 321 | 🗓️ 2025-07-11


印度民航部上月发布声明称,航空事故调查局正主导此次空难调查,团队包括航空医学专家、空管人员及美国国家运输安全委员会代表。两部黑匣子已分别于6月13日(坠毁建筑屋顶)和16日(残骸中)寻获,数据提取工作于6月24日启动。调查旨在还原事故链并识别关键因素,以提升航空安全。根据国际规则,初步报告须在空难后30天内提交。


15. AI智能体基准测试存在严重缺陷

🔗 ddkang.substack.com: AI agent benchmarks are broken

🔥🔥: 178 | 💬: 81 | 🗓️ 2025-07-11


当前用于评估AI智能体能力的基准测试普遍存在可靠性问题。研究发现,10个主流基准测试(如WebArena、SWE-bench等)中,8个存在严重缺陷,导致对AI能力的误判率高达1.6%-100%。主要问题包括:任务有效性不足(如τ-bench中”无操作”智能体竟能通过38%的航空订票任务)、结果验证失效(如WebArena将”45+8分钟”错误判定为正确答案)以及模拟环境漏洞(如OSWorld因网站过时而低估智能体28%性能)。研究者提出《AI基准测试检查清单》(ABC),包含43项验证标准,旨在帮助开发者构建更严谨的评估体系。该清单已公开并接受社区贡献。


16. Vibe Kanban:用看板管理AI编程助手的开源工具

🔗 github.com: Show HN: Vibe Kanban – Kanban board to manage your AI coding agents

🔥🔥: 155 | 💬: 99 | 🗓️ 2025-07-11


这是一个专为AI编程助手设计的看板工具,帮助开发者高效管理多任务流程。支持并行/串行调度不同AI代理(如Claude Code、Gemini CLI等),集中配置参数、跟踪任务状态,并快速启动开发服务器。核心功能包括代理切换、任务审查和进度监控,适用于当前以人工协调为主的开发场景。

项目采用Apache-2.0协议开源,需Rust和Node.js环境运行,提供开发模式实时调试。目前获83星关注,文档与安装指南详见官网。开发者可通过GitHub提交问题或参与讨论,但需提前与核心团队沟通代码贡献方案。


17. Quad9递归解析器每日统计的全球热门DNS域名

🔗 github.com: Top DNS domains seen on the Quad9 recursive resolver array each day

🔥🔥: 149 | 💬: 90 | 🗓️ 2025-07-11


该数据集记录了Quad9递归解析器每日观测到的前500个高频查询域名,涵盖全球DNS流量热点。关键说明包括:

  1. 数据特性:排除TLD域名,部分域名因CDN、客户端频繁请求或防病毒校验等场景出现,不代表实际网站流量排名
  2. 技术限制:受本地缓存(TTL差异)和采样统计影响,部分高流量域名可能未上榜;
  3. 应用提示:排名靠前可能反映域名管理缺陷(如TTL设置不当),需结合其他数据评估。

数据集采用CC0-1.0许可,支持通过support@quad9.net咨询。当前仓库活跃度较低(5星,无分支)。


18. 伪造JPEG图像:用随机数据戏弄网络爬虫

🔗 ty-penguin.org.uk: Faking a JPEG

🔥🔥: 144 | 💬: 33 | 🗓️ 2025-07-11


作者开发的Spigot是一个用马尔可夫链生成虚假网页内容的小型应用,用于干扰激进的网络爬虫。近期,一个名为ImageSiftBot的爬虫频繁请求不存在的图片,促使作者思考如何低成本生成伪JPEG。

通过分析JPEG文件结构,作者发现只需保留元数据模板(如尺寸、色彩深度等),并用随机数据填充压缩区块,即可快速生成看似有效的JPEG。虽然生成的图片存在解码错误,但大多数浏览器和爬虫仍会处理。这种方法仅需约500KB模板库,单台服务器每秒可生成900张伪图,极大增加了爬虫的解析成本。

最终,作者优化了随机数据的掩码处理(如按位与0x6D),将无效哈夫曼编码的概率从90%降至4%,进一步降低了CPU消耗。这一方案已集成到Spigot中,成功“投喂”了数万张垃圾图片给爬虫,包括Meta和Amazon的爬虫。代码已开源,核心逻辑不足百行。


19. 浏览器JavaScript支持问题

🔗 twitter.com: Kimi K2

🔥🔥: 141 | 💬: 35 | 🗓️ 2025-07-11


检测到当前浏览器禁用了JavaScript,导致无法正常使用x.com。建议启用JavaScript或切换至支持的浏览器(具体列表可查看帮助中心)。此外,部分隐私扩展插件可能引发兼容性问题,临时禁用后重试或可解决。页面底部附有服务条款、隐私政策等链接,以及X Corp的版权信息。若问题持续,可尝试重新加载页面。

(注:关键术语已加粗,内容涵盖问题原因、解决方案及相关资源提示,符合字数与格式要求。)


20. 我为这128KB感到无比自豪

🔗 medium.com: I’m more proud of these 128 kilobytes than anything I’ve built since

🔥🔥: 134 | 💬: 41 | 🗓️ 2025-07-11


作者通过一个非洲项目案例,反驳了“美观与可访问性无法兼得”的常见误解。面对极端的网络条件(EDGE连接、40%功能机用户),团队设定了严苛的约束:128KB页面预算、跨240px-4K屏适配、兼容Opera Mini。他们舍弃网页字体和框架,自建轻量库Whizz,用SVG替代位图并通过代码级优化压缩体积。项目证明,设计本质是在约束中创新,而非妥协。这些挑战反而催生了作者职业生涯中最引以为傲的解决方案。


21. 在Vercel工作五年学到的五件事

🔗 leerob.com: Things I learned from 5 years at Vercel

🔥🔥: 121 | 💬: 41 | 🗓️ 2025-07-11


作者回顾了在Vercel从初创到规模化的五年经历,分享了关键成长心得:

  1. 工作与生活的平衡:将热情投入工作,但必须建立支持系统以明确界限。早期因过度投入导致蜜月期间仍处理工作,后来通过团队建设和授权实现真正脱离。

  2. 速度即优势:作为领导者,推动团队快速交付能暴露问题并提升效率。设定激进但灵活的期限,培养团队像创始人一样自主行动的能力。

  3. 规模化与责任:CEO需要能独立负责的领导者。招聘是关键——只接受“绝对合适”的人选,及时反馈以避免团队效能下降。

  4. 避免“空降指挥”:曾因职位权威干预项目引发矛盾,意识到需提前建立信任,通过倾听和协作达成共识,而非单方面决策。

  5. 勇于改变观点:曾严格审核所有社交媒体内容,后意识到过度控制反而阻碍效率。通过放权和标准化,团队反而提升了内容质量。

最后,作者强调追随好奇心的重要性,并表达了对Vercel团队与社区的感激。这段旅程充满挑战,但成就非凡。


22. 美国联邦法院叫停“一键退订”新规

🔗 apnews.com: ‘Click-to-cancel’ rule is blocked

🔥🔥: 102 | 💬: 74 | 🗓️ 2025-07-11


美国联邦第八巡回上诉法院近日裁定,联邦贸易委员会(FTC)提出的“一键退订”规则因程序缺陷无效。该规则原定本周生效,要求企业必须让用户取消订阅服务像注册时一样便捷,并需明确告知免费试用期截止时间及自动续费条款。FTC称此举旨在打击“隐性扣费”乱象,但法院指出,FTC未按法律要求提交初步经济影响分析(规则对经济年影响超1亿美元时需提供)。

FTC辩称最初评估影响不足1亿美元,但行政法官认定实际影响超标。法院最终以“程序缺陷致命”为由撤销规则。目前FTC正专注于针对亚马逊Prime“诱导订阅、退订困难”的诉讼案,该案预计明年开庭。


Image

勒西科技日报

这是一份给聪明人的科技日报,每天推送一篇。内容来自各大英文网站,提供中文摘要。

Back to Overview