《超级马力欧64》已被制作成 Apple Vision Pro 的互动立体模型，允许玩家将关卡放置在真实桌面上，并用控制器绕其行走，从任意角度观看场景。亮点包括在标题画面拉伸马力欧的脸、探索城堡房间，以及放大关卡直至身在其中。该项目反映了被 Xbox CEO 称赞对玩家有益的反编译与重建趋势，与任天堂下架粉丝移植版和模拟器的做法形成对比。

外部消防梯在19世纪高楼住宅发生致命火灾后变得常见，尤其是纽约1860年要求改造的法律。它们演变成铁梯/阳台系统，但专家对其有效性存在争议；三角衬衫厂火灾显示它们可能失效。随着时间推移，维护、通道堵塞、犯罪、对许多建筑不适用以及实际使用不佳等缺点超过了优点。现代规范转而依赖日常使用的、受保护的、室内防烟楼梯，以及喷淋、报警和耐火材料。建筑规范体现权衡，通常主要适用于新建建筑，形成持久影响；追溯性规定可能锁定某种方案。纽约1860年的改造要求帮助外部消防梯主导了一个多世纪。一个类似的警示：电梯担架尺寸规定提高了成本并降低了可及性。老式铁制消防梯仍带有怀旧色彩，但现代室内疏散通道更安全。

eMudhra 的八个中间 CA 私钥在 P-384 上被意外设为极弱的单字节值，任何人都能从公开证书在几秒内暴力破解。受影响的 CA 包括六个 TLS 中间 CA 和两个代码签名中间 CA（由 Sectigo 交叉签名），创建于 2025 年 4 月。浏览器很快屏蔽了它们，但许多非浏览器 TLS 客户端、CI/CD 工具、脚本、物联网设备以及 Windows 代码签名路径可能仍信任它们，因为它们默认不检查吊销或证书透明度。这使得可以为任意主机名伪造证书，以及可能签名恶意软件。用户应更新操作系统/浏览器 CA 捆绑包、certifi、Node、Homebrew 和容器镜像；无法更新的设备可能在证书于 2039 年到期前持续暴露。eMudhra 将事件归因于创建并选择了弱密钥的仪式脚本/HSM 错误。

联合国环境规划署2026年《排放差距报告》称，巴黎协定1.5°C目标已无法在不超调的情况下实现；升温将超过1.5°C，因此新优先事项是将升温控制在2°C以下，并在2100年前回到1.5°C。为此，全球排放必须较2025年分别在2030年下降18%、2035年下降45%、2040年下降69%，但当前承诺仅能在2030年减排5–8%、2035年减排11–15%。联合国敦促到2035年前每年减排约6%，通过加快清洁能源、电气化、化石燃料淘汰路线图、电网与储能投资、提高能效、削减甲烷以及阻止/扭转森林砍伐实现。到2035年，可再生能源装机必须增至三倍，化石燃料占比大幅下降（煤炭55%、石油15%、天然气5%），到2040年还要进一步削减。到本世纪末，约需移除320吉吨二氧化碳。尽管自2015年以来有所进展，行动仍不足，且必须是全球性的。

请启用JavaScript和cookies以继续

文章批评 BBC Bitesize 的 Roblox 游戏《Increasing Immigration》被指对 11 至 14 岁孩子宣扬开放边境政策。在场景中，驱逐出境会降低经济与公共卫生分数，而大赦或开放边境会提高它们；将开放边境拒绝为“过于激进”则不得分。文章称配套材料更多呈现移民好处而非弊端，并将就业担忧贴上偏见标签。政治人物和前 BBC 人士谴责该内容有偏见，部分要求删除或调查。BBC 表示与教育顾问合作，不接受这一定性，并将审查相关示例。文章将该游戏置于学校和 BBC 材料更广泛模式之中，认为这些材料在正常化高移民，并把边境管控担忧视为偏见或极端主义，最后指出仅靠审查无法解决所谓单方面倾向。

本文将**退相干**定义为系统内局部有效但相互不兼容的模型的累积，使得变更代价高昂且容易出错。AI 正在以不可持续的速度加速这一过程：智能体在未完成工作的情况下生成更多代码与复杂性，而身处压力下的人类早已在增加退相干。与令人恐惧的智能爆炸不同，退相干阻止 AI 在孤立状态下自我改进，因为**相干性**——软件的适应性——只能通过现实世界的反馈来验证，而非在封闭环境中。这导致一种不同的威胁：**退相干崩溃**，即系统变得如此复杂，智能体能够维护它们却无法修复或简化它们，将社会锁定在逐渐衰退之中。本文敦促从快速、碎片化的变革转向重建相干性，强调开源协作是一种已被验证的模式，并警告若无此类努力，我们可能面临数年甚至数十年的停滞。

法国街头骚乱反复在密集街区焚烧汽车、轮胎、电动车和塑料垃圾箱，如同未经监管的危险废物焚化炉。由于这些火以低温闷烧，它们释放致癌物和持久性毒素——苯并[a]芘、二噁英/呋喃、氢氰酸、氟化氢、重金属、苯、甲醛和超细烟尘——而不是安全扩散。轮胎火释放致癌焦油和橡胶化学物；燃烧的汽车释放二噁英和氰化物；电动车电池火灾增加腐蚀性氟化物和有毒金属；塑料垃圾箱释放苯、甲醛和干扰内分泌的残留物。街道层面的烟雾被困在建筑之间，持续数小时，使数百米内的人、宠物和野生动物暴露，而污染物会沉积到土壤和尘土中，持续多年。尽管全市空气质量大幅改善，固定监测站错过了这些局部的骚乱夜有毒烟羽，使缓慢发展的公共和生态健康危机在很大程度上未被测量。即使骚乱者也戴口罩，凸显危险。

NetWasm 是一个独立的 .NET 编译器、运行时和 SDK，可将 C# 和 .NET CIL 直接编译为小型独立 WebAssembly，无需附带桌面 CLR、Mono 或应用程序 DLL。它支持常规 dotnet CLI 工作流、已发布的 JS 模块/Web Workers、WIT/WASI Preview 2 组件、类型化互操作，以及 HTTP、JSON、XML、Regex、DI 等移植库。其紧凑的精确 GC 为 print-42 工作负载生成 47,798 字节的 WASI 组件，小于匹配的 Rust 配置，并且基准测试显示在某些工作负载上分配/GC 比 Mono AOT 更快。Blazor WebAssembly 大得多。NetWasm 提供多种 GC 策略、双目标定位、TUnit 测试以及 wasm32/wasm64 选项。它处于 1.0 前版本，有意采用更小的特性集：不支持广泛的运行时反射、动态加载或托管线程，且部分文件/套接字 API 尚未实现。核心库采用 MIT 许可；编译器/工具使用社区许可，符合条件的使用免费，并提供商业选项。使用 .NET 构建，使用 WebAssembly 主机运行。

这篇文章认为，英国已成为“否决政体”（vetocracy），其中众多否决点让少数群体、机构和监管者能够阻止或加重项目负担。例如，为高铁修建耗资1亿英镑的蝙蝠隧道，以及为核电站建造昂贵的“鱼类迪斯科”。虽然制衡保护自由，但“否决政体”混淆了约束与能力，从而瘫痪政府：约束防止越权，但建设需要能力。可见成本包括停滞的医院、住房与能源项目；隐形成本包括未建成的产品、流失的投资与被侵蚀的经济自由。作者将“否决政体”追溯到过度扩张、微观管理经济的国家，这种国家制造了最终使有效治理变得困难的壁垒。

AI数据中心建设面临日益增长的压力，包括循环融资和供应链风险的审查。台湾美光工会可能于周四在桃园厂罢工，起因薪酬争议，同时与台中另一工会进行调解。此次行动旨在向美光施压以争取更好的利润分配。美光在台湾雇佣约15,000人，生产因AI需求而已经供应紧张的DRAM和高带宽内存芯片。此前调解失败，工会于10月授权罢工行动。计划的停工可能扰乱关键的内存芯片制造中心。

哪些开源项目替代哪些产品，始于 OpenAlternative 列表（CC0），加上我们自己每日搜索新的 GitHub 项目。星标、日期和许可证从 GitHub 实时读取。SaaS is dead 是一个独立项目，与 OpenAlternative 或此处命名的任何产品无关联。产品名称和徽标是其所有者的商标，仅用于识别。价格是我们在供应商网站上查询的标价；可能会变化。© 2026 SaaS is dead

大语言模型正日益能够利用漏洞和编写经验证的软件，但扩展验证需要可信的形式化语义。Basis 的实验使用了一种扩展的 WHILE 语言：大语言模型编写了 Lean 语义，并证明其与 RISC-V 上编译后的 C 解释器匹配。仅靠测试会遗漏实现细节，例如 63 字节的 snprintf 截断，因此证明通过将二进制文件视为真值强制修正。精化定理确保语义既不许可也不遗漏解释器行为。证明内存推理需要为 malloc 提供分离逻辑。在已验证的语义之上，大语言模型构建了类型检查器、程序逻辑、抽象解释器和经验证的编译器。该团队现在计划将此扩展到 Lua、OCaml 和最终 CPython 等真实语言，使关键系统在设计上安全。

禁止 禁止 sin1::6plg5-1792564225663-ab09f7df88d4

Anthropic 在对 25 个开源项目（总计超过 500 万行代码）进行自动化攻击面分析与缩减时测试了 Claude。Claude 使用三种方法发现了 493 个问题：默认配置下可达但不必要的代码、配置选项之间的风险交互，以及在认证等门控之前运行的安全敏感代码。它盘点了超过 17,000 个配置选项，其中 3,842 个与安全相关。发现包括门控项目中不必要的预认证攻击面、162 个风险配置组合（其中 94 个会静默禁用安全控制），以及一个 OpenSSH 问题，其中约 4,500 行 ML-DSA 代码在配置检查前可达；后续 OpenSSH 10.6 的修复解决了该问题。该方法通过让不必要的代码更难被触发来降低未知漏洞的严重性，但并不修复每个漏洞。Claude 的可复用技能运行三轮分析并根据测试验证修改，这种方法可能广泛改善软件安全性。

法国的骚乱不能仅用近期移民来解释，因为法国增加外国出生居民的速度比几个欧洲国家慢。更深层的问题是一个长期存在、融合不好的群体——尤其是来自阿尔及利亚和非洲的第二代、第三代移民——他们被隔离在贫困、隔绝的郊区，经济机会有限。作者将这种隔离比作种族隔离时代的班图斯坦，作为容纳“过剩人口”而非将其融入的比喻。经济不平等和社会分离助长了愤怒。虽然移民和同化失败是更广泛的西方问题，但法国的情况因殖民历史和根深蒂固的隔离而独特。教训是同化不会自动发生：西方国家需要文明自信，并在经济和文化上积极融入新移民及其子女。

在 macOS 上，你可以使用 Secure Enclave 创建受 Touch ID 保护、不可提取的 SSH 身份。设置：使用 `sc_auth create-ctk-identity -l ssh-key -k p-256-ne -t bio` 创建；重启后使用 `ssh-add -K -S /usr/lib/ssh-keychain.dylib` 加载；并使用 `ssh-add -L` 获取公钥用于 GitHub。私钥永远不会离开 Secure Enclave，无法提取，且需要生物识别授权；如果 Mac 损坏，身份会丢失。底层上，`sc_auth` 创建 CryptoTokenKit 身份，而 `ssh-keychain.dylib` 作为 FIDO 风格提供者桥接 SSH 与 Secure Enclave：SSH 加载驻留公钥，Secure Enclave 签署认证挑战并触发 Touch ID。这提供了无需私钥文件的硬件支持 SSH 认证。

Nexus CLI 是一款高性能 Go 工具与本地 API 代理，可让任何应用或编程代理通过免费网页账号使用 DeepSeek V3/R1，无需付费 API 密钥。它包含纯 Go 并行 PoW 求解器、带实时推理流的交互式 REPL，以及一次性/管道查询。内置代理（`nexus serve`）支持 OpenAI、Anthropic 和 Ollama API，可与 Cursor、Claude Code、Open WebUI 等工具集成。还支持结构化 JSON 输出、多账号轮换、基于 Chrome 的认证，以及 Claude Code、Codex、Aider 等的一键启动器。可通过 `nexus doctor` 进行系统诊断。需要 Go 1.20+；从源码构建并全局安装。采用 MIT 许可证分发。

Decker 1.61–1.71 增加了带键盘回退的手柄支持、基于 LZW 的 IMG3 图像压缩、更丰富的装置属性、控件与富文本图案控制，以及更易用的创作工具。Lil 修正了比较、表格和 raze 行为，并新增 trim、ceil、rev、distinct 运算符；API 扩展覆盖 System、App、RText、Sound、Image、Danger、Array、Bits 和 KeyStore。生态系统新增了示例 deck、jam 活动与超过 350 款 itch.io 游戏。创作者还重申，Decker 由人类构建，不使用生成式 AI。

BZO 是一款免费的基于浏览器的 3D 多人坦克游戏，兼容 BZFlag 客户端和服务器，无需安装即可在桌面、手机和 VR 头显上游玩。Node.js 服务器和 Three.js 客户端使用 WebSockets、WebTransport 和 WebRTC。稳定版在 GitHub 发布来自 CHANGELOG.md 的发布说明、源码压缩包，以及在 GHCR 上的多架构 Ubuntu 26.04 Docker 镜像。文档涵盖安装、配置、反向代理、服务器浏览、控制、旗帜、BZFlag 链接和地图格式。VR 使用原生 WebXR，并对头显启动和键盘有特殊处理；一键 VR 按钮仅在真实头显上显示。发布需要干净的 git 工作树、更新后的包文件和变更日志、本地验证，然后提交、打标签并推送；失败的发布不会补发。代码采用 AGPLv3 许可证，而捆绑资源具有混杂的来源和许可，贡献者被要求记录其来源。

这是一个社交博客平台界面模板。它包含Cookie同意通知、登录链接、帖子元数据（经过时间、原帖作者、被转发者、社区）、标签，以及评论、转发和点赞计数。它还包含用于标记或举报帖子和评论的控件，评论、转发和点赞区块，以及带有调度、排队、发布和重复通知的转发对话框。其他元素包括帖子审核状态、回复表单和头像选择。

PHP 的 `session.upload_progress` 在 `php_session_rfc1867_callback` 中存在 use-after-free，它将两个 `zval` 桶指针缓存到活动的 HashTable 中。后续更新重新解码会话文件并释放先前树，留下可能被回收以调用 `zend_call_function`/`system()` 的悬空指针。已在 PHP 8.4.4 和 8.2.34 验证，并提供发行版符号差异。立即通过禁用 `session.upload_progress.enabled`、在边缘限制 multipart 上传、清点 PHP 版本，并在可用时升级到修补版本（8.5.11/8.4.26/8.3.35/8.2.34）来缓解。小团队应立即应用权宜措施。

人类验证 为了继续，您需要通过解决验证码谜题来验证您不是机器人。验证码谜题需要 JavaScript。启用 JavaScript，然后重新加载页面。

Ante 是一种低层函数式语言，它放宽 Rust 的借用检查器，允许更多共享可变性，同时保持静态安全。新设计用“places”（引用所借用的确切值集合）替代生命周期，并在可变操作可能使引用失效时将其标记为 unstable（!）（例如集合元素）。这区分了形状稳定引用（可与之并发可变）和不稳定引用（可能悬垂），从而在无唯一性约束的情况下实现安全的共享可变性。该方法通过带 place 跟踪的 Rc 支持循环可变性，支持 get-or-insert 等复杂数据流模式，以及 Rust 拒绝的观察者模式代码。借用检查归结为：当一个被使用的值的 place 已被移动时报错。线程安全通过类似 Rust 的 Send/Sync 特性和 imm/uniq 引用保持。总体目标是减少借用错误、支持更广泛的设计模式、便于互操作，同时保持完全静态、无运行时检查。

美国与日本开始举行“利剑”联合军演，重点针对日本西南诸岛，包括靠近台湾的与那国岛。两国在该地区部署了新型反舰导弹系统，加剧了与中国的紧张关系。美国部署了射程约115英里的NMESIS，日本则部署了射程约620英里、可抵达中国大陆的25型导弹。美国还向石垣岛派遣了HIMARS，但弹药类型尚不清楚。演习包括4.5万名日本军人和1.1万名美军，以及盟军。一名中国军事专家警告称，部署可能增加误判风险并促使中国进行演习，而中国已在日菲海洋边界会谈后加强了台湾东部的海警和海军活动。

一位爱好者制作了一台定制的 Spectrum Next 笔记本电脑，以解决早期设计中的缺陷。新版本使用废旧笔记本铰链、一块支持 HDMI 和 VGA 的 14 英寸 WXGA 屏幕，以及原装 Spectrum Next 键盘。它运行来自手持 SpeccyX 项目的微型 PCB，节省成本和空间，并包括触控板、双 micro-SD 卡槽、带音量控制和耳机插孔的立体声扬声器、双摇杆接口和 PI USB 接口。外壳先在 CR-10S Pro 上 3D 打印，后经 Shapeways 专业打印，打磨并喷成黑色。后续更新加入了带 10,000 mAh 电池的 12V UPS，提供约六小时的便携使用，以及通过键盘快捷键（Symbol Shift + 光标键）控制 LCD 背光亮度的 Arduino Nano。制造者刻意不修改标准 Next 发行版，让 Arduino 处理笔记本特有的功能。该项目是非官方的，与 Spectrum Next 团队无关。

墨西哥联邦检察官以叛国罪逮捕了前奇瓦瓦州检察长塞萨尔·哈雷吉·莫雷诺，指控他允许美国特工参加4月在埃尔皮纳尔一个疑似毒品实验室进行的未经授权的突袭行动。逮捕发生在一个州法官在另一案中拒绝将他审前拘押数小时之后。这次突袭以一场车祸结束，造成一名州调查负责人、另一名特工以及两名据美联社消息源称是CIA官员的美国人死亡；美国官员未予确认。哈雷吉起初称美国人未参与，后来辞职承认有遗漏，并否认不当行为。联邦总检察长埃尔内斯蒂娜·戈多伊表示，外国人据称参与了保留给墨西哥国家安全力量的行动。州检察官还分别指控他非法执行公职和“结盟”，称他协调了四名美国特工并隐瞒了他们的作用。州法官施加了释放条件并定于10月22日举行听证，但联邦特工几分钟后送达了叛国罪逮捕令。他正在被转移至墨西哥城/阿尔蒂普拉诺。