Ask HN：在 macOS 27 上是否无法禁用 Siri？

Anthropic 发布基于 Lean 4.33.1 和 Mathlib 的费马大定理完整机器检查证明，遵循 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的论证路线，以 Apache 2.0 开源。

Chrome 官方宣布从 Chrome 155 开始支持解码 JPEG XL（.jxl）图片格式，相比 JPEG 可提供 30-50% 的压缩率，并支持无损压缩、内置 HDR 和无损 JPEG 转码。解码器采用纯 Rust 实现 jxl-rs，配合 SIMD 抽象层兼顾内存安全与性能，官方建议同时尝试 AVIF 和 JPEG XL 以获得最佳效果。

AnyPS5 是一款将 PS5 可执行文件自动移植到 Linux 和 Windows 的工具，通过重链接器转换为目标系统原生格式，无需模拟或独立运行时进程。项目已映射 87% 的系统库函数，验证游戏 Dreaming Sarah 在 GTX 1050 Ti / i5-7500 上稳定运行 60 fps，着色器重编译器可生成 SPIR-V。项目采用 GPLv2 许可，支持 SDL 手柄及键鼠配置。

ArtCraft 团队发布开源图像编辑器 PhotoCraft，以纯 Rust 洁净室方式复刻 Photoshop，支持图层、蒙版、调整图层、图层样式、文字、矢量、笔刷和真实 PSD 文件。

OpenAI 的 Decisions API 公开测试上线，评估文本、图片或两者并以约 10 倍于 Responses API 的速度返回类型化答案，用于内容分类、请求路由和优先级排序。

Polars 团队发布 Polars 2.0。LazyFrame 的 collect 默认使用流式引擎，外存（spill to disk）默认开启，约 80% RAM 时开始落盘。

Cloudflare 推出 Web Search API 公测版，让 AI 智能体和应用可搜索互联网并用实时信息支撑回答。

ArtCraft 推出七款用纯 Rust 从零编写的开源创意应用，涵盖图像编辑、矢量插画、视频剪辑、照片库与 raw 处理、PDF、动效 VFX 和排版出版，其中 PhotoCraft 与 PrintCraft 已进入 Early alpha。

SCM（Screen Memories）发布，可在 macOS 上对任意文件夹内的照片和视频逐帧进行本地 AI 搜索，无账号、无云端、不上传。

pi pod 是一个围绕 pi 编码代理构建的自托管沙箱环境，可在隔离沙箱中运行 pi，并提供精心挑选的最小化工具集。项目作者称其使用体验与现有 pi harness 无异，自托管可保证数据所有权与隐私，适合希望将整个智能体环境放在自有数据中心的团队，托管服务即将推出。