作者推出了名为“bsBB”的新论坛平台，专为其数据社区打造。该软件从 Web 1.0 的怀旧风格中汲取灵感，为成员提供了一个既能讨论数据相关话题，又能分享个人兴趣的空间。 该项目突显了作者在使用 AI 辅助编程方面不断变化的理念。相较于底层实现，作者更倾向于高阶的系统设计、API 和行为架构，并利用大语言模型（LLM）来弥补自身技术知识的短板。作者指出，虽然 AI 能让人绕过繁琐的语法和特定的语言细节，但也要求开发者将重心转向严格的项目管理、系统协调以及对极端情况的排查。 构建 bsBB 的过程是一次关于系统思维的迭代式学习——涉及身份验证、内容审核和用户隐私等复杂决策。然而，作者提醒道，依赖 AI 需要保持持续的警惕，因为大语言模型经常会产生“幻觉”或写出有缺陷的代码。最终，作者总结认为，尽管 AI 工具让非工程师也能构建出功能性软件，但这一过程要求使用者具备批判性的管理思维，以把控 AI 的输出并确保系统的完整性。作者将此视为一种“设计框架”的实践，而非单纯的代码编写，以此在技术雄心与当前生成式工具的局限性之间取得平衡。

为了解决 microsandbox 的性能问题（此前文件操作因虚拟机与宿主机之间频繁的 FUSE 往返而变得缓慢），团队从用户空间文件系统转向了内核态方案。 此前，每一次文件操作（查找、读取、状态查询）都要在虚拟机和宿主机之间往返，导致任何缓存优化都失效。在 v0.4 版本中，他们采用了一种原生的 Linux 方法：由宿主机预先使用 **EROFS**（增强型只读文件系统）构建合并后的文件系统镜像，虚拟机随后直接将该镜像挂载为虚拟磁盘。 通过将文件系统逻辑移至客户机内核，团队在其工作负载套件中实现了平均 **47 倍**的性能提升，部分操作甚至提升了超过 1000 倍。为了兑现其在 Linux 和 macOS 上保持“单个自包含二进制文件”的承诺，团队编写了自有的 Rust 语言镜像写入工具，而不是依赖外部的宿主机工具。 这一架构转变还解决了跨平台的大小写敏感性问题，并精简了超过 5300 行代码。结果证明，利用经过实战检验的稳健内核原语（EROFS + OverlayFS），其性能始终优于复杂且定制的用户空间实现。

2026年5月22日，SpaceX在得克萨斯州星舰基地成功发射了首枚新一代“星舰”（Starship）V3版本，完成了第12次亚轨道试飞。尽管超重型助推器和上级飞船均出现发动机故障，但此次任务仍实现了多项关键目标。 此次发射验证了“热分离”技术的成功，并对V3版本的新硬件设计进行了测试。虽然助推器未能完成预定的返回点火并在墨西哥湾坠毁，但上级飞船成功抵达太空，部署了22颗与星链相关的载荷，并在完成预定的水面着陆前进行了结构和机动性测试。 尽管任务中出现了一些技术小插曲——例如上升过程中损失了一台猛禽发动机，导致控制中心被迫取消了太空发动机重启测试——但此次飞行仍是该计划的一个重要里程碑。随着美国国家航空航天局（NASA）着眼于“阿尔忒弥斯”登月任务，星舰V3的研发至关重要。尽管目前需要显著提高发射频率才能实现长期目标，但此次试飞有助于SpaceX重拾动力，进一步完善该运载工具的在轨加油功能，并最终实现载人登月。

请启用 JavaScript 并关闭所有广告拦截器。

为了对抗数字干扰并提高专注力，作者将一台旧的高质量笔记本电脑改造为专用的“写作终端”（writerdeck）。通过彻底移除图形用户界面（GUI），作者在 Debian 系统下构建了一个纯终端、无干扰的写作环境。 该配置包含以下核心要素： * **极简内核：** 仅安装纯文本的 Debian 系统（跳过桌面环境），以强制提升专注度。 * **核心工具：** 使用 `neovim` 进行无干扰编辑，`vim-vimwiki` 用于个人文档管理，以及 `kmscon` 以优化控制台字体和缩放。 * **工作流优化：** 使用 `tmux` 进行分屏，并配备自定义状态栏，通过 `acpi` 和 `light` 显示电量并控制屏幕亮度。 * **连接性：** 使用 `network-manager`（通过 `nm-tui`）处理偶尔的联网需求，并使用 `syncthing` 与其他设备同步文件。 作者将设备配置为自动登录，并实现即时启动，开机后直接进入 `tmux` 会话中的 Vimwiki 索引页。通过剔除浏览器、通知及现代操作系统带来的各种“噪音”，该设备成为了一个专注于写作的工具。这证明了通过改造旧硬件，可以获得比标准桌面端更具意图性且高效的使用体验。

请启用 JavaScript 和 Cookie 以继续。

SPEC CPU 基准测试套件已更新为 **SPEC CPU2026**，包含 52 个经过现代化处理且代码库更大的工作负载。虽然此次更新旨在反映当代硬件需求，但本摘要探讨了其对 AMD Zen 5 和 Intel Lion Cove 等现代 CPU 架构的技术影响。 主要结论包括： * **性能与 IPC**：新套件在整数和浮点测试中均显示出更高且更稳定的 IPC，将重点转向了核心吞吐量。 * **架构挑战**：SPEC CPU2026 带来了更大的指令侧占用空间，常导致代码超出微指令缓存（Micro-op cache）和一级缓存（L1 cache）。不过，现代分支预测器所受压力普遍小于旧版套件，使得 CPU 能够高效地从二级缓存（L2 cache）流式传输代码。 * **方法论争议**：选择陈旧的 Ampere eMAG 系统作为参考基准受到广泛批评，被认为无法有效衡量现代硬件。建议指出，以现代硬件作为更高的参考基准会更合理。 * **结论**：尽管 CPU2026 引入了有益的多样性，但它缺乏像已移除的 *520.omnetpp* 那样低 IPC、重分支的工作负载，而这类负载往往更能模拟游戏性能。因此，它更适合作为现有套件的补充，而非完全替代品。

受博物馆布局的启发，作者将办公桌从靠墙位置移开，转向面对房间，从而改变了工作空间。这一转变营造了开阔感并提供了更好的视野，显著改善了房间的氛围。 除了调整桌子的朝向，作者还重新构想了它的功能。他们摒弃了纯粹以科技为中心的设置，转而采用了一张长而统一的办公桌，并将其划分为两个独立的区域：一个用于编程和写作等专注工作的极简“数字区”，以及一个用于书写日记、规划和创意项目的“模拟区”。 这种双重用途的布局建立了一种明确的心理边界；只需将椅子从一侧移到另一侧，就能切换作者的思维模式。通过平衡极简的高效性与模拟空间的创意灵活性，作者创造了一个更加多元的环境，既能满足专业工作需求，也适合个人反思，甚至能兼顾家庭时光。这种深思熟虑的设计已被证明是一次持久且有益的升级。

“曼哈顿悬日”（Manhattanhenge）是指日落与城市东西向街道网格完美对齐的现象。受此启发，作者开发了 Hengefinder，这是一个旨在计算全球各地此类对齐时刻的工具。 该项目涉及解决三个主要技术挑战： 1. **道路方位角：** 计算街道角度需要考虑球面几何。由于经线向两极收敛，作者学会了通过纬度的余弦值来缩放经度，以确保角度计算的准确性。 2. **太阳方位角：** 利用 Astral 库，作者实现了一种“最后真实”二分查找法，以精准定位太阳圆盘接触地平线的瞬间，而不是等待标准天文定义下的日落时刻。 3. **对齐搜索：** 由于太阳方位角并非单调变化，作者采用了两阶段搜索法：先对全年进行粗略扫描以确定候选时段，随后进行细致的逐日分析。 Hengefinder 证明了这些罕见而美丽的时刻在世界各地不断发生。无论是在阿姆斯特丹的运河上，还是在德克萨斯的高塔间，这些几何对齐现象都在持续发生，无论它们是否被人们庆祝或察觉。

大多数人工智能资料的学习内容都零零散散：一篇论文、一篇微调教程、一个花哨的智能体演示。这些碎片很难拼凑在一起。你发布了一个聊天机器人，却无法解释其损失曲线；你为智能体关联了一个函数，却说不清模型在调用它时内部的注意力机制是如何运作的。 本课程即是你的知识主干。共 20 个阶段，435 节课，涵盖四种编程语言：Python、TypeScript、Rust 和 Julia。从线性代数开始，到自主集群技术结束。每个算法都先从底层数学原理构建。反向传播、分词器、注意力机制、智能体循环。当你接触 PyTorch 时，你早已洞悉其内部运作机理。 每节课遵循相同的流程：研读问题、推导数学原理、编写代码、运行测试、保留成果。没有五分钟的短视频，没有复制粘贴式的部署，也没有手把手的低效引导。完全免费，开源，且专为在你的个人电脑上运行而设计。

意大利已正式签署一份价值 13.9 亿欧元的合同，采购六架空中客车 A330 多用途加油运输机（MRTT），这标志着其国防采购策略的转变。在 2022 年最初选择波音 KC-46 但随后面临招标过程的波折后，意大利最终选择了这一欧洲方案。 此项决定不仅是机队的升级，更体现了其向“以欧洲为中心”的国防生态系统转型的战略意图。尽管意大利依然致力于履行北约承诺，但采用空中客车平台增强了其与另外 18 个正在使用 A330 MRTT 国家之间的互操作性，并将物流和培训的“重心”从美国供应商处转移。 A330 MRTT 具备关键的多任务能力，能够为意大利的 F-35 和“台风”战斗机机队提供更强的力量投送支持，并承担战略运输及人道主义援助任务。通过选择空客而非波音，意大利正在提高自身的自主性，并进一步融入欧洲工业基础。此举反映了一个更广泛的国际趋势，即 A330 MRTT 在全球市场上日益超越其美国竞争对手，巩固了其作为北约及盟国标准加油机平台的地位。

Spacelab 是一个由欧洲制造、安装在航天飞机货舱内的模块化实验室，它依靠 Mitra 125 MS——一种坚固耐用的军用级小型计算机运行。在单芯片微处理器普及之前，Mitra 125 MS 是由数百个分立式晶体管-晶体管逻辑（TTL）芯片构建而成的，其中包括 74181 算术逻辑单元（ALU）。 通过对该系统的逆向工程，可以发现其复杂的架构：它利用三块独立的电路板来实现 32 位 ALU，从而显著提升了这台 16 位计算机在乘法和浮点运算任务中的性能。该项目凸显了计算史上的一个关键时代，它源于法国旨在摆脱美国技术垄断、培养国家技术独立性的“计算计划”（Plan Calcul）。 尽管 Mitra 系统最初是欧洲的骄傲，但为了满足日益增长的性能需求，它们最终在 1991 年被改进后的 IBM AP-101SL 计算机所取代。Spacelab 计算机为前微处理器时代的硬件设计提供了一个迷人的案例研究，展示了在内存有限且电路板级线路复杂的情况下，航空航天级硬件是如何通过简单的集成电路精心组装，从而为关键的太空任务提供动力的。

在从事五年专业 PHP 开发后，作者回顾了这门语言的演变。他指出，尽管 PHP 已经发展成为一种功能强大的通用工具，但其内部依然存在一些反直觉的特性，容易导致严重的程序错误。 文中着重提出了两个主要的痛点： 1. **数组（Arrays）：** PHP 的“数组”实际上是有序的键值字典。这种灵活性导致了“抽象泄漏”：常规操作（如过滤或删除元素）会破坏索引顺序，迫使开发者必须手动使用 `array_values()` 来重置索引，以避免逻辑错误。 2. **类型属性（Typed Properties）：** 作为一门动态语言，PHP 的类型系统深受其历史包袱的掣肘。类型属性存在一种区别于 `NULL` 的“未初始化”状态；访问该状态会导致致命错误，而不是返回默认值。这使得编写防御性代码变得困难，开发者不得不频繁地混合使用 `isset()` 和 `is_null()` 等函数。 尽管存在这些怪癖，作者依然肯定了 PHP 的价值，认为其较低的开发门槛和如 Laravel 这类强大的框架，使其依然是一个实用且可行的选择。他总结道，想要在 PHP 开发中取得成功，必须深入理解其权衡之处，并学会顺应其设计思路去编写代码。

与其将大语言模型生成的代码视为需要人工审查的对象，作者认为我们应将其视为一种新型的“机器代码”。由于大语言模型的输出具有非确定性和高产出量的特点，传统的代码审查正变得不再适用。 然而，这种转变需要审慎的组织策略，而非个人的选择。为了获得真正的生产力提升，企业必须摒弃传统的开发流程（如基于工单的任务分配和人工把关机制），转而采用自主的、以智能体为驱动的流程。由于重构成本显著降低，工程严谨性的重心必须从代码本身转移到对工作内容的定义上。 作者提出，“知识单元”应转变为标准化的、版本可控的规范以及强大的自动化测试套件。在这种模式下，责任在于维护清晰的规范并验证生成代码是否符合要求，而不是手动审计每一行输出。通过重构组织流程以应对“无限”的需求供给，并优先进行规范驱动的开发，团队便能在不牺牲项目完整性的前提下，有效利用大语言模型。

在1880年出版的《挣钱的艺术》（*The Art of Money Getting*）一书中，传奇演艺家P.T.巴纳姆将其一生关于财富与成功的经验提炼为20条实用准则。巴纳姆曾历经巅峰声望与破产困境，他为实现职业与个人稳定提供了永恒的建议。 其核心哲学基于四大支柱： 1. **从事适合你的职业：** 当你从事与自身天赋相符的工作时，成功会更容易。 2. **避免债务：** 债务会损害你的自由与自尊；务必量入为出。 3. **全力以赴：** 三心二意只会导致平庸。若想出类拔萃，必须在每一项任务中竭尽全力。 4. **坚守诚信：** 信誉是你最宝贵的资产；不诚实的做法或许能带来短期收益，却会摧毁长远的潜力。 巴纳姆曾有名言警示：“金钱是极好的仆人，却是可怕的主人。”通过掌握这些原则——专注于你的“专长”、消除债务、高效工作并诚实守信，你便能掌控自己的财务生活。最终，巴纳姆提倡一种有目标的生活，让一个人的工作成为其品格与真实潜力的体现。

本周新闻重点关注了隐私、安全及执法技术领域的重大进展。主要更新包括《移除法案》（Take It Down Act）的颁布，该法案旨在帮助受害者移除未经同意的私密照片；此外，针对数据经纪商操纵性退订流程的打击力度也在加大。同时，美国联邦贸易委员会（FTC）就无效的“主动监听”广告技术与多家营销公司达成和解。 在监控领域，争议不断：尽管一些立法者试图限制该技术的使用，联邦调查局（FBI）仍寻求数百万美元资金，以获取全国范围内的实时车牌识别（ALPR）数据。在网络安全方面，GitHub 遭遇了 TeamPCP 组织的攻击；谷歌则意外泄露了一个尚未修复的重大 Chromium 漏洞，该漏洞允许攻击者劫持浏览器进行持续监控或开展僵尸网络活动。 其他值得关注的新闻还包括：针对一名前警官为美国移民及海关执法局（ICE）提供枪支训练的调查，一名警察与麦迪逊广场花园之间的法律纠纷，以及欧洲国家寻求“无美国参与”的技术替代方案。此外，特朗普政府与硅谷之间的纠葛持续影响着全球科技政策。

本文概述了在 Vim 中配置 Lisp 开发环境的方法，主要介绍了两款主流插件：**Slimv** 和 **Vlime**。这两款插件均采用了与 Emacs 的 SLIME 类似的客户端-服务器架构，通过连接至 Swank 服务器，为 Vim 提供交互式 REPL、基于 Paredit 的结构化编辑、调试以及宏展开等功能。 **核心对比点：** * **安装：** Slimv 遵循标准的 Vim 目录结构，安装过程比 Vlime 更简便（Vlime 需要手动配置运行时路径）。 * **要求：** Slimv 要求 Vim 支持 Python，而 Vlime 则无此要求。 * **功能：** Slimv 的 REPL 交互性更强，并支持 Common Lisp、Scheme 和 Clojure。Vlime 仅限于 Common Lisp，且采用独立窗口显示信息，对部分用户而言可能不够便捷。 * **Paredit 集成：** Slimv 内置了 Paredit，其集成度比 Vlime 更顺畅。 作者推荐使用 **Slimv**，因为它更为成熟，支持的语言更广泛，且用户体验更直观。不过，也建议读者亲自尝试两者，以确定哪一个更契合自己的工作流。文中还提供了针对不同 Lisp 实现（如 SBCL、CLISP、ECL）的详细设置指南及故障排除建议。

**z386** 是一款基于 FPGA 的 CPU，旨在通过恢复的微代码而非传统的 RTL 仿真器来复刻英特尔 80386 架构。z386 在 z8086 项目成功的基础上构建，既是一项教育性的重构工程，也是一款功能齐全的处理器，能够运行真实的保护模式 DOS 软件，包括 DOS/4GW 扩展程序以及《毁灭战士》（Doom）等游戏。 在架构上，z386 模仿了 80386 的“协作单元”结构——包含预取单元、解码器、微代码定序器以及分段/分页单元——而非现代的 RISC 流水线。它融合了针对 FPGA 优化的捷径，例如 16KB VIPT（虚拟索引，物理标记）L1 缓存和基于 DSP 的乘法运算，从而实现了高性能（约 70–85MHz）。 该项目成功架起了硬件考古与现代应用之间的桥梁，提供了高保真的 386 使用体验。尽管其 CPI（每指令周期数）高于 ao486 等现代实现，但它在历史准确性和可用系统性能之间取得了独特的平衡。通过针对 BIOS、DOS 扩展程序和单步模糊测试的严格测试，该项目持续演进，成为重构定义现代 x86 时代架构过程中的一个重要里程碑。

本摘要探讨了将 Rendezvous Hashing (HRW) 作为 Elixir 分布式键映射的一种无状态函数式替代方案，以取代 `ExHashRing`。 虽然 `ExHashRing` 是业界公认的标准，但它需要管理有状态的受监督进程。相比之下，HRW 提供了一种更简单的纯函数式方法，通过计算键在各节点上的权重来确定归属。 其中的权衡在于性能复杂度。基础的 HRW 实现复杂度为 $O(n)$，即与节点数量呈线性关系，随着集群规模扩大，速度可能会变慢。然而，作者引入了一种“骨架（skeleton）”优化，实现了 $O(\log n)$ 的性能，使其速度达到与 `ExHashRing` 相近的水平，且无需维护有状态进程。 基准测试表明，HRW 提供了出色的分布效果，在节点数量较多时，其表现往往优于可能需要增加虚拟节点配置才能维持性能的 `ExHashRing`。作者已在 Hex 上发布了 `hrw` 库，支持基础、骨架、加权和有界策略，为分布式 Elixir 应用提供了一种灵活且轻量级的替代方案。

可穿戴健康设备公司 Oura 正因其数据隐私做法面临越来越多的审视。在与美国国防部和 Palantir 达成备受争议的合作关系后，外界对其保护用户敏感健康数据（包括心率、睡眠模式和位置信息）的能力产生了担忧。 相关报道显示，Oura 的数据并非端到端加密，这意味着信息可能会被公司员工、黑客或政府机构截获或访问。尽管 Oura 承认收到过政府的数据请求，但拒绝披露这些请求的频率或性质。尽管 Oura 在八个月前曾承诺评估发布透明度报告（这是大型科技公司展示问责制的标准做法），但此后对该问题保持沉默。 作为一家拥有超过 550 万用户、估值 110 亿美元的行业领军企业，Oura 面临着放弃其不透明做法的巨大压力。专家认为，如果没有一份正式的透明度报告，该公司就无法充分证明其有效地抵制了过度的政府监控，从而使客户的私人健康数据处于脆弱境地。

我们检测到此浏览器已禁用 JavaScript。请启用 JavaScript 或更换为受支持的浏览器，以继续使用 x.com。您可以在我们的帮助中心查看受支持浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 印刷信息 广告信息 © 2026 X Corp.

作者调查了“Zork”这一名称的词源，并特别针对其源于麻省理工学院黑客术语中“未完成程序”这一常见说法提出了质疑。 在分析了维基百科的编辑历史及相互冲突的历史资料后，作者发现了矛盾之处：一方面，有来源（蒂姆·安德森）声称这是指代未完成工作的术语；但另一方面，包括游戏创作者在内的多位人士在当代访谈中，均将“zork”简单地定义为类似于“foobar”或“frob”的无意义词汇。此外，对理查德·斯托曼（Richard M. Stallman）和理查德·加布里埃尔（Richard P. Gabriel）等20世纪70年代麻省理工学院校友的咨询结果显示，并无证据证实“zork”曾被用作指代未完成软件的术语。 作者认为，该定义很可能缺乏广泛的历史支持，并可能是由于维基百科未经证实的编辑而得以流传。作者对此持怀疑态度，并指出如果它真的是标准术语，理应像“hack”或“foobar”一样保留在计算词汇中。作者邀请任何曾亲身经历过将“zork”用作“未完成程序”同义词的人士提供线索，希望能借此还原历史真相。

HTML `<dl>`（描述列表）元素是一个被低估但功能强大的工具，用于标记名称与值对。它由三个主要部分组成：`<dl>` 容器、代表名称的 `<dt>`（描述术语）以及代表值的 `<dd>`（描述详情）。开发者可以使用 `<div>` 将相关的术语和详情分组，以获得更灵活的样式控制，甚至可以将一个术语关联到多个详情。 尽管开发者经常使用通用的 `<div>` 标签来处理此类布局，但使用语义化 HTML 具有显著优势，特别是在可访问性方面。通过使用 `<dl>`、`<dt>` 和 `<dd>`，屏幕阅读器可以向用户告知列表中项目的结构、长度和位置，与非语义化结构相比，这能显著提升导航体验。 从住宿设施和技术术语表，到诸如《龙与地下城》属性块之类的复杂数据，`<dl>` 元素具有极高的通用性。选择语义化标记而非通用容器，能够为设备提供呈现信息所需的必要上下文，从而改善用户体验。通过采用这些标准元素，开发者可以创建更具可访问性、更有意义且结构良好的网页内容。

```DOE/LANL 管辖区火灾危险等级：跳至内容页面未找到很抱歉，找不到该页面。返回首页```

对于作者而言，特里·普拉切特的书不仅仅是文学作品，更是青春期不可或缺的精神产物。这些小巧、便携且带有颠覆性的平装书，是藏在课本后阅读的绝佳伴侣，为那些感到被成人世界轻视的青少年提供了一处避难所。 普拉切特的作品之所以出众，是因为与当时那些阴郁且自命不凡的奇幻文学不同，他深知这个宇宙既广袤又荒谬。他以一种如同情书般尊重智慧的方式对待年轻读者，通过胆怯的瑞斯温或恪守原则的维姆斯等角色，映照出青少年的内心世界。他的作品不仅带来娱乐，更教会读者如何审视成年人试图影响其思维的方式。 尽管普拉切特已于2015年离世，但他的精神遗产仍留存在受他影响的人们心中。作者哀叹当今青少年缺少这类平易近人且富有智慧的文学作品——即那些带有“会顶嘴的脚注”的书籍。然而，他依然心怀希望：在某个地方，一定还有青少年正把一本破旧的普拉切特小说藏在课桌下，任由一句难忘的新句子沉淀下来，开始在他们的脑海中“掀翻家具”。

为了提升深度学习模型的性能，必须摒弃“炼金术”式的随机尝试，转而从第一性原理出发去理解系统的瓶颈。模型性能通常受限于以下三个要素之一： 1. **计算（Compute）：** 执行实际浮点运算（FLOPS）所花费的时间。这是进行实际工作的“工厂”，最大化这一项是最终目标。 2. **内存带宽（Memory Bandwidth）：** 在 GPU 与内存之间传输数据的“仓库”成本。大多数算子（如激活函数）都受限于内存，这意味着它们花费在搬运数据上的时间多于计算时间。**算子融合（Operator fusion）**——即将多个操作合并为一个以减少数据搬运——是解决此问题的最有效方案。 3. **开销（Overhead）：** CPU（Python/PyTorch）用于管理模型而非执行内核所花费的时间。如果你的 GPU 在任务之间存在“空隙”，则说明受限于开销。这可以通过追踪（如 JIT、CUDA Graphs）来消除运行时的调度成本。 通过对模型进行性能分析，你可以确定具体的瓶颈所在： * **受限于开销？** 使用追踪或 JIT。 * **受限于内存？** 使用算子融合。 * **受限于计算？** 使用专用硬件（如 Tensor Cores）。 确定你所处的“瓶颈类型”，能让你停止盲目猜测，转而进行工程化优化。

在成功反汇编 8086 微代码后，作者与研究人员合作，着手攻克了复杂度高得多的 80386 ROM。8086 的反汇编工作有专利文档作为指引，而 80386 则是一个“黑盒”。通过使用高分辨率芯片显微图像、图像处理和人工智能，团队提取并交叉校验了 94,720 位的二进制数据。 解码 80386 需要识别微操作（μ-ops）、字段结构以及桶形移位器和保护单元等硬件接口的模式。与依赖微代码算法的 8086 不同，80386 使用了更多的硬件加速逻辑，微代码仅作为这些加速器的控制层。每一条指令，包括针对不同 CPU 模式和前缀的指令，均由微代码通过 215 个入口点提供支持。 该项目未发现隐藏的“复活节彩蛋”，但揭示了一个潜伏 40 年的 I/O 权限位图处理安全漏洞。完整的反汇编成果现已发布在 GitHub 上，为深入了解这款标志性处理器的架构提供了难得的机会。这一里程碑由作者与 Daniel Balsom、Smartest Blob、nand2mario 以及 Ken Shirriff 共同努力达成。

C# 正在演进其内存安全模型，从基于约定的假设转向由编译器强制执行的契约。借鉴 Rust 和 Swift 中流行的“不安全 (unsafe)”语义，C# 16 将引入一种正式模型，使不安全代码能够被显式识别、审查和约束。 **主要特性包括：** * **基于契约的不安全机制：** 成员签名上的 `unsafe` 关键字现在作为调用者契约。此类成员的调用者必须将调用包裹在内部的 `unsafe { }` 块中，从而有效地将义务沿调用链向上传递。 * **正式文档：** 每个 `unsafe` 成员都应包含一个 `/// <safety>` 块，用于记录调用者的义务。分析器会标记缺失的文档。 * **边界控制：** “不安全边界方法”可以通过运行时检查（如边界验证）来履行义务，从而抑制不安全性，使其能够从标准代码中安全调用。 * **编译器强制执行：** 该模型是一个可选的项目级设置。一旦启用，不安全代码若无显式标记将无法调用，从而为防止未定义行为提供了强有力的保护措施。 这一转变确保了内存安全成为 C# 开发中一种有意为之的架构设计，有助于更好地审计并更安全地集成高性能或可互操作的代码。预计在 .NET 11 中发布预览版，并在 .NET 12 中全面正式发布。