软件

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

苹果为 iPhone 18 Pro 等新品推送首日更新

苹果9月18日发售iPhone 18 Pro/Pro Max、Apple Watch Series 12/Ultra 4及AirPods 5,并推送首日更新。iPhone 18 Pro国行起售价9999元,Pro Max为10999元;Watch Series 12起售价2999元,Ultra 4为6499元;AirPods 5预计OTA升级固件。

Bend推出LAWS.bend:用形式化证明拦截AI错误代码

Bend语言新增LAWS.bend机制,要求AI代理在修改代码时提供数学证明。开发者声明代码约束后,编译器将强制检查,阻止违反规则的代码合并。相比仅依赖自觉的AGENTS.md,该机制通过形式化验证确保AI生成的代码符合逻辑定律。

Zuckoff应用上架:检测附近Meta智能眼镜用户

一款名为 Zuckoff 的应用近期上架苹果 App Store,通过识别蓝牙信号特征检测附近佩戴 Meta 智能眼镜的用户。该应用由波兰程序员开发,旨在回应智能眼镜隐私争议,上线一个月获约5000名用户。

2026年9月Pixel Drop发布:优化VIP联系人与短信防诈

Google发布2026年9月Pixel Drop更新,适用于Pixel 6及后续机型。本次更新优化了主屏VIP小组件,支持一键拨打和发短信;同时将欺诈检测功能扩展至Gboard,在用户回复可疑信息时提供实时警告。

SDL3 移植到 HarmonyOS / OpenHarmony

SDL3跨平台库完成HarmonyOS及OpenHarmony移植。该工作由Outfit7资助,Icculus执行。目前支持鸿蒙系统的SDL3版本已应用于部分商业游戏,为华为微内核架构终端提供软硬件抽象层支持。

飞书开门,千问、WorkBuddy能抢到活吗

飞书发布8.0及“豆包工作伙伴”,开放CLI功能点增至767个。千问、WorkBuddy等外部Agent虽能进群,但受限于数据连接器配置,能否真正接手核心业务逻辑并促成企业续费,仍待观察。

豆包手机再进App,权限不能只分允许和拒绝

努比亚NaviX Ultra发售,搭载豆包手机助手。GUI操作保留在Beta版,屏幕自动化协议SAEP进入30天公示期。权限开放不再只是允许或拒绝,需区分搜索、读取、支付等不同场景,平衡用户效率与开发者边界。

苹果发布OS 27正式版,Siri AI上线并修复120+漏洞

苹果集中发布iOS、iPadOS等OS 27系列正式版。新版Siri AI以英语测试版上线,支持深度系统操作。iOS 27修复超120个安全漏洞。同时推出26.7版本,为旧设备提供近80项安全修复及功能更新。