由于一份未加密的旧密钥副本被意外提交到了私有 GitHub 仓库中，Mozilla 已经更换了用于 Firefox 和 Thunderbird 相关文件（Linux tar 包、RPM 包及校验和）的 GPG 签名子密钥。 内部审计证实，由于只有授权人员能够访问该仓库，因此未发生任何未经授权的访问。旧密钥已被撤销。 **需要采取的操作：** * **手动 GPG 验证：** 手动验证签名的用户必须导入新密钥并撤销旧密钥。 * **RPM 用户（Fedora 42 及更早版本、RHEL、Rocky、AlmaLinux、openSUSE）：** 这些系统上的软件包管理器不会自动更新密钥。您必须手动删除旧密钥并导入新密钥，才能继续接收更新。请使用以下命令（以 RHEL/Rocky/AlmaLinux 为例）： `sudo rpm -e --allmatches gpg-pubkey-14f26682d0916cdd81e37b6d61b7b526d98f0353` `sudo rpm --import https://packages.mozilla.org/rpm/firefox/signing-key.gpg` `sudo dnf clean all` * **Fedora 43+：** 无需采取操作；系统会在下次更新时提示导入密钥。 有关密钥指纹和具体命令的详细信息，请访问官方 [Mozilla 支持页面](https://archive.mozilla.org/pub/firefox/nightly/latest-mozilla-central/)。
每日HackerNews RSS
**Hyperspace** 是一款 macOS 实用工具，它通过识别内容完全相同的文件并将其替换为“节省空间的克隆文件”来释放存储空间。 ### 工作原理 Hyperspace 利用苹果文件系统（APFS）的一项特性，允许多个文件在不改变文件本身的情况下共享相同的底层数据块。从用户角度看，这些文件依然保持独立、完整且功能正常；它们只是占用了更少的磁盘空间。如果其中一个文件后续被修改，它只会保存其独特的更改部分，同时继续与克隆文件共享未更改的数据。 ### 使用流程 1. **扫描：** 选择需要检查的文件夹。Hyperspace 会搜索相同的文件（数据和资源分支字节完全匹配）。 2. **审查：** 查看识别出的文件组。您可以选择将哪些文件保留为“源文件”，将哪些文件转换为克隆文件。 3. **回收：** 完成操作以创建克隆，从而释放空间。 ### 注意事项 * **要求：** 仅适用于 APFS 卷。文件必须归当前用户所有且可读。 * **安全：** Hyperspace 会保留元数据（日期、权限等），并提供将冗余数据移至废纸篓的选项，以便在永久删除前进行恢复。 * **购买：** 该应用可免费扫描，但执行空间回收操作需要进行一次性购买或订阅。
为了规避近期北约土耳其峰会期间伊朗方面可信的暗杀威胁，白宫精心策划了一场“欺敌行动”，以确保唐纳德·特朗普的安全转移。 尽管政府公开宣布——且媒体报道也予以证实——特朗普乘坐一架老式“空军一号”大型喷气式客机离开了安卡拉，但实际上，总统在登机几分钟后就被秘密转移了。安保人员利用一辆机场配餐车，将他悄悄送往一架较小的空军C-32A飞机上。 为了维持骗局，随行的记者被要求在整个飞行过程中关闭舷窗遮光板。这一欺敌手段有效地向媒体及部分白宫工作人员隐瞒了特朗普的真实行踪。C-32A飞机比诱饵飞机提前不久抵达英国，使特朗普得以按计划在原定飞机上从容现身并下机。 白宫并未明确证实该骗局的细节，但强调官员们会动用“一切可用手段”来保护总统免受日益严重的各类安全威胁。此次行动被拿来与2000年为保护比尔·克林顿总统访问巴基斯坦时所使用的类似诱饵飞行进行比较。
编程分布式系统——即多台计算机必须相互通信以完成某项任务——向来极其困难。开发人员经常被手动通信、复杂的漏洞以及令人头疼的测试所困扰。
**Choral** 是一种全新的编程语言，旨在通过让您将系统的“全局视图”编写为一个统一的协议来解决这一问题。您无需分别管理各个部分，而是直接定义各个角色（如 Alice 和 Bob）应如何进行交互。
以下是它成为游戏规则改变者的原因：
* **编译器承担重任：** 您只需编写一次编排逻辑。Choral 编译器会自动为每个参与者生成独立的、完全兼容的 Java 库。
* **安全性保障：** 它能在编译阶段防止分布式系统中常见的错误，例如死锁或通信不匹配。
* **易于集成：** Choral 的外观和行为与 Java 类似。您可以利用现有的 Java 库，并将生成的代码无缝嵌入到当前项目中。
* **简洁性：** 它将分布式协调的噩梦转化为简单的顺序式编程。
尽管目前仍处于研究阶段，但 Choral 已经可供那些希望以更高信心、更少代码量来编写分布式系统的开发人员使用。
回收 3.5 英寸软盘： 我们接受任何数量的软盘。如果您寄送超过 200 张软盘，我们将提供少量运费补贴。 请将软盘寄至： Floppydisk Recycle Program 668 North Coast HWY #1117 Laguna Beach, CA 92651 如需获得运费返还，请随附我们的报销申请表。报销规则详见表格。
该项目为 Apple Silicon (M3/M5 Max) 提供了 MiniMax-H3 模型的原生高性能推理实现。它通过一系列渐进式、经优化的垂直切片构建，重点强调了 Metal 性能和内存效率。 **主要功能与工作流程：** * **交互式会话：** `h3` 命令行工具支持交互式会话（省略 `-p` 参数），提示词预处理和视频解码器保留在内存中，以便快速迭代。 * **条件设置：** 支持通过简单的命令行标志（如 `!ref-image`、`!first`）进行首/尾帧锚定以及有序的图像/视频/音频参考 (Ref2VA)。 * **性能优化：** 针对不同的速度/质量需求提供了激进的预设选项，包括： * **层精简：** `--layers` 参数可减少活跃的 Transformer 模块。 * **去噪重用：** `--reuse` 和 `--core-reuse` 可外推中间过渡帧。 * **Token 缩减：** `--token-reduction` 通过配对水平 Token 来优化处理过程。 * **硬件加速：** M5 Max 用户可利用原生 INT8 量化和 Metal TensorOps，在极小质量损失的情况下实现显著提速。 * **诊断：** `--profile` 标志可提供关于耗时、内存使用量和调度计数的详细分析，`--show` 则支持在终端预览画面。 该系统旨在实现本地、高效的视频合成，在保真度与 Apple Silicon 硬件性能之间取得了平衡。
作者回顾了无密码身份验证的演变，并将现代通行密钥（Passkeys）与史蒂夫·吉布森（Steve Gibson）十多年前推出的 SQRL（安全、快速、可靠的登录）协议进行了对比。 早在 2013 年，作者就是 SQRL 的早期采用者，他意识到利用公钥加密技术取代共享密码是安全领域的未来。尽管作者和他在 Wirehive 的团队曾进行过实验性部署，但 SQRL 却难以实现主流化。其主要障碍在于协调性：它缺乏浏览器、操作系统和大型科技平台所需的广泛支持，难以推动行业变革。 如今，通行密钥在 SQRL 未能成功的地方取得了成功，这在很大程度上是因为苹果、谷歌和微软等行业巨头将该技术集成到了人们现有的工具中。虽然两者之间没有直接联系，但作者认为通行密钥是“成熟后的 SQRL”。归根结底，这篇文章是对那些往往先于其实际市场成功出现的远见卓识的致敬。它强调，虽然时机和平台集成是实现广泛采用的关键，但像吉布森这样的早期先驱者理应获得认可，因为他们在行业准备好实施之前就早已发现了解决方案。
请启用 JavaScript 并关闭所有广告拦截器
### CHICKEN Scheme 6.0.0 版本摘要 CHICKEN Scheme 6.0.0 标志着一次重大的架构转型，重点在于实现完整的 **R7RS（小型语言）兼容性** 以及内部机制的现代化。 **主要变更：** * **核心兼容性：** 所有 R7RS 库模块现已整合至核心中。 * **编码与数据：** 系统内部全面使用 **UTF-8** 编码处理字符串。`(chicken blob)` 模块已被兼容 R7RS 的 `(chicken bytevector)` 字节向量操作所取代。 * **模块重组：** 许多原语已从 `(chicken base)` 移至标准的 `(scheme ...)` 模块中。若干旧版模块（如 `r4rs`、`srfi-*`）已被重命名或移除，以支持标准的 R7RS 等效模块。 * **FFI 与进程：** 外国函数接口（FFI）性能得到提升，现在可以直接传递字符串和符号而无需复制。进程管理经过全面重构；`process-*` 过程现在返回进程对象，而非进程 ID (PID)。 * **编译器与工具：** 新增的编译器选项（如 `-merge-reusable-closures` 等）提升了内存效率。构建系统现在依赖标准的 `configure` 脚本，Windows 支持已转向基于 POSIX 的工具链（例如 w64devkit）。 * **维护工作：** 进行了大量细微的 API 改进，包括更严格的符号打印、改进的路径处理，以及移除了已过时的旧版过程。
宏是 Common Lisp 的一项强大功能，允许程序员通过在编译时生成新代码来创建自定义抽象。与在运行时运行并处理数据的函数不同，宏在“宏展开阶段”发挥作用，在程序编译前直接操作源代码结构。 编写高效宏通常遵循三个步骤： 1. **建模**：写出一个宏调用的示例，以及你期望它生成的代码。 2. **实现**：使用反引号（backquote）语法创建一个 `defmacro` 作为展开模板，并利用解构参数列表来轻松解析输入。 3. **修复泄露**：确保宏不会“泄露”实现细节。这包括避免对同一表达式进行多次求值，并通过使用 `gensym`（生成唯一的、未驻留的符号）来防止变量名冲突。 归根结底，宏允许创建特定领域的语法，从而有效地扩展语言，使复杂模式的表达更加简洁。通过遵循“最小惊讶原则”，程序员可以构建健壮、可重用的抽象，使其行为可预测并能无缝集成到语言中。