请启用 JavaScript 并禁用任何广告拦截器。

什么是VitruvianOS？V\OS是一个基于Linux的操作系统，深受BeOS的启发，将经典操作系统的优雅和简洁带到现代。V\OS利用Linux的优势，同时保留BeOS的用户友好特性，提供独特的性能和易用性结合。V\OS通过集成即时构建的内核模块和实时补丁来利用Linux的强大功能，从而提供响应迅速且令人愉悦的用户体验。V\OS在Linux上支持BeOS/Haiku运行时，API更改最小或没有。支持的启动文件系统包括XFS和SquashFS，并支持扩展属性。文件系统索引、实时查询以及多用户支持和图形登录计划在即将发布的版本中推出。默认情况下，该系统配备了包含实时补丁的Linux内核，同时还支持非实时Linux内核。

这个DuckDB扩展通过使用HNSW索引增强了向量相似性搜索，解决了原始`duckdb/duckdb-vss`实现中的一个限制。核心改进是集成了ACORN-1算法，该算法**将过滤谓词推入HNSW图遍历中**。这确保了带有`WHERE`子句的查询（例如，`SELECT ... WHERE category = 'X' ORDER BY distance LIMIT 10`）返回预期的结果数量，而上游版本通常返回的结果较少。 该分支采用了基于选择性的策略：对于选择性在1-60%之间的过滤器使用ACORN-1，对于小于1%的选择性使用暴力扫描，对于大于60%的选择性使用后过滤。可配置的阈值（`hnsw_acorn_threshold`，`hnsw_bruteforce_threshold`）允许进行调整。 基准测试（使用228k电影和Nomic嵌入）表明，召回率得到了显著提高，尤其是在高度选择性的过滤器（例如，日本或韩国电影）的情况下。该扩展不需要特殊的SQL语法；优化器会自动为合适的查询利用过滤后的HNSW搜索。它支持预处理语句，并允许通过`CREATE INDEX ... USING HNSW`创建索引。

虽然中国在太阳能和核能方面投入巨大，但在欧洲“我只看到很多谈论，却没有行动”，而在美国“尽管我们已经能源独立，但我们最好开始关注太阳能……因为我们需要廉价、低成本的电力来发展人工智能”。

## 设备建模语言 (DML) 概要 设备建模语言 (DML) 是一种专门的语言，旨在创建用于虚拟平台开发的快速、功能性的设备模型。它提供诸如寄存器组和事件发布等高级抽象，简化了模型创建。DML 代码由 DML 编译器 (DMLC) 处理，该编译器生成针对特定模拟器（目前是 Intel® Simics®）优化的 C 代码，未来可能会扩展。 构建 DMLC 需要 Simics 安装，并涉及将 DML 仓库检出到 Simics 项目中，然后执行 `make dmlc` 命令。测试通过 `make test-dmlc` 进行。 几个环境变量可以辅助开发，包括 `DMLC_DIR` 用于指定编译器位置，以及 `DMLC_PATHSUBST` 用于提高错误消息的清晰度。 DMLC 还提供用于性能分析、通过创建存档隔离编译问题以及收集代码生成统计信息 (`DMLC_GATHER_SIZE_STATISTICS`) 以优化模型大小和编译时间等功能。这些统计信息突出了代码改进的领域，例如利用共享方法或重构循环。

## 杰弗里·爱泼斯坦死亡事件的挥之不去的问题 关于杰弗里·爱泼斯坦2019年狱中自杀的官方说法，正受到“爱泼斯坦文件”中揭示的证据日益挑战。尽管当局裁定他的死为自杀，但诸多不一致之处和可疑情况引发了广泛的质疑。 关键问题包括监狱安保的失误——爱泼斯坦被关押在与暴力囚犯的牢房里，监控录像丢失或损坏，并且必需的囚犯检查被伪造。据报道，在关键时刻，狱警要么睡着了，要么分心了。加剧疑虑的是，在他去世前一天，牵涉到权势人物的爱泼斯坦犯罪记录被解封，并且爱泼斯坦被允许进行未受监控的电话。 进一步的调查显示，尸检报告存在差异，包括报告中显示存在前列腺，尽管爱泼斯坦曾接受过前列腺切除术，并且没有记录显示存在肿瘤。死后活动，例如继续使用爱泼斯坦的联邦快递账户和在线游戏资料，更增添了神秘感。 司法部对调查的处理方式——包括销毁文件、激进的删减以及优先压制信息而非彻底调查——进一步削弱了公众信任。许多人认为正在进行掩盖，暗示爱泼斯坦可能被消灭以保护一个有影响力的网络。尽管确凿的证据仍然难以捉摸，但大量异常情况严重质疑了官方说法，并指向了一个更加复杂的故事。

亚利桑那州坦佩市“A”山上为庆祝斋月而安装的15英尺新月形装置最近遭到破坏，造成2万美元的损失。该装置是当地穆斯林学生团体和伊斯兰中心的一个项目，旨在成为菲尼克斯穆斯林社区的一个可见象征，该社区的规模在过去十年中几乎翻了一番。 在美国，针对伊斯兰场所的宗教动机破坏行为较为罕见——远不如针对基督教教堂的袭击频繁——但此事件引发了人们对紧张局势升级的担忧。文章指出，西方世界对伊斯兰教的不信任感正在增长，这受到地缘政治事件、对进步政治的 perceived exploitation（被利用）以及与其他国家移民相关的欺诈和犯罪问题的影响。 作者认为，公开展示伊斯兰象征符号可能适得其反，鉴于现有的公众情绪，建议在美国采取更谨慎的方式来实践信仰。市官员谴责了破坏行为，重申坦佩市致力于宗教包容性。

arXivLabs是一个框架，允许合作者直接在我们的网站上开发和分享新的arXiv功能。个人和与arXivLabs合作的组织都接受并拥护我们的开放、社群、卓越和用户数据隐私等价值观。arXiv致力于这些价值观，并且只与坚持这些价值观的合作伙伴合作。您是否有为arXiv社群增加价值的项目想法？了解更多关于arXivLabs的信息。

上周，一架美国F-35战斗机在伊朗上空执行任务时受损，被迫在中东紧急降落。美国中央司令部（CENTCOM）确认飞机被击中，飞行员情况稳定，但细节仍然匮乏。 报告显示，飞行员受伤，可能是被地对空导弹的碎片击中。伊朗声称击落了这架飞机，CENTCOM对此尚未否认。这将是当前冲突中首架被击中的F-35战斗机。 该事件发生在该冲突早期的一起争议事件之后，当时据称三架美国F-16战斗机在科威特上空被友军火力——科威特防空系统——击落，五角大楼如是说，但这一说法受到了广泛的怀疑。这两起事件目前正在调查中。

## Lean 4 与无错误套接字编程 传统语言（如 C、Python 和 Rust）中的套接字库，通常通过运行时检查、文档或寄希望于最佳实践来处理对套接字 API 的潜在错误使用（例如，在未绑定的套接字上发送数据）。这些方法不可避免地将错误检测推迟到运行时。Lean 4 提供了一种新颖的解决方案：**使用依赖类型在编译时强制执行套接字状态机。** Lean 4 将 POSIX 套接字协议的状态（fresh、bound、listening、connected、closed）编码为 `Socket` 结构体内的类型级别参数。像 `bind` 和 `listen` 这样的函数会根据这些状态显式声明前置条件和后置条件。然后，编译器会*验证*这些条件；尝试无效操作（例如，在 `fresh` 套接字上 `send`）会导致类型错误，在*运行前*发生。 至关重要的是，状态信息和证明义务会在编译期间被擦除，从而产生与原始 C 代码一样高效的代码。一个关键特性是通过证明义务来防止双重关闭——编译器会验证套接字是否已经关闭。这种方法消除了运行时开销，同时保证了协议的正确性，提供了一种经过数学验证且性能优越的解决方案。

参议院司法委员会发布的文件显示，前特别检察官杰克·史密斯的“北极霜冻”调查传唤了现任联邦调查局局长卡什·帕特尔多年记录。这些传票于2020年10月至2023年2月向Verizon发出，要求提供帕特尔的电话记录、财务信息和短信。 帕特尔曾是特朗普政府官员，也是前总统的直言不讳的支持者，他称这些传票“令人震惊”，指控它们是在可疑的理由下秘密获得的。“北极霜冻”调查还针对其他特朗普盟友，并扣押了特朗普总统的电话，重点调查了涉嫌干预2020年选举认证的行为。 史密斯辩称，这项调查对于了解破坏权力交接的企图是必要的。共和党参议员格拉斯利和克鲁兹则将其比作“现代水门事件”，指责联邦调查局进行政治动机的针对。民主党参议员怀特豪斯则认为，鉴于帕特尔的公开声明以及他可能作为证人的角色，这些传票是合理的。

你需要启用 JavaScript 才能运行此应用。

## AI 数据中心向直流供电的转变 英伟达的 GTC 大会强调了一个关键挑战：随着 AI 芯片功耗的增加，数据中心基础设施难以跟上。一个主要瓶颈是低效的电力输送，传统上依赖于多次交流电到直流电的转换。Delta、Vertiv 和 Eaton 等公司正在通过转向直流配电设计来应对，尤其是在超大规模数据中心。 目前的数据中心多次转换电力——从高压交流电到低压交流电，然后再到服务器所需的直流电——导致能量损失和大量的铜材需求（每 1MW 机架可能需要 200kg！）。高压直流 (800VDC) 系统旨在绕过这些转换，直接为服务器供电，从而显著提高效率（高达 5%）并减少铜材用量（可能减少 45%）。 早期采用者正在中国出现，像 Mt. Diablo Initiative 这样的倡议正在试验 400V 直流电。虽然全面行业转型需要标准化的安全框架和强大的供应链，但供应商正在开发预计最早在 2026 年即可商业化的 800VDC 生态系统，这标志着数据中心电力架构的重大转变。

美国租金增长正在放缓，从2025年1月到2026年仅增长2.8%——这是自2021年以来的最低增长率——这得益于住房供应的增加。虽然这表明市场正在稳定，但可负担性仍然是一个重要问题。 尽管租金增长放缓，但租金水平仍然远高于疫情前的水平，且工资增长未能跟上。这种缓解是不均衡的；阳光地带的城市，如奥斯汀，已经从峰值价格中出现下降，但此前经历了快速上涨。值得注意的是，高收入租户从奢侈品市场的价格软化中受益更多，而低成本租赁的缓解仍然有限，甚至出现更大幅度的上涨。 目前，大约有一半的租户负担过重，住房支出占其收入的30%以上。尽管这是一个积极的趋势，但降温的市场尚未带来普遍的可负担性，特别是对于那些已经为住房成本所困扰的人来说。

请启用 JavaScript 并禁用任何广告拦截器。

## 北美机场状况 - 今天 本报告提供了今天北美主要机场的状况快照。多家机场正经历重大干扰，特别是航班取消和延误。 拉瓜迪亚（LGA）、温哥华（YVR）、哈利法克斯（YHZ）和普埃尔塔巴亚尔塔（PVR）报告了**高取消率**。拉瓜迪亚机场也受到**地面延误**的影响。 许多枢纽机场普遍存在**显著的航班延误**，包括夏洛特（CLT - 52%）、肯尼迪（JFK - 80%）、纽瓦克（90%）和卡尔加里（67%）。**航班到达延误**也很普遍。 一般来说，美国南部机场（迈阿密、劳德代尔堡、达拉斯/沃斯堡、凤凰城）的航班到达准点率很高，而多家加拿大机场（多伦多、蒙特利尔、渥太华）的航班到达准点率达到100%，但存在显著的航班延误。 有关最新信息，请查阅完整报告以获取特定机场的详细信息和实时更新。

与迪伦·穆尔维尼合作三年后，百威淡啤持续面临显著的销量下滑，成为“觉醒”营销适得其反的警示案例。高盛的一份最新报告，基于代表美国近三分之一零售店的啤酒分销商的反馈，显示百威淡啤的表现依然疲软，尽管营销投入有所增加。 虽然整体啤酒消费量正在下降，因为消费者正在探索替代品，但百威淡啤和百威啤酒的表现尤其不佳，而密歇罗超轻啤酒正在获得进展。行业预计夏季销量会略有改善，但总体销量仍预计下降1%。相反，星座品牌预计将蓬勃发展，并获得了高盛分析师的“买入”评级。百威淡啤的情况凸显了有争议的营销决策可能导致品牌迅速受损的潜力。

最近的美国国税局数据显示，截至3月13日，2026年的平均退税金额为3623美元，比去年同期的3271美元增加了10.8%。虽然近几周退税金额略有下降，但报税季初期曾一度增长超过14%。 这一增长主要归功于2025年的“美好大账单法案”，该法案包括减税和针对加班费、小费和汽车贷款等项目的新的扣除额，正如财政部长贝森特所宣传的那样。该法案还提高了儿童税收抵免，并为老年人提供了扣除额。 然而，这些退税是在汽油价格上涨的情况下发放的——全国平均价格接近每加仑4美元——这归因于地缘政治紧张局势和石油供应中断。国税局还提醒纳税人，2022年价值12亿美元的退税仍未申领，申领截止日期为4月15日。

这个Github仓库详细记录了作者构建一个C语言子集SubC的自编译编译器的过程。该项目最初是作为对编译理论的实践探索，从词法扫描和解析开始，逐步记录了函数、循环、结构体甚至预处理器等复杂功能的实现。 编译器最初的目标是ARM汇编，后来扩展到包含6809 CPU的后端，以及使用QBE的新后端。开发过程中涉及多次迭代、错误修复和优化，包括寄存器溢出和常量折叠。 虽然SubC现在基本完成，但作者已经转向一个新的语言项目alic，利用了SubC的一些想法和代码（并对Nils M Holm的公共领域作品进行了适当的许可声明）。仓库中的代码采用GPL3许可，而文档采用知识共享署名-非商业性使用-相同方式共享4.0许可。

美国能源部（DOE）正在捍卫其发布紧急命令以防止化石燃料发电厂退役的权力，在联邦上诉法院辩称，其在《联邦电力法》下的权力范围广泛，并且不需要*迫在眉睫*的危机。这些命令始于去年，目前影响六座发电厂，总容量为4300兆瓦，理由是电力需求增加和潜在的电网可靠性问题。 一个关键案例涉及密歇根州的J.H. Campbell煤电厂，该州、像Sierra Club这样的环保组织和其他方面对其提出了质疑，他们认为能源部没有证明真正的能源紧急情况。能源部认为，《法案》赋予部长根据需求增加和新发电不足等因素确定紧急情况的自由裁量权，并且不强制要求进行特定分析。 自该命令发布以来，Campbell电厂已发电360万兆瓦时，给Consumers Energy造成了约2.54亿美元的成本。能源部认为，这些命令对于公共安全至关重要，尤其是在预料到极端天气的情况下。他们请求任何法院裁决将问题发回能源部进行审查，而不是直接阻止未来的命令。类似的命令已针对华盛顿州、科罗拉多州、印第安纳州和宾夕法尼亚州的发电厂发布。

## PS2 上的 LLM：复古 AI 壮举 一位开发者成功在 PlayStation 2 上运行了一个大型语言模型 (LLM)，这款主机已有 26 年历史，证明了即使在硬件限制下也是可行的。这是通过从头开始构建一个定制的 PS2 SDK，并巧妙地从 CD-ROM 流式传输模型权重来实现的，从而绕过了主机有限的 32MB 内存。 当前默认模型“brandon-tiny-10m-instruct”（10M 参数，Q8 精度）使用定制的量化格式 (PSNT) 来最小化尺寸。更大的模型（高达 77MB）也可以运行，但会增加 CD-ROM 的访问次数。 该项目依赖于仅将必要的数据——激活值、KV 缓存和 token 嵌入——在推理期间流式传输到 RAM 中。提供了 Python 工具，用于将模型从 Hugging Face 格式转换为 PS2 兼容的 PSNT 格式，支持三元、Q4 和 Q8 等量化级别。完整的项目，包括源代码和模型细节，可在 [naranjositos.tech](https://naranjositos.tech) 找到。

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

## 评估大型语言模型面临的挑战 大型语言模型（LLM）带来了一个独特的挑战：我们现有的语言和框架无法很好地理解它们。它们既不是机器，也不是思维，而是一种全新的存在——本质上是复杂的统计引擎，而非逻辑思考者。这导致我们错误地将“思考”、“幻觉”甚至“意图”等概念应用于描述它们的功能，从而塑造了我们的认知，并阻碍了客观评估。 我们陷入了一种“心智的空想性”，在只有模仿的地方看到智能，就像基于表象而非真正理解通过一个有缺陷的图灵测试一样。对话式的“聊天”界面进一步强化了这一点，鼓励我们将LLM视为对等物，并仅仅因为我们在互动中投入了精力而接受次优的结果。 最终，我们常常“惊叹于狗能从乐器中发出吱吱声”——对智能的*表象*印象深刻，以至于未能批判性地评估输出的*质量*。为了前进，我们需要新的语言——或许可以从小说中汲取灵感，将LLM定义为“人工制品”或“实体”，并且愿意谨慎地对待它们，避免将人类属性投射到这些根本不同的创造物上。

## Meta 被裁定对平台上的儿童安全负有责任 新墨西哥州陪审团裁定 Meta（Facebook 和 Instagram 的母公司）未能保护儿童免受在线掠夺者的侵害，并存在欺骗行为，判令该公司支付 3.75 亿美元的赔偿金。 这起诉讼由新墨西哥州总检察长提起，指控 Meta 因未能充分保护其平台而制造了“滋生剥削”的环境。 这是首次陪审团裁定 Meta 对这些问题负责，此前多年来，家长、倡导者和立法者一直对此表示担忧。 提供的证据包括举报人的证词，详细说明了被高管忽视的内部警告，以及卧底调查的细节，在该调查中，州政府创建的虚假资料受到寻求接触儿童的个人的联系。 Meta 计划上诉，重申其对青少年安全的承诺，并辩称其大力投资于保护措施。 然而，此案是社交媒体公司面临的更广泛的法律挑战的一部分，这些挑战涉及青少年安全问题，目前在洛杉矶还存在针对 Meta 和 YouTube 的另一起案件。 新墨西哥州正在进行的案件可能会导致进一步的处罚和平台变更。

加州默塞德市学区，尽管服务超过11,000名学生，但只有13%的学生达到数学熟练水平，却拨款61万美元用于“校园说唱”项目，该课程利用说唱音乐和歌曲创作来提高学生的参与度。该项目包括“说唱营”和文化主题课程，旨在通过音乐连接历史和文化。 虽然支持者认为这种方法能培养兴趣，但批评者认为它会分散对阅读和数学等基本技能的注意力，而这些技能需要直接教学。鉴于学区现有的困境和有限的资源，人们也对该项目的资金投入表示担忧。 此外，学区的“非裔美国人亲和小组”受到了联邦官员，包括司法部的审查，引发了与基于种族的项目和平等保护原则相关的潜在法律问题。 随着加州教育系统因学生成绩落后而面临持续压力，人们开始质疑是否应该优先考虑参与度而非可衡量的学术进步，以及未经验证的策略是否是资金的最佳用途。

GEM（图形环境管理器）是Digital Research开发的一款早期GUI，比Windows 1.0早近九个月。它受到Apple Lisa的启发，最初因相似之处面临来自Apple的法律威胁，导致设计妥协，使得PC版本显得笨拙。虽然由于性能问题和缺乏软件，GEM在IBM PC上难以获得进展，但它在Atari ST上作为默认GUI获得了成功。 Atari ST更快的处理器使得GEM的性能问题不再那么突出，并且其捆绑销售确保了软件的可获得性。然而，软件盗版和平台缺乏完善最终导致了ST的衰落。 在PC上，GEM于1988年停止使用，部分原因是微软日益增长的统治力和OEM协议。它作为Ventura Publisher等应用程序的运行时库而延续。1999年，其知识产权被发布为开源，但开发最终停止。最终，GEM的潜力受到法律压力、硬件限制和微软市场力量的共同阻碍。

## Video.js v10.0.0 Beta：全新重写 Video.js 正在进行重大升级，发布了 v10.0.0 Beta 版本，这是与 Plyr、Vidstack 和 Media Chrome 合作的结果——这些项目在 GitHub 上总共拥有 75,000 个星标。这次重建的重点是使播放器现代化，以适应当今的网络开发实践，并为未来的 AI 功能做好准备。 主要改进包括**默认包大小减少了 88%**，这得益于取消捆绑自适应比特率 (ABR) 支持以及新的流媒体引擎框架 (SPF)，该框架仅包含必要的代码。该架构现在具有高度可定制性，**一流地支持 React、TypeScript 和 Tailwind**，并利用可组合组件以获得更大的灵活性。 团队优先考虑了更好的开发体验，提供了**无样式的 UI 原语**和用于常见用例（视频、音频、背景视频）的预构建**预设**。他们还优化了代码库以适应 AI 代理，提供了更好的文档和组件结构，以支持 AI 辅助开发。 虽然目前仍处于 Beta 版本，并且与先前版本的功能完整性不完全相同，但 v10 旨在成为一个更高效、更可定制且更具未来感的视频播放器。预计全面发布时间为 2026 年年中。

全球能源市场正面临“严峻”局面，由于美国、以色列和伊朗之间冲突升级，对供应中断的担忧日益加剧。 担忧的中心在于石油和天然气流动可能中断，尤其是在霍尔木兹海峡，尽管有关与伊朗谈判的报告存在分歧。 亚洲已经感受到了最直接的影响。 越南航空公司和VietJet正在减少航班，因为喷气燃料短缺，越南正在实施燃油附加费。 菲律宾警告航班可能停飞，而泰国正面临柴油短缺，甚至影响到火化服务，并正在实施节能措施。 印度出现了对烹饪煤气的恐慌性购买，以及对生物质燃料的回归。 澳大利亚也正在应对广泛的燃料短缺，柴油和喷气燃料的储备已降至约30-38天。 高盛数据证实，流入亚洲炼油厂的石油流量正在放缓。 局势仍然高度不确定，促使各国政府为潜在的广泛燃料中断做好准备。

OpenAI在其发布仅几个月后关闭了Sora AI视频应用，促使迪士尼也退出其10亿美元的投资协议。虽然OpenAI仍然致力于AI视频技术——将其整合到ChatGPT中——但独立的Sora应用将被停止，因为该公司正在重新调整其目标。 Sora最初因免费使用现有知识产权而在好莱坞引发争议，这要求OpenAI后来赋予工作室对其内容更多的控制权。迪士尼的退出预示着战略转变，但他们仍然对尊重创作者权利的AI合作持开放态度。 此次关闭使谷歌成为AI视频生成领域的领先者，尽管谷歌自身也面临着与知识产权相关的法律挑战。最终，Sora似乎不太可能成为该行业的长期力量，可能成为一个值得注意但短暂的实验，在快速发展的AI领域中。