软件

操作系统、开发工具与开源项目

Turbopuffer重构存储架构,ANN降级为二级索引

Turbopuffer重构存储架构,ANN降级为二级索引。此次变更旨在优化文件布局与查询方式,提升文本、正则及向量搜索性能。新机制突破原有矢量主导架构在聚合操作上的局限,适应更多非典型搜索场景。

微软计划将编码与代理功能集成至Copilot

微软计划将编码与代理功能集成至Copilot,并首次引入Office全套能力。CEO纳德拉在闭门会议中阐述此规划,认为AI对工作方式的变革堪比上世纪80、90年代Office的影响。

微软启动EWS禁用进程,2027年永久退休

微软启动Exchange Online中EWS禁用进程,为2027年4月永久退休做准备。租户默认设置将变更以阻断访问,依赖该服务的应用需强制迁移至Microsoft Graph,本地部署环境不受影响。

Rust编译器性能提升4.57% Polonius Alpha启用

Rust编译器性能提升4.57%,Polonius Alpha启用。两个月内629项基准中555项改善,新借贷检查器精度更高但开销略增,配合LLVM升级及多项优化,显著缩短编译时间。

Google Home更新:优化语音指令修复设备连接

Google Home推送更新,优化语音指令并修复设备连接。新版增强Gemini噪音过滤与多语言识别,修复Matter开关状态显示及视频门铃历史记录错误,同时改进Nest设备配对流程。

Opera安卓浏览器集成eSIM,提供3GB免费数据

Opera安卓浏览器集成eSIM,提供3GB免费数据。该服务覆盖全球47个目的地,连接适用于整部手机而非仅限应用内。用户抵达后可直接激活,无需下载独立App或注册邮箱,有效降低国际漫游成本。

EDG C++前端源码公开,移交C++联盟维护

EDG C++前端源码正式公开,移交C++联盟维护。此次变更旨在确保技术连续性,通过社区贡献、持续维护及集体资助三条轨道开放开发,消除锁定效应,所有产出均对公众开放。

Ubuntu 24.04用户可升级至26.04 LTS

Canonical开启Ubuntu 24.04至26.04 LTS升级通道,因修复rust-coreutils回归问题延迟推送。新版GNOME 50仅支持Wayland,用户可通过命令行或图形界面执行升级。

Halide更新支持iPhone 18 Pro可变光圈

Halide更新支持iPhone 18 Pro可变光圈。此次新增两种摄影外观,但光圈控制范围较同类应用有限,仅四档预设,不及BlackMagic等应用的十档精细调节。

Apple iOS 27推出假冒风险检测功能

Apple在iOS 27推出假冒风险检测功能,通过三级评估预警社交工程诈骗。该功能默认关闭,需用户在隐私设置中手动开启并等待生效,旨在弥补传统安全机制不足,保护用户免受欺诈。

Proton Easy Switch支持Microsoft 365迁移

Proton Easy Switch新增Microsoft 365迁移支持。该工具可自动转移邮件、联系人及日历,但不含文件存储。此举响应欧洲降低对美科技依赖趋势,旨在简化企业向主权软件切换流程。

开源软件StemKit:免费本地运行AI音轨分离

开源软件StemKit实现免费本地AI音轨分离。无需账户或高性能硬件,在迷你PC上处理一首歌约2.5分钟。数据全程保留本地,保障隐私安全,为音乐人提供低成本替代方案。

TLA+在AI代码验证中的能力与局限

Claude Code发明者称Opus可用TLA+检测竞态条件。该工具擅长验证安全性与活性属性,但“正确规范”不等于“正确实现”,且难以直接表达所有系统特性,需理性看待其能力边界。

Firefox 157发布:推Nova新主题及WebRTC硬件压缩

Firefox 157发布,主打Nova新视觉主题。该版本引入WebRTC硬件压缩,修复视频倒置等Bug,并将Firefox Suggest扩展至欧洲16国。新标签页Tab键默认聚焦搜索框,侧边栏支持禁用新版选项。