最新解读 (第 19 / 48 页)

最新解读

卧底报告揭露美国民兵组织的内部运作

一名自由民兵活动人士花费数年时间渗透进知名右翼民兵组织的高层成员中，记录了他们的内部通信、秘密行动以及与执法机构的联系。

阅读全文 →

propublica.org2026-10-18

理解 Haskell 的 Kind 系统和高阶类型

Haskell 的 Kind 系统提供了一种对类型层面的构造进行分类的方法，从而实现了“高阶类型”（HKTs）。这允许开发者不仅抽象具体的数值，还能抽象如 'Maybe' 或 'Either' 等类型构造器。

阅读全文 →

thunk.blog2026-10-18

DeepSeek 发布用于智能体工作流的 Search 和 Fetch API

DeepSeek 推出了专门的 Search 和 Fetch API，旨在为大语言模型 (LLM) 和检索增强生成 (RAG) 应用提供低廉的单次请求成本，直接获取实时网络内容。

阅读全文 →

api-docs.deepseek.com2026-10-18

纽约众议员提出法案，要求游戏所有权优先于授权许可

拟议的《赋予玩家权力法案》旨在要求视频游戏发行商向消费者提供实际的所有权而非可撤销的许可，同时要求在服务器关闭后提供功能齐全的离线模式。

阅读全文 →

tomshardware.com2026-10-18

关于伊丽莎白·霍姆斯纪录片的叙事机制

一部关于伊丽莎白·霍姆斯和 Theranos 的新纪录片正被分析其如何利用电影技术——如镜头角度、剪辑和信息排序——来操纵观众的感知，并展示观众如何轻易地受到叙事框架的影响。

阅读全文 →

readtheprofile.com2026-10-18

Meta 在全国抗议日期间暂停 No Kings Instagram 账号

倡导团体 Indivisible 报告称，Meta 在全国行动的主要日子期间暂停了 'No Kings' 的 Instagram 账号，在短暂恢复可见性的同时，仍维持着发布限制。

阅读全文 →

indivisible.actionkit.com2026-10-18

Lean 证明助手引入经过验证的内核以对抗 AI 驱动的漏洞

Lean 证明助手发布了 4.35.0 版本，其中包括多个“经过验证”的内核。这些内核旨在提供更高水平的安全保障，确保用于检查数学证明的核心逻辑本身是形式一致的，并降低被 AI 智能体发现的错误或漏洞的风险。

阅读全文 →

leodemoura.github.io2026-10-18

Anthropic 的 Claude 识别出 NIST 椭圆曲线种子的起源

Anthropic 研究团队利用 Claude 模型破解了一个拥有 25 年历史的密码学谜题，发现几个广泛使用的 NIST 椭圆曲线标准种子是使用 1990 年代常见的、由 Unix 时间戳初始化的伪随机数生成器生成的。

阅读全文 →

anthropic.com2026-10-18

低成本激光故障注入平台绕过 RP2350 安全启动

一个定制的低成本激光故障注入平台通过直接针对硅晶圆，成功绕过了 Raspberry Pi RP2350 微控制器的安全启动功能。

阅读全文 →

courk.cc2026-10-18

Codex 桌面应用程序因 Crashpad 转储文件导致磁盘空间无限增长

macOS 上的 Codex 桌面应用用户报告了一个 Bug，该应用的崩溃报告系统 Crashpad 会持续生成待处理的内存转储文件。即使应用程序仍可正常运行，此行为也可能导致本地磁盘占用每天增加数 GB。

阅读全文 →

github.com2026-10-18

Chrome 和 Edge 将弃用 XSLT 支持

Google Chrome 和 Microsoft Edge 正计划移除对 XSLT 的支持。XSLT 是用于将 XML 文档转换为 HTML 等格式的长期技术。虽然一些开发者认为这是摆脱过时技术的必要举措，但也有人指出，在 RSS 订阅源和模块化 Web 组件等特定用例中，目前尚缺乏直接且无缝的替代方案。

阅读全文 →