AI 与开发工具
大模型公司融资、智能体评测和端侧 AI 正在同时推进；开源工具继续补齐模型训练、量化交易和画图等环节。
- Mistral 斩获 30 亿欧元融资：Mistral 完成 30 亿欧元 D 轮融资，投后估值超过 210 亿欧元。资金将用于扩大模型训练算力、基础设施和海外业务。
- 智能体在测试与验证技术上的实际应用效果如何？：作者让编码智能体用 26 种测试方法实现 Zstd，比较测试驱动开发、模糊测试、属性测试和形式化工具的实际效果。结论是，明确的测试要求不一定稳定提升代码正确性。
- 基于多智能体大语言模型的金融量化交易框架：开源项目 TradingAgents 更新到 0.4.0，修复前视偏差问题，并加入更多数据源、模型和断点恢复能力。它用多个角色分工分析市场和生成交易决策。
- 开源权重模型训练与推理端到端基础设施：Applied Compute 推出面向开放权重模型的训练、推理和持续学习平台，提供数据集、任务运行、追踪和智能体运行环境。
- 我在同一个 Three.js 任务上测试了 10 种“模型+框架”组合：作者用同一份 Three.js 场景需求测试不同模型与编程框架组合，记录耗时、令牌量、评分和是否能直接运行，展示了模型能力与工具链差异。
- TALA 现已开源：软件架构图自动排版算法 TALA 以 MPL-2.0 协议开源。它偏向白板式的正交布局，并尝试兼顾对称、节点距离和分组效果。
- Emacs Bedrock 2.0：轻量 Emacs 配置模板 Bedrock 发布 2.0，要求 Emacs 31。它不依赖第三方包，提供一套可直接修改的基础配置和常用扩展示例。
网络、安全与平台治理
旧加密资产、软件供应链和搜索分发都暴露出风险；澳大利亚则准备要求平台把推荐权交给用户。
- 我破解了一家 90 年代证书颁发机构的 RSA 密钥：研究者从上世纪 90 年代的证书资料中找到过小的 RSA 密钥，并在普通电脑上完成分解。文章提醒，早期 Web PKI 缺少最低密钥长度标准，遗留证书仍可能带来风险。
- 独立维基百科陷入“Google 新牢笼”：Google 在 2024 年后对新域名的收录方式变化，使新建独立维基的内页难以出现在搜索结果中。Weird Gloop 因此将部分维基放在现有域名的子域名下，以避开这一问题。
- 全面筑牢安全防线，我们只剩一年时间：作者担心低成本、开放权重模型会降低漏洞利用门槛，呼吁企业尽快修补已知缺陷。同时提出用大模型辅助发现和修复漏洞，但部署补丁仍是难点。
- 我的信息流，我做主：澳大利亚公布《数字照护义务》草案，拟要求社交平台让用户选择默认信息流：接受算法推荐，或只看自己关注的人和创作者。草案也要求游戏、应用和 AI 聊天机器人减少对未成年人的成瘾性设计。
- 博通下架 VDDK 下载服务，迁出 VMware 变得更难了：博通停止提供 VMware VDDK 下载。该组件被多种虚拟机备份和迁移工具依赖，若限制持续，企业从 vSphere 迁往其他平台会更麻烦。
- 给别人发密码、API 密钥，不想留在聊天记录里？试试 binthere：binthere 是临时文本分享服务，主打端到端加密和阅后删除，适合传递密码、恢复码或 API 密钥等敏感内容。使用前仍应确认链接有效期和接收方身份。
- anystation：呼叫所有电台！一个无需账号、树状呈现的公共留言板：anystation 提供无账号的公共树状留言板。每条内容都有独立地址，支持网页、纯文本和 JSON 访问，也提供搜索与分页。
消费电子与系统软件
华为、小米和 Arm 发布新硬件与图形技术；媒体服务器 Jellyfin 迎来一次需要谨慎升级的大版本。
- 派早报：华为举办 HarmonyOS 7 | HUAWEI Mate XT 2 及全场景新品发布会等：华为发布 HarmonyOS 7、Mate XT 2 等产品。系统加入新的动效、小艺系统级智能体、安全检测和设备互联功能，并启动首批公测。
- Arm Mali G2-Ultra NX GPU：端侧AI图形技术打造台式机级手游体验：Arm 发布首款原生支持 AI 图形处理的 Mali GPU。它把神经网络加速放进图形管线，用于画面重建、插帧和图像优化，以改善手游画质和帧率。
- 小米大折叠屏新机来袭：性能承诺超越三星：小米发布 18 Fold，采用更短更宽的横向折叠设计，内外屏比例接近，并主打轻薄机身、高亮度屏幕和更强规格。
- 小米先行，席卷全球：Arm 拿什么让手游画质迎来史诗级蜕变：小米 18 Fold 首发搭载 Arm Mali G2-Ultra NX。Arm 计划将神经渲染能力带到更多手机、平板和 Chromebook，以较低功耗实现更高分辨率和更复杂的光影。
- Jellyfin 12.0：开源媒体服务器 Jellyfin 12.0 发布，改善数据库和性能，并加强电子书与漫画支持。此次升级会重写数据库，官方建议先完整备份再升级。
- 助力移动智能体（Instinct、Claude Code）高效运行 managers 的虚拟机技术：文章拆解手机端编码智能体背后的运行环境。以 Claude Code 为例，它在 Firecracker 微虚拟机中运行，平台通过宿主机和虚拟机内控制进程管理会话。
- 一日一技｜我的 Windows 11 头像会动，你也可以：Windows 11 默认上传 GIF 头像只会显示静态首帧。文章介绍通过修改注册表启用动态头像的方法，并提醒操作前备份注册表。
汽车与产业
车企继续把生产和软件控制权留在自己手中：雷诺为补贴调整产地，通用汽车则继续收紧手机互联。
- 为斩获本土补贴，雷诺将在欧洲生产售价 1.79 万欧元的达契亚 Dacia Spring 纯电车型：雷诺计划将达契亚 Spring 的生产从中国转到欧洲，以获得法国电动车补贴。该车起售价 1.79 万欧元，补贴后最低约 1.22 万欧元，定位城市短途出行。
- 通用汽车封杀 CarPlay 和 Android Auto，唯独对它网开一面：通用汽车正逐步在燃油车和电动车上取消 CarPlay、Android Auto，转向自家系统和 Gemini 助手。但报道称，2027 款凯迪拉克 Lyriq 仍会保留第三方手机互联支持。
- 5月刚结束隐身模式，Eric Wu 的新公司正致力于解决建筑业用工荒：Opendoor 前 CEO Eric Wu 的新公司瞄准建筑业缺工问题，开发面向一线工人的免手持 AI 助手，提供现场指导和知识支持。
科学与自然
新研究重估袋狼的捕食方式；哈勃则观测到土星南极罕见的十边形云系。
- 已灭绝袋狼“碎骨咬合力”惊人，咬合方式迥异于任何现存哺乳动物：研究显示，袋狼的头骨和咬合方式比过去认为的更特殊，可能具备强大的碎骨能力。它并非简单的“有袋狼”，其生态角色仍值得进一步研究。
- 哈勃望远镜：土星南极周围的十边形星云：哈勃观测到土星南极周围存在十边形云系，与北极已知的六边形风暴不同。研究者推测，这种几何结构与不同纬度气流速度差形成的波动有关。