X.com 网站遇到技术问题，用户可能会看到错误提示。该问题可能与浏览器中启用的隐私保护类扩展程序有关。建议用户尝试禁用相关扩展后，重新访问网站。

《古罗马道路图（2017）》总结：

该作品创建了一张地铁风格的古罗马主要道路图，基于约公元125年的罗马帝国疆域。创作过程中，作者参考了斯坦福大学的ORBIS模型、Pelagios项目和《安东尼行程录》等资料，但发现缺乏一致且全面的历史来源。图中包含真实历史道路（如Via Appia、Via Militaris）和作者为未知名道路创造性命名的线路。

旅行时间估算
实际旅行时间因交通方式和季节而异：

• 步行从罗马到拜占庭需约两个月，骑马需一个月。
• 结合骑马与航海，罗马到拜占庭约25天，罗马到迦太基约4-5天。
• 海路更快更便宜，但为简化地图未包含海上航线。

创作考量与说明

• 仅选择主要道路和重要城市（如人口较多的或行省首府）。
• 地图模式与实际道路旅行存在差异（如无法直接转乘），但注重美观与信息性。
• 部分道路名称经修改（如合并Via Latina与Via Popilia），部分名称为作者创作（常基于沿途地名）。

更新内容
作者根据反馈进行了多项修订：

1. 修正与补充：修正拼写错误（如Gesoriacum）、补充重要城市（如贝鲁特、温迪尼萨）和道路（如英国网络扩展）。
2. 名称调整：
   • 更正道路命名（如Via Agrippa替代原误写的Via Flavia）。
   • 将部分道路名改为更古典的形式（如用拉丁语正确后缀）。
   • 根据历史人物或事件命名新道路（如Via Domitiana、Via Tiberia）。
3. 地理细节优化：调整部分地点位置（如Lugo移至内陆）、完善区域道路布局（如撒丁岛线路延伸）。

该地图提供中文翻译版，由Stone Chen协助完成。

AeroSpace：macOS 上的类 i3 平铺窗口管理器

AeroSpace 是一款为 macOS 设计的类 i3 平铺窗口管理器，正处于公开测试版阶段，可作为日常工具使用，但在达到 1.0 版本前可能会有破坏性变更。

主要特性

• 基于树状结构的平铺窗口管理，灵感来源于 i3。
• 快速工作区切换：无动画，且无需禁用系统完整性保护（SIP）。它通过模拟自身的虚拟工作区来实现，而非依赖原生的 macOS Spaces，因后者限制较多。
• 配置友好：采用纯文本配置文件（default-config.toml），适合管理点文件。
• CLI 优先：提供 man 手册和 shell 补全。
• 正确的多显示器支持：采用类似 i3 的范式。

安装

首选通过 Homebrew 安装以实现自动更新：

brew install --cask nikitabobko/tap/aerospace

注意：该应用未经过苹果公证。Homebrew 安装脚本会自动处理相关属性，以避免“恶意软件”警告。在多显示器设置中，请确保显示器已正确排列。

社区与问题反馈

项目不直接接受 Issue，要求先创建 Discussion。社区讨论在 GitHub Discussions 的不同频道进行，包括：#announcements、#feature-ideas、#general、#potential-bugs、#questions-and-answers 等。

项目状态与未来规划

当前阻碍 1.0 版本的主要问题包括：

• 性能优化：通过实现“每应用一线程”来规避 macOS 的 AX API 阻塞。
• 大型重构：将核心树数据结构从可变双向链表重写为不可变单向持久树，以提升稳定性和性能。
• 实现类 shell 的组合命令（如 ||, &&, ; 和 eval）。
• 研究使用 CGEvent.tapCreate API 实现全局快捷键的可能性（可能区分开左右修饰键）。
• 为支持 macOS 原生标签页等特性奠定基础。

1.0 版本后的重要议题包括粘性窗口和动态窗口管理器。

设计理念与价值观

• 面向高级用户和开发者，以键盘为中心。
• 避免使用 GUI 进行配置，认为文本编辑器对高级用户更高效。
• 注重实用功能，而非外观美化（如边框、透明度、动画）。
• 尽量避免使用“黑魔法”（私有 API、代码注入等），目前仅使用一个私有 API 获取窗口 ID。永远不要求禁用 SIP。
• 目标是易于维护并能抵抗 macOS 更新。

兼容性

维护与相关项目

项目由开发者业余时间维护，接受赞助。相关项目包括 Amethyst 和 yabai。

独立开发者动力管理策略

独立开发者面临的核心挑战之一是维持工作动力。本文作者分享了在实践中总结出的有效方法：

1. 转化外部激励源

• 设置实时订阅通知（如“Money Bots”在主屏幕弹出），利用外部正反馈制造动力
• 监控社交媒体提及，将社区讨论转化为工作激励
• 创建成就里程碑频道（如MRR目标、用户数量等）持续鼓舞士气

2. 留任务未完成

• 每天结束时保留任务90%的完成度，使次日能快速获得进展成就感
• 确保遗留部分需5-10分钟即可完成，避免过于简单的收尾工作

3. 亲自使用产品

• 通过自身使用发现真实痛点，比接收反馈更能激发改进动力
• 从使用体验中获得最佳产品灵感

4. 消除开发痛点

• 主动解决令工作困难的技术问题（如引入RSPC库简化API开发）
• 将摩擦点转化为效率提升的机会

5. 间歇性“无所事事”

• 从社交媒体等高刺激活动切换到工作前，先进行短时间放空
• 让大脑从消费模式过渡到创造模式

6. 定期用户更新

• 通过编写更新内容回顾进展，同时评估工作效率
• 面对现实的工作成果既能激励也能警醒

7. 寻找合作伙伴

• 尽管是独立开发者，拥有互补技能的合作伙伴能提供关键问责制
• 动力波动时互相支持，定期会议可检验工作进度

8. 避免“零成就日”

• 先完成有实质的工作再休息，否则休息时也会伴随负罪感
• 形成“完成工作→享受休闲”的良性循环

9. 顺应灵感工作

• 充分利用突然涌现的灵感和动力，即使在非工作时间
• 采用弹性工作制，优先保证心流状态的工作机会

作者最后指出，这些策略尤其适合有注意力障碍（ADHD）的开发者，通过创造性的自我管理克服启动困难的问题。

文章概要：参与公民气象观测计划

本文由美国国家气象局（NWS）发布，旨在征集拥有个人家庭气象站的公众参与数据共享，以协助改善天气预报和增强气象监测。

核心目的与益处

• 提升预报精度：个人气象站频繁上传的数据可被纳入NWS的数据和显示系统，用于改善计算机模型数据，从而提升当地天气预报的准确性。
• 监测微气候：这些数据有助于识别和了解特定区域的独特温度、风力和降水模式（即微气候）。
• 丰富媒体数据源：电视台气象学家利用这些数据在播报中展示来自小城镇和偏远地区的实时天气状况，这些地点通常没有官方的大型机场气象传感器。

数据如何运作

个人气象站的数据主要通过公民气象观测者计划（CWOP） 这一公私合作项目进行收集和分发。其运作流程如下：

1. 数据上传：成员通过其气象站软件，将数据发送至CWOP指定的服务器。
2. 数据汇集与分发：这些数据被汇入MADIS数据流。每15分钟，完整的数据集会从MADIS服务器发送至NWS服务器。
3. 质量控制与使用：数据经过质量检查后，会被重新分发给包括NWS和电视台在内的500多个用户组织，几乎实时用于天气预报和态势感知。

CWOP计划简介

CWOP是一个全球性的项目，其目标包括：

1. 收集公民贡献的气象数据。
2. 使这些数据可供气象服务和国土安全机构使用。
3. 向数据贡献者提供反馈，帮助他们检查和提高数据质量。 目前，全球有超过7000名注册成员。

如何参与

1. 基本条件：拥有可连接计算机的个人气象站，并具备有线网络连接（如光纤、DSL或有线网络）。
2. 申请加入：访问CWOP网站，按照说明注册成为成员，获取一个CWOP身份识别码（ID）。
3. 设置上传：根据气象站和配套软件的说明书，配置设备以自动发送数据。

文章最后鼓励有兴趣的公众通过CWOP链接参与，并提供了联系方式以解答疑问。

地球上的大多数生命都在沉睡中，研究人员最近发现了一种名为Balon的天然蛋白质，它能紧急“刹停”细胞的新蛋白合成。这一发现为理解普遍存在的生命休眠机制提供了新视角。

Balon：一种新型休眠因子

• 发现过程：Balon最初在北极永久冻土中的耐冷细菌 Psychrobacter urativorans 中被意外发现。研究者通过冷冻电镜观察到，它在低温休眠状态下被插入核糖体的A位点（氨基酸进入通道）。
• 独特机制：与已知的、被动作用于空闲核糖体的休眠因子不同，Balon能主动插入正在工作的核糖体，立即中断蛋白质合成。它像一个“紧急刹车”，而且过程可逆，使细胞能在压力下快速休眠和复苏。
• 普遍性：基因分析显示，Balon或其类似物存在于约20%的已测序细菌基因组中，包括人类病原体结核分枝杆菌和生活在极端高温环境中的嗜热菌，表明这是一种广泛存在的休眠策略。

休眠：地球生命的常态

• 普遍现象：据估计，60%的微生物细胞在任何时候都处于休眠状态。休眠不仅是微生物的专利，在高等生物中也普遍存在。例如，人类卵母细胞休眠等待受精，干细胞在骨髓中静止等待激活，各种动物、昆虫、病毒也都有类似的休眠状态。
• 生存策略：休眠是生命应对恶劣环境（如寒冷、饥饿）的关键生存策略。它通过大幅降低代谢和能量消耗，使细胞能熬过危机，并在条件改善时快速恢复。在不断变化的环境中，种群中总有一部分细胞“随机”进入休眠状态，作为应对灾难的“备份”。
• 能量节省：蛋白质合成消耗细胞超过50%的能量。关闭核糖体是休眠的核心，Balon等休眠因子通过靶向核糖体，为基本生存节约能量。

研究意义与启示

• 方法学启示：Balon在常见模式生物（如大肠杆菌）中缺失，导致长期被忽视。这提示研究自然界中未被充分研究的微生物可以发现新的重要机制。
• 潜在应用：理解休眠机制有助于设计能耐受气候变化的工程生物，或预测哪些物种能在环境剧变后复苏。
• 哲学视角：研究者指出，休眠是生命的“奢侈”暂停键，连接着从北极微生物到人类在内的所有生命。我们生命中近三分之一的睡眠时间，正呼应了这种与生命本质相连的休眠状态。

项目简介

lsix 是一个类似于 ls 的命令行工具，专门用于在终端中通过 Sixel 图形协议显示图像缩略图。它非常适合通过 SSH 远程查看和管理服务器上的图像文件。

核心功能

• 基本浏览：直接运行即可显示当前目录下的图像，支持指定文件名和通配符。
• 广泛的格式支持：底层依赖 ImageMagick，支持几乎所有图像格式（包括 SVG、PDF 等非位图格式）。对于渲染较慢的格式（如 PDF），需显式指定才会显示。
• 多帧展开：指定 GIF 等多帧图像时，会以蒙太奇（montage）形式展开并显示所有帧。
• 环境自适应：
  • 自动检测终端的前景色和背景色，正确处理 PNG/SVG 的 Alpha 通道。
  • 自动检测并提升终端的颜色寄存器数量以优化图像质量。
  • 根据终端窗口宽度（支持 dtterm WindowOps）自动调整每行显示的图像数量。
• 显示优化：当图像数量较多（>21张）时逐行渲染以避免长时间等待；自动换行过长的文件名，并良好支持 Unicode 文件名。

安装与依赖

• lsix 本质上是一个 Bash 脚本，只需将其放入系统 PATH 目录（如 /usr/local/bin）即可运行。
• 唯一的软件依赖是 ImageMagick。macOS 用户可通过 brew install lsix 便捷安装。

终端兼容性

• 兼容 Sixel 的终端：XTerm（需配置启用 vt340 模式）、MLterm、foot、Wezterm、iTerm2、Konsole 等。
• 不兼容的终端：macOS 默认 Terminal、kitty、基于标准 libvte 的终端（如 gnome-terminal、terminator）、Alacritty 等。

配置与已知问题

• 配置方式：工具设计极简，无命令行参数或独立配置文件。用户可直接编辑脚本顶部的变量来修改蒙太奇瓷砖宽度、字体和字号等。
• 已知缺陷：
  • 无法正确检测 XTerm 的反向视频模式（reverse video）背景色。
  • 受限于 XTerm 的 1000px 图像宽度限制。
  • 继承了 ImageMagick 处理特定文件名（如以 @ 开头或空字符串）时的 Bug。
  • 长文件名的换行逻辑不够智能（未优先在空格或标点处换行）。
• 技术选型说明：作者未采用 libsixel 库，而是直接使用 Bash 和 ImageMagick，以保证工具的跨平台性、极简可定制性，以及对更多图像格式（如 xpm、16-bit png）的良好支持。

三菱电机开发的机器人TOKUFASTbot以0.305秒的速度还原三阶魔方，创下吉尼斯世界纪录“最快还原魔方的机器人”。该机器人通过伺服电机连接魔方的每一面，每面可在0.009秒内旋转90度，并配合AI颜色识别算法实现高速还原。尽管视频演示中曾出现0.204秒的还原，但官方记录为0.305秒，仍大幅超越此前0.38秒的纪录。

该项目突显了精密电机控制在制造业中的重要性。网友对魔方能承受如此高速旋转表示惊叹，并讨论了摩擦力、精度等技术挑战。此外，三菱还发布了一系列短视频，将机器人的速度与咖啡洒落、肥皂泡破裂等日常瞬时现象进行对比，以直观展示其惊人性能。

虽然魔方的具体规格未公开，但该成就展示了机器人在高速高精度操作方面的前沿能力。

文章摘要：《TPM GPIO fail: How bad OEM firmware ruins Intel TPM security》

本文揭示了一种通过软件攻击篡改离散TPM（可信平台模块）设备PCR值的攻击方法，可导致使用PCR策略加密的密钥（如无人值守的TPM全盘加密密钥）被窃取。

攻击原理

• 在Intel平台上，离散TPM通过LPC或eSPI总线与PCH（平台控制器中枢）连接，总线复位引脚（PLTRST#）正常情况下仅在硬件系统复位时激活，以重置TPM。
• 攻击利用PCH引脚的多功能特性：操作系统可通过将PLTRST#引脚重新分配为GPIO（通用输入输出）功能，通过软件驱动该引脚低电平一段时间后再拉高，从而模拟硬件复位，使TPM进入"干净"状态。
• 随后攻击者可执行任意扩展操作，获得任意期望的PCR值，从而解封受PCR策略保护的机密。

攻击影响

• 无需物理接触主板即可完成攻击，比之前的物理镊子复位攻击更隐蔽。
• 可用于攻击TPM全盘加密方案（如BitLocker）：例如，通过USB启动设备并提取加密密钥；或在多操作系统环境中，一个系统可访问其他系统的加密数据。
• 可能破坏Intel BootGuard的"仅测量"模式：恶意启动固件可在BootGuard测量后重置并伪造TPM中的测量值，使设备所有者无法检测固件被篡改。

缓解措施

• Intel PCH支持在启动时锁定引脚配置（GPIO锁定位），可防止后续软件执行此攻击。
• Intel声称其《BIOS编写指南》（NDA文档）中包含设置锁定的指导，但作者未发现任何现场设备正确实现了该锁定。
• 开源固件项目coreboot中存在该机制的实现，但在Meteor Lake之前的平台上存在缺陷，且多数主板配置缺少正确的GPIO定义。
• 针对BootGuard攻击变体，Intel拒绝采取缓解措施，认为在物理访问场景下离散TPM本身已是攻击面，且测量模式攻击不构成漏洞。

披露情况

• 漏洞于2024年2月27日私下披露给Intel产品安全团队。
• Intel最初声称此漏洞不影响Intel产品，并错误地认为仅影响MSI产品；后改称可能影响部分OEM合作伙伴。
• Intel未分配CVE，并承诺将通知合作伙伴并加强安全指导。
• 双方同意于2024年6月1日公开披露。

检测工具

作者计划在chipsec框架中实现对此漏洞的检测支持。

总结：本文披露了一种利用GPIO模拟TPM复位的软件攻击，可突破基于PCR的加密保护，并指出多数设备的固件未正确实施缓解措施，对数据安全构成严重威胁。

Don Estridge: 一位“局外人”如何缔造IBM PC

背景：IBM的保守与个人电脑的崛起

20世纪70年代末，IBM是一家庞大的主机计算机公司，内部文化保守、官僚主义严重。高层普遍认为个人电脑（当时常称为微型计算机）是低利润的“昙花一现”，主流市场仍属于大型主机。然而，CEO弗兰克·卡里（Frank Cary）受到苹果II电脑成功的触动，持续追问：“我们的苹果在哪里？” 在他的坚持下，IBM勉强同意在佛罗里达州博卡拉顿的“入门级系统”（ELS）设施启动一个代号为“棋局计划”（Project Chess）的原型项目，由比尔·洛（Bill Lowe）领导，并给予了极其紧迫的一年时间（至1981年8月）将其推向市场。

关键人物：唐·埃斯特里奇

埃斯特里奇是IBM的一名中层管理者，因其直率、不喜 corporate politics 而在公司内显得格格不入。他曾因Series/1小型计算机项目的部分成功而受到注意，但项目整体评价不佳导致他被“流放”至公司被视为“死水”的博卡拉顿。洛认为埃斯特里奇是领导PC项目的理想人选：他敢于打破常规，且具备在IBM复杂政治环境中争取资源的能力。

团队与方法：打破常规的“脏打手”

埃斯特里奇接手后，组建了一个核心团队（被称为“脏打手十三”），成员多为在IBM主流体系中感到不适应的技术人才。他们采用非IBM传统的方式工作：

• 快速开发：在极短时间内，利用现有部件组装出可运行的原型机（演示时展示了火箭升空画面）。
• 自主制造：当IBM内部制造工厂拒绝合作时，埃斯特里奇团队自力更生，在四个月内建成了装配设施。
• 争取资源：埃斯特里奇频繁前往IBM总部，凭借个人魅力和说服力，多次从高层成功获取额外资金和人员支持。

战略决策：瞄准中小企业市场

埃斯特里奇做出了一个关键战略决定：将目标市场从大众家庭用户转向中小企业。他认为这个市场有购买力，且对IBM品牌有信任感。IBM PC的配置虽非创新，但足以以相对低廉的价格（约5000美元）运行文字处理和电子表格等商业软件，这恰好填补了市场空白。

成功发布与影响

1981年8月12日，IBM个人电脑正式发布。它取得了巨大成功：

• 到1983年，占据了个人计算机市场约70%的份额。
• 该部门估值超过40亿美元，年销量超100万台，使IBM旗下一跃成为全球第三大计算机制造商。
• IBM PC定义了行业标准（如开放式架构），并催生了庞大的兼容机和软件生态系统，彻底改变了商业与家用计算的面貌。

结论

唐埃斯特里奇的故事展现了一位被视为“局外人”的领导者，如何利用有限的资源、非正统的方法以及对团队的信任，在一个庞大官僚体系内成功开拓出革命性新产品。他的成功不仅为IBM赢得了个人电脑时代，也为整个计算产业的发展奠定了基础。

Stable Audio Open 是一个开源文本到音频生成模型，专为生成短音频样本、音效和制作元素优化。该模型可根据文本提示生成长达 47 秒的高质量音频，适用于创作鼓点、乐器即兴片段、环境音、拟音（foley）及其他音乐制作与声音设计所需的音频样本。其核心优势在于用户可基于自有音频数据对模型进行微调，例如鼓手可使用自己的录音样本训练模型以生成新的节拍。

该模型与商业版 Stable Audio 存在显著区别：商业版专注于生成结构完整、时长可达三分钟的高质量音乐音轨，并支持音频到音频生成及多声部编曲；而 Stable Audio Open 则专门针对音频样本与音效生成进行优化，适用于短音频片段创作，而非完整歌曲或人声。

Stable Audio Open 基于 Freesound 和 Free Music Archive 的音频数据进行训练，在开放模型能力的同时注重尊重创作者权利。模型权重已通过 Hugging Face 发布，鼓励声音设计师、音乐人及开发者下载使用并提供反馈。该开源版本旨在推动负责任的音频生成技术发展，并与创意社区协同推进后续研发。

西班牙“占屋者”问题全面解析

现象概述 西班牙的“占屋”现象近年来显著增加，成为引发广泛争议的社会与法律问题。本文综合梳理了其法律框架、成因、应对策略、情感影响、改革呼声及公众舆论。

一、法律框架：产权与居住权的博弈

• 核心法律：1994年《城市租赁法》是界定产权与占房者权利冲突的基础。
• 占房者的法律处境：西班牙法律虽未明确允许占屋，但在特定条件下（如房产缺乏妥善维护），占房者可能主张居住权，使得驱逐过程复杂化。
• 产权人的法律工具：产权人可诉诸法律手段，包括现行的48小时内快速驱逐程序，但此流程要求产权人能迅速提供产权证明并报警。

二、问题成因：经济危机与住房短缺

• 经济背景：严重的经济危机导致高失业率，尤其是18至24岁青年群体，因无力负担高昂房价而被迫寻求非法占屋作为最后手段。
• 住房危机：银行因金融危机后接管了大量房产，加剧了住房短缺。类似“受抵押贷款影响民众平台”（PAH）等激进组织在加泰罗尼亚等地活跃，利用多种策略倡导住房权利，凸显了占屋问题的社会根源。

三、应对策略：预防与驱逐

• 预防措施：产权人需采取主动防护，包括安装安保系统、定期巡检、确保房产所有入口安全，并建立邻里监控网络以提早预警。
• 驱逐法律途径：若预防失败，产权人应熟悉法律程序，利用快速驱逐机制，以最大限度减少财产损失和时间延误。

四、情感代价：产权人的个人经历

占屋纠纷不仅是法律争端，更给产权人带来深重情感创伤。许多产权人分享了经历长达数年驱逐过程中的无助、愤怒与被侵犯感。在此期间，他们仍需承担水电费和税费，经济与心理压力巨大。

五、改革呼声：寻求法律完善

鉴于现行法律流程冗长，产权人及法律专家正倡导改革，主要提议包括：

• 缩短驱逐的法律时限。
• 加强对产权的保护。
• 提高对非法占屋行为的惩罚力度。 目标在于通过简化司法程序、堵塞法律漏洞，使产权人能更迅速、公平地收回房产，并遏制占屋行为。

六、公众舆论：两极分化与媒体影响

• 媒体角色：媒体对“占屋者”的报道两极化，既有对其生存困境的同情描绘，也有对其违法行为的负面刻画，深刻影响了公众认知。
• 社会观点：舆论分裂。一部分人视其为应对住房体系失败的必要手段；另一部分人则认为这是对产权和法治的侵犯。
• 政治支持：如巴塞罗那地区领导人、前住房活动家阿达·科洛等政治人物的参与，为运动带来了一定合法性，并推动社会更全面地看待占屋问题背后的经济与社会因素。

核心冲突：“占屋”现象本质上是基本生存需求与产权保护之间的激烈冲突。随着西班牙持续应对住房危机，围绕占屋者的经历与媒体叙事，将继续塑造公众舆论，并可能引导未来的法律改革方向。

战地记者玛莎·盖尔霍恩：诺曼底登陆的唯一女性地面报道者

玛莎·盖尔霍恩是战地报道史上的一位先驱。她最为人铭记的壮举，是在1944年6月诺曼底登陆期间，成为唯一一位从法国奥马哈海滩地面进行报道的女性记者。

登陆诺曼底：勇气与突破

• 冒险登陆：尽管军事当局禁止女性记者报道登陆行动，盖尔霍恩仍通过谎称采访护士，登上一艘从英国前往法国的医疗船“布拉格号”。
• 抵达时间：她并非在6月6日（D日）登陆，而是在6月7日清晨抵达奥马哈海滩。
• 现场报道：她目睹了战役留下的惨烈景象——燃烧的车辆、伤亡的士兵。在登岸后，她通过水救护车登上海滩，协助救治和转移伤员，并从伤员的坚韧与互助中记录下战争的人性一面。她的报道聚焦于普通士兵和平民的遭遇，而非将领或战略细节。
• 职业代价：她因擅自行动被军方逮捕并受到处罚，但其报道已成功发回。

生涯与成就：跨越数十年的战地记录

• 报道范围：盖尔霍恩的职业生涯长达六十年，报道过西班牙内战、纳粹德国的崛起、中日战争、苏芬战争、二战欧洲战场、越南战争、中东六日战争等多次全球冲突。
• 独特视角：她的报道始终将镜头对准受战争影响的平民——妇女、儿童和老人，赋予了战争报道深刻的人文关怀。
• 集中营见证：她是1945年4月首批进入刚获得解放的达豪集中营的记者之一，这次经历让她对人性之恶有了深刻的认识，也影响了她后续的人生观。

个人背景与影响

• 家庭与早期经历：出生于圣路易斯，母亲是女权活动家，曾带年幼的她参加妇女参政游行，这培养了她关注社会正义的意识。她的家族有犹太和新教背景，这影响了她对纳粹暴行的报道。
• 与海明威的婚姻：她与作家欧内斯特·海明威的婚姻关系紧张。在诺曼底登陆报道任务中，海明利用关系抢先获得了随军许可，而盖尔霍恩则依靠自己的冒险实现了登陆。两人的职业竞争加剧了婚姻破裂，于1945年离婚。
• 晚年与离世：直至晚年，她仍坚持报道，曾于85岁时前往巴西采访。1998年，她因健康状况恶化，在伦敦自杀身亡，享年89岁。

历史定位

玛莎·盖尔霍恩以其非凡的勇气、突破性别的职业壁垒以及充满人文精神的报道，确立了自己在新闻史上的独特地位。她不仅是历史的记录者，更是战争中受苦受难者的代言者。

Coder公司优化用户空间Go语言TCP栈性能，将网络吞吐量提升最高5倍。为支持端到端加密并避免系统权限限制，Coder集成了gVisor的TCP网络栈，但发现其在跨地域（高延迟）场景下性能不足。团队实施三项关键改进：

1. 增大TCP缓冲区：吞吐量理论上限与缓冲区大小正相关，与延迟反相关。测试显示默认缓冲区导致吞吐量受限，增大缓冲区后性能显著提升。

2. 引入HyStart算法：解决TCP慢启动阶段的“过度增长”问题。原有算法在连接初期会因指数级增长导致网络拥塞和丢包，引发吞吐量骤降。HyStart通过监测往返时间变化来避免此类抖动，该优化已上游提交至gVisor。

3. 用Go缓冲通道替代进程内丢包：原gVisor的Channel Endpoint在队列满时会丢弃数据包，造成不必要的重传开销。改用Go语言的缓冲通道后，当WireGuard加密处理速度跟不上时，发送操作将被阻塞而非丢包，从而更高效地实现反压机制，部分场景吞吐量翻倍。

这些改进已纳入Coder v2.12版本。团队表示虽已取得进展，但仍将持续优化，直至瓶颈完全受限于底层网络本身。

本文解释了 QEMU 设备的工作原理，核心在于模拟操作系统在裸机硬件上看到的环境，关键点如下：

1. 内存映射是基础：裸机硬件本质上是一个巨大的内存映射。软件通过访问特定内存地址来触发硬件副作用（如读写内存、控制硬盘/网卡等硬件寄存器）。QEMU 的目标是模拟这种内存映射，让客户机操作系统通过普通的内存访问指令，就能实现所有预期的硬件交互。

2. 加速器机制：为了提高模拟效率，QEMU 使用“加速器”。

   • 虚拟化加速器（如 KVM, HAXM）：利用 CPU 的硬件虚拟化扩展。客户机执行指令时，若遇到需要特殊处理的指令（如 I/O 空间访问），会陷入（trap）到 QEMU 进程（称为 vmexit），由 QEMU 的用户态代码通过普通内存访问处理后再返回。这种方式性能接近裸机。
   • TCG 加速器：将客户机指令动态编译为主机指令。虽然比硬件虚拟化慢，但支持跨架构模拟（如在 x86 上运行 ARM 代码）。

3. 设备模拟示例（传统设备）：以 IDE 磁盘为例。

   • 客户机中的 IDE 驱动会按照裸机的规范，向特定内存地址（IDE 控制寄存器）发出读写请求。
   • QEMU 会捕获（trap）这些对模拟寄存器区域的访问，并交由内部的 IDE 设备模型处理。
   • 设备模型解析请求，并通过主机系统调用（如读写文件）实现数据持久化。主机的后端存储可以是各种格式（如 raw, qcow2）和协议（如文件、NBD）的组合。

4. 准虚拟化设备（virtio）：传统硬件（如 IDE, e1000 网卡）的寄存器布局为虚拟化优化设计，频繁的寄存器访问会导致大量 vmexit，影响性能。

   • virtio 是一套专门为虚拟化设计的设备规范，其寄存器布局旨在最小化 vmexit 次数。
   • 它利用“共享内存”技术：客户机将大部分命令队列放在普通内存中，仅通过一次寄存器写入（kick）来通知 QEMU 处理队列，极大减少了陷入次数。
   • 使用 virtio 需要在客户机中安装对应的 virtio 驱动。QEMU 提供了 virtio-net（网卡）、virtio-blk（磁盘）等模拟设备。

5. 总结：QEMU 通过模拟一个内存映射来虚拟化操作系统。高效虚拟化不仅依赖于模拟传统硬件，也依赖于准虚拟化设备（virtio）。后者虽无对应的物理硬件，但通过精心设计的内存映射和交互协议，在虚拟化场景下能提供更好的性能。所有虚拟化的核心，最终都是让一组指令（客户机OS）在用户态程序（QEMU）提供的内存映射上操作，以产生与相应裸机硬件相同的副作用。

Classic Console Neue 字体概述

字体简介 Classic Console Neue 是一款原创的 8x16 ASCII 固定宽度（等宽）字体，主要面向代码编辑和终端显示场景。

支持的字符集 该字体具备广泛的字符和符号支持，具体包括：

• 基础及扩展拉丁字母（Latin, Latin 1/2）
• 西里尔字母（Cyrillic）
• 希腊字母（Greek）
• 亚美尼亚字母（Armenian）
• 希伯来字母（Hebrew）
• 格鲁吉亚字母（Georgian）
• 埃塞俄比亚字母（Ethiopic）
• 卢恩文（Runic）
• 盲文图案（Braille）
• 部分 Nerd Fonts 图标符号

应用场景展示 文档提供了 16px 和 32px 两种尺寸的字体预览，并展示了其在多种主流集成开发环境（IDE）和终端工具中的实际渲染效果，涵盖：

• VSCode
• Eclipse IDE
• FAR Manager
• Putty
• Delphi
• IRC Irssi

Windows 控制台配置指南 若要将此字体设置为 Windows 控制台字体，需要通过修改注册表来实现：

1. 手动在注册表路径 HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows NT\CurrentVersion\Console\TrueTypeFont 下添加对应的字符串值。
2. 或者创建并导入一个 .reg 注册表文件，内容如下：

   Windows Registry Editor Version 5.00
   [HKEY_LOCAL_MACHINE\SOFTWARE\Microsoft\Windows NT\CurrentVersion\Console\TrueTypeFont]
   "0000"="Classic Console Neue"
   

版本与下载信息

• 推荐版本：建议使用最新的 v2 版本，该版本已修复了旧版中的大量问题。
• 历史归档：出于存档目的，仍提供 v1.01 版本（包含 TTF 和 WOFF 格式）的下载链接，但该版本已过时且存在已知缺陷。

DeTikZify 项目概述

目的与问题： 创建高质量的科学插图既耗时又具有挑战性，即使将想法草图绘制在纸上相对容易。此外，重现那些未以保留语义信息的格式存储的现有图表同样复杂。为了解决这个问题，我们推出了 DeTikZify，一个新颖的多模态语言模型。它能够根据草图和现有图像，自动合成保留语义信息的 TikZ 图形程序来生成科学插图。

核心创新：

1. DeTikZify 模型：一个能将图像（草图/插图）转换为 TikZ 代码的多模态语言模型。
2. 基于 MCTS 的推理算法：使模型能够迭代优化其输出，无需额外训练。

项目进展与版本：

• 最新版本 (v2.5, 8b)：基于强化学习从自我反馈中改进，已成为默认模型。
• DeTikZifyv2 (8b)：超越了所有早期版本。
• TikZero 适配器：可直接插入 DeTikZifyv2，实现零样本文本条件生成。TikZero+ 版本则进行了额外的端到端微调。
• 学术认可：TikZero 被 ICCV 2025 接收为亮点论文；DeTikZify 被 NeurIPS 2024 接收为 spotlight 论文。

安装与使用：

• 安装：可通过 pip 安装 Python 包。项目也提供了克隆仓库并以可编辑模式安装的选项。
• 依赖：需要完整的 TeX Live 2023、ghostscript 和 poppler。
• 使用方式：
  • Web UI：推荐用于交互式使用，可通过命令行启动。
  • 编程接口：提供完整功能，包括编译、渲染、保存 TikZ 图形以及运行 MCTS 推理。代码示例展示了如何加载模型、对图像/文本进行采样生成 TikZ 代码，并进行优化。

模型与数据集：

• 所有 DeTikZify 和 TikZero 模型均上传至 Hugging Face Hub。
• DaTikZv2/v3 数据集：由于 arXiv 许可限制，公开版本已移除部分来源于 arXiv 的绘图，但发布了数据集创建脚本以供完整版本的重现。

技术基础：

• DeTikZify 的模型架构实现基于 LLaVA 和 AutomaTikZ (v1)，以及 Idefics 3 (v2)。
• MCTS 实现基于 VerMCTS。
• TikZero 架构借鉴了 Flamingo 和 LLaMA 3.2-Vision。

SpaceX星舰火箭完成第四次试飞并成功溅落

试飞关键里程碑

• 发射时间与地点：2024年6月6日上午8:50（ET）从德克萨斯州博卡奇卡Starbase基地发射。
• 首次受控溅落：发射几分钟后，火箭Super Heavy助推器首次实现受控溅落至墨西哥湾，此前试飞中助推器均被摧毁。
• 飞船成功再入与溅落：发射约一小时后，星舰飞船成功穿越大气层并溅落于印度洋，尽管再入时出现可见损伤和碎片，但仍完成任务。
• 无人飞行：本次试飞未搭载人员，SpaceX强调将进行数百次无人测试后才会载人。

技术意义与目标

• 可重复使用：星舰系统设计为完全可重复使用，旨在成为货运和载人飞往月球及火星的新工具。
• NASA合作关键：星舰是NASA“阿尔忒弥斯”月球计划的重要部分，SpaceX已获数十亿美元合同用于开发载人月球着陆器。
• 递进式改进：SpaceX强调通过“递归改进”从每次试飞（包括失败）中学习，逐步实现可重复使用目标。

火箭技术参数

• 尺寸与推力：星舰与Super Heavy助推器组合高397英尺（约121米），直径约30英尺。
• Super Heavy助推器：高232英尺，搭载33台猛禽发动机，总推力1670万磅，约为NASA太空发射系统的两倍。
• 星舰飞船：高165英尺，配备6台猛禽发动机（3台用于大气层内，3台用于太空真空）。
• 燃料与推进剂：使用液氧和液态甲烷，发射需超过1000万磅推进剂。

历史测试对比

• 前三次试飞：2023年4月、11月及2024年3月的试飞均实现更多里程碑，但飞船最终均被摧毁。
• 第三次测试成果：包括首次在太空中打开和关闭有效载荷舱门，以及NASA演示的飞行中燃料转移。

后续展望

• NASA局长比尔·尼尔森祝贺SpaceX，称此次成功使人类重返月球并进一步探索火星的目标更近一步。
• SpaceX创始人埃隆·马斯克曾表示2023年星舰研发支出约20亿美元，凸显其长期投资决心。

《3D Math Primer for Graphics and Game Development (2011)》书籍主页摘要

本书现可免费在线阅读。

GDC演讲

• GDC 2021: 主题为“Style: Getting There in Style: Intro to interpolation and Control Systems”（风格化抵达：插值与控制系统入门）。提供补充材料。
• GDC 2018: 主题为“Denial-of-Service Mitigation”（拒绝服务缓解）。

常见问题解答

• 实体书获取：本书已绝版，但可能在亚马逊上找到二手书。
• 电子版格式：即将推出优化的电子书版本。目前在亚马逊购买的Kindle版本为“印刷副本”，并非针对电子阅读器优化。
• 封面设计：由Eric Huang创作。
• 开源网络库推荐：推荐使用 GameNetworkingSockets 库。

关于第一版书籍

• 第一版出版于2002年，其封面带有明显的时代风格。
• 作者强烈建议不要使用第一版，因为第二版内容有大幅改进且提供免费阅读。
• 如果坚持参考第一版，作者提供了该版本的勘误表、部分练习答案（至第14章）以及一些旧版代码。

波音公司窃取电动飞机初创公司技术案总结

案件裁决：

• 西雅图联邦法院陪审团于周四裁定，波音公司在与已失败的电动飞机初创公司Zunum的诉讼中败诉。
• 陪审团判决波音赔偿Zunum 8100万美元，法官有权将此金额增加三倍。
• 陪审团认定波音不当获取了Zunum的商业秘密并违反了合同，且波音的行为属于“故意和恶意”。

Zunum的指控：

• Zunum声称，波音在提供种子资金帮助其起步的同时，通过“有针对性的协调行动”窃取了其商业计划、市场和技术分析等商业秘密和专有信息。
• 波音利用这些信息开发自己的混合动力电动飞机设计。
• Zunum还指控波音破坏其从航空航天供应商赛峰集团和联合技术公司吸引资金的努力。
• Zunum曾获得一笔州拨款和来自波音Horizon X风险投资部门及JetBlue Airways风险投资部门的130万美元投资。

波音的辩护：

• 波音辩称，Zunum的失败是典型初创公司失败，即雄心勃勃但能力不足，导致投资者撤资。
• 波音表示，其仅开发了一个“概念性模型”，用于评估Zunum希望建造的飞机类型的可行性，并得出电动飞机短期内在商业客运上不具经济可行性的结论。
• 波音将诉讼描述为“Zunum试图从波音榨取更多金钱的最新尝试”。

案件背景和未来：

• 此案已持续四年多。
• 法官现在将决定确切的赔偿金额，波音将提出上诉。
• 最终结果可能还需数年才能确定。
• 波音尚未公开宣布任何小型混合动力电动飞机的计划。

法律后果：

• 由于陪审团认定行为“故意和恶意”，法官可以判定三倍赔偿加法律费用，这可能进一步增加波音的财务负担。

Omakub：Ubuntu 开发者环境配置工具

Omakub 是由 DHH 开发的一款专为 Ubuntu 24.04 及以上版本设计的“Omakase”（开箱即用/全托管）开发者环境设置工具，旨在帮助开发者快速搭建标准化的 Linux 开发环境。

主要特点与功能

• 一键安装：项目提供便捷的命令行安装方式，用户只需在终端执行 wget -qO- https://omakub.org/install | bash，即可自动完成开发环境的下载与配置。
• 配套资源与社区支持：为了方便用户使用和交流，Omakub 提供了以下官方资源入口：
  • Manual（用户手册）：提供详细的配置说明和使用指南。
  • GitHub：项目的开源代码仓库，供开发者查看源码或参与贡献。
  • Discord：官方社区频道，用于用户交流、问题反馈与讨论。

相关项目推荐

对于寻求更具野心或更深入的 Linux 系统定制方案的开发者，内容中还推荐了另一个相关项目 Omarchy。

根据提供的标题和内容片段，总结如下：

标题核心信息：文章标题表明，SpaceX的星舰（Starship） 飞行测试取得进展，它成功通过了再入大气层阶段，并首次尝试了着陆点火（landing burn）。这标志着星舰项目在可重复使用技术验证上迈出了关键一步。

内容相关提示：文章内容部分显示，尝试查看该文章详情时可能遇到技术问题。平台提示，某些隐私保护相关的浏览器扩展程序可能导致在x.com（原Twitter）上访问异常，建议用户禁用这些扩展并重试。这并非文章主体内容，而是访问时的技术说明。

综合摘要： SpaceX的星舰在最近一次测试飞行中，成功完成了再入大气层的挑战，并执行了历史性的首次着陆点火，朝着实现完全可重复使用的巨型火箭目标前进。需要注意的是，相关的报道文章在x.com上可能因浏览器隐私扩展设置而无法正常加载，需进行相应调整才能查看。

LaTeX项目通过LuaLaTeX生成了首批符合PDF/UA-2标准的PDF文件，这些文件展示了良好标记PDF（Well Tagged PDF）的各个方面。所有示例均为PDF 2.0格式，可通过Google Drive下载完整集合或单个文件，源代码也在相应仓库中提供。

由于PDF/UA-2标准于2024年3月发布，目前能正确验证的工具较少，VeraPDF是一个可用于小型示例的在线验证器。需要注意的是，某些PDF查看器在打开文件时会进行修改（如添加注释功能），可能破坏PDF/UA-2合规性，此时应重新下载并使用其他查看器。

示例文件涵盖多种类型：

• 数学示例：包括三个使用MathML关联文件的小例子，展示了数学公式的关联文件标记方式，同时符合PDF/UA-2、PDF/A-4F、WTPDF/Accessibility等标准。
• amsmath文档：LaTeX数学排版核心包的手册，已增强为良好标记的PDF。
• arXiv论文：从arXiv提供的HTML版本中提取MathML进行标记，采用CC许可协议。
• 经典著作重排：如尼尔斯·玻尔的文集、莎士比亚的《麦克白》、美国标准版圣经等，均在原有源码基础上添加标记以生成可访问PDF。
• 当代文献：包括DEIMS 2024会议论文、PDF协会示例海报、化学数学笔记、考试模板等，展示了从学术论文到教学材料的多种标记实践。
• 非英语文档：威廉·布什的《马克斯和莫里茨》演示了多语言文档、图像及诗歌结构的标记。

这些示例共同证明了LaTeX在生成符合国际可访问性标准的专业PDF方面的能力，涵盖了数学公式、文档结构、多语言支持等关键功能。