芝加哥大学普利兹克分子工程学院的研究人员开发出一种生成复杂、高度纠缠量子态的简化方法。该研究发表在《物理评论 X》上，提出通过引入额外的激光或磁场来调节原子群的能级，从而改进通常受限于对称性的标准腔量子电动力学（QED）系统。 这种方法使科学家无需新的专用硬件即可创造出多种纠缠态。通过调节这些“简单的要素”，研究人员能够制备出既对磁场或引力场等外部变量高度敏感，又对噪声具有显著抗性的量子态。这种双重特性使得该方法在推动超精密量子传感领域极具前景。 此外，该平台还能够稳定诸如 AKLT 态等复杂状态，这对于研究奇异磁性材料及潜在的量子计算机构建大有裨益。尽管目前尚处于理论阶段，但这项工作为实际量子应用提供了一条可访问且可控的路径。通过利用现有的实验室基础设施，这项研究展示了可以通过巧妙、极简的实验设计来实现复杂的量子现象，使强大的量子技术更接近现实。

将递归功能添加到 `lychee` 过程十分困难，因为该工具最初的设计架构是一个单向、一次性执行的流水线（有向无环图），而非爬虫。异步流水线中的循环结构极易导致死锁。 通过分析 `muffet` (Go)、`LinkChecker` (Python)、`linkinator` (TypeScript) 和 `broken-link-checker` (JS) 等递归链接检查器，作者发现这些工具都采用了一种统一的架构模式来解决递归问题： 1. **可变前沿队列 (Mutable Frontier)：** 一个用于存放待处理 URL 的工作队列。 2. **提前去重 (Early Deduplication)：** URL 在进入队列的瞬间即被标记为“已访问”，从而避免竞争条件。 3. **终止检测 (Termination Detection)：** 一种用于标识所有任务何时完成的机制，例如 `WaitGroup`、可连接计数器或空闲 Promise。 4. **关注点分离 (Separation of Concerns)：** 至关重要的是，这些工具将“工作队列”（前沿）与“速率限制器”（并发控制）分离开来。 `lychee` 此前因为混淆了这些角色并试图在异步线程间管理共享状态而陷入困境。`lychee` 未来的改进方向是采用这些标准的爬虫模式，同时保持其原有一次性流水线的高性能，从而证明在不牺牲速度的情况下也能实现递归功能。

arXivLabs 是一个允许合作者直接在我们的网站上开发并分享 arXiv 新功能的框架。与 arXivLabs 合作的个人和组织都认同并接受我们对开放、社区、卓越和用户数据隐私的重视。arXiv 始终坚持这些价值观，并仅与遵循这些价值观的合作伙伴开展合作。您是否有意开展一个能为 arXiv 社区增值的项目？了解更多关于 arXivLabs 的信息。

位于肯塔基州阿什兰市的 WDGG(FM) 电台被迫停播，原因是一名被确认为保罗·克里斯普（Paul Crisp）的窃贼切断了电台的主传输线，企图盗取铜线。据称，该嫌疑人在切断沉重电缆并将其拖回附近家中前，先破坏了监控摄像头。当地警方在简短追捕后逮捕了克里斯普，并追回了被盗财产。 此次破坏行为造成了严重的运营损失，导致电台的广播功率大幅下降，仅剩 10 瓦。电台所有者迈克·克特纳（Mike Kirtner）估计维修费用在 7 万至 10 万美元之间，因为这种特殊的加压传输线难以更换。工程总监埃文·阿德金斯（Evan Adkins）目前正在协调维修工作，希望能在 6 月 5 日前恢复直接信号传输，但要恢复至全功率运行仍需更长时间。 克特纳表示，社区给予了巨大的支持，并将针对这家本土电台的袭击视为对社区支柱的攻击。虽然克特纳承认预防此类犯罪十分困难，但他强调了广播设施的脆弱性，并指出储备关键备件对于减轻未来中断影响的重要性。

世界粮食计划署（WFP）已发出严正警告，指出伊朗及波斯湾地区的冲突正对全球粮食安全产生灾难性影响。战争导致粮食和燃料成本飙升，并扰乱了贸易活动，致使数百万人陷入严重饥荒。具体而言，索马里有250万人、阿富汗有230万人、斯里兰卡有130万人因此无法满足基本营养需求。 世界粮食计划署指出，即便冲突局势缓和，这些负面经济后果仍将持续，因为能源成本的上涨将继续推高本已脆弱国家的食品价格。联合国面临严重的资金短缺，由于国际支持减少以及成员国拖欠会费创下历史新高，这场危机进一步恶化。因此，世界粮食计划署被迫缩减对数百万人的援助。该机构紧急呼吁全球捐助者增加财政捐款，并警告称如果行动失败，将导致巨大的严重人道主义后果，特别是在索马里和阿富汗等地区。

由于您没有提供需要翻译的具体内容，请提供您想要翻译的文本。

探索我们精心挑选的 11,082 件公有领域作品，供所有人免费浏览、下载和重复使用。这是一个实时更新的数据库，每周都会添加新图像。或按类别浏览，进入“无限视野”。

由布朗大学的王来生（Lai-Sheng Wang）教授领导的化学家团队，首次为硼富勒烯（B80）提供了实验证据，证实了自2007年以来一直存在的理论结构。通过蒸发硼靶并利用精确的冷却技术，该团队获得了与经典碳富勒烯（足球状几何结构）相吻合的电子“指纹”。 这一发现意义重大，因为它挑战了现有的计算模型。尽管作为预测分子稳定性标准方法的密度泛函理论（DFT）此前将B80笼状结构评估为不如其他结构稳定，但实验光电子能谱证实了其富勒烯的几何结构。王教授认为，这一发现揭示了DFT在该特定体系中的局限性，尽管一些专家仍呼吁进行进一步的独立验证。 B80与C60具有价电子等电子性，这表明它未来可能作为半导体、超导体或储氢材料。虽然大规模合成仍具挑战，但该团队对此持乐观态度，并将其与此前研究后硼烯（borophene）的快速合成进行了类比。未来的研究将侧重于测试该团簇的反应性，以确定扩大生产规模的可行性。

在拉斯维加斯举行的爱迪生电力协会会议上，抗议者打断了内华达能源公司（NV Energy）首席执行官布兰登·巴克赫夫（Brandon Barkhuff）的发言，以抗议不断上涨的电费以及定于2027年1月实施的“每日需求费”。此次活动由“联合纳税人联盟”（United Ratepayers coalition）组织，示威者认为，这种基于15分钟用电高峰计算的费用，对于在极端高温下无法切实减少空调使用量的弱势居民构成了威胁。 包括气候公平政策研究员莱斯利·维加（Leslie Vega）在内的批评人士认为，该政策实际上是一种“空调配给制”，并指出一些公用事业部门的专家最初曾建议不要征收此项费用。相反，内华达能源公司坚称，新的费率结构对于防止客户之间的成本转嫁是必要的，并声称这最终将降低大多数南内华达州居民的账单费用。 此次冲突凸显了日益增长的公众摩擦。目前，全美各地的公用事业公司正面临巨大压力，一方面需要平衡超过1万亿美元的基础设施投资，另一方面要应对消费者对能源负担能力的日益担忧。尽管该公司倡导将其费率设计作为实现公平和效率的工具，但抗议者仍要求采取更广泛的清洁能源倡议，并为低收入家庭提供即时救济。

周六，以色列对黎巴嫩南部的空袭造成九人死亡，其中包括三名黎巴嫩武装部队成员，死者包含一名准将和一名上尉。以色列国防军（IDF）证实了此次空袭，并表示正在调查该事件。以方声称，事发时有一辆车辆在靠近其部队时表现出“可疑”行为。 黎巴嫩军队谴责此次袭击是“野蛮行径”，并警告称此类侵略只会加强他们的决心。这一事态发展恐将进一步加剧地区紧张局势，与此同时，美国仍在持续向黎巴嫩政府施压，要求其解除真主党的武装。然而，黎巴嫩国家士兵被杀事件可能会破坏这些努力，并加剧其国内的政治分歧。 此次事件也引发了国际摩擦。继黎巴嫩总统约瑟夫·奥恩近期批评真主党和伊朗将黎巴嫩用作“谈判筹码”后，伊朗外交部长阿巴斯·阿拉格齐予以犀利回击，敦促奥恩去面对“真正的敌人”——以色列。此次空袭突显了当前停火协议的脆弱性，以及黎巴嫩军方与以色列军队之间日益加深的互不信任。

本项目提供了一套经过扩展、符合 Unicode 标准（ISO 10646-1）的经典 X11 位图字体。这些更新后的“-misc-fixed-*”字体现已支持多种字符集，包括全面的欧洲语言子集、希腊语、西里尔语、国际音标（IPA）、数学符号、盲文等。项目还增加了多种新字体，包括斜体变体以及用于日语和韩语的专用双倍宽度字体。此外，标准的 Adobe 和 B&H 像素字体也经过修订，加入了现代编码支持并修复了错误。 这些字体专为支持 Unicode/UTF-8 的应用程序而设计。安装包内包含一个转换脚本 `ucs2any.pl`，可将这些字体映射到旧式编码，以兼容传统软件。虽然这些字体涵盖了大多数书写系统，但刻意排除了印度语系、阿拉伯语和叙利亚语，因为 X11 位图系统缺乏处理这些语言所需的复杂字符到字形映射的基础设施。 该项目发行范围广泛，包含在 XFree86 和 X.Org 的发布版本中。所有字体均属于公共领域，并持续维护以确保符合 Unicode 3.2 标准及提供后续的错误修正。完整的安装包和文档可通过提供的下载链接获取。

请启用 JavaScript 和 Cookie 以继续。

**Keybench** 是一款可编程、可扩展的基准测试工具，专为衡量有序键值存储的性能而设计。通过使用 Lua 定义工作负载，该工具确保了不同存储引擎之间的对比能够真正聚焦于引擎本身，而非测试框架的差异。 ### 主要功能 * **性能指标：** 提供工作负载单位（wu/s）和原始操作（ops/s）的吞吐量报告，以及每种操作类型的详细延迟分布（p50、p99、p99.9 和最大值）。 * **可编程工作负载：** 使用 Lua 定义操作。测试框架负责处理并发、执行限制（时间或数量）以及数据填充。 * **灵活的引擎支持：** 支持可插拔的后端（如 RocksDB、TidesDB 以及内存跳表参考实现）。添加新引擎无需修改核心代码。 * **基准测试网格：** 自动运行“网格”测试（引擎、线程和批处理大小的笛卡尔积），并提供中位数结果。 * **分析与报告：** 支持多种输出格式（控制台、用于电子表格的 TSV 以及实时时间线流）。内置系统和构建探测器，用于捕获环境上下文。 * **可复现性：** 基准测试可以保存为 INI 配置文件并精确重放。 `keybench` 是自包含的（内置了 Lua），并提供了用于可视化结果的 Python 脚本。

请启用 JavaScript 和 cookie 以继续

美国联邦地区法官约翰·麦康奈尔（John McConnell Jr.）裁定，特朗普政府必须恢复处理来自39个受限国家国民的庇护申请及移民福利请求。该裁决撤销了美国公民及移民服务局（USCIS）实施的多项政策；此前，该机构曾因白宫附近发生安全事件而暂停处理相关申请，以优先进行强化背景调查。 由奥巴马任命的麦康奈尔法官宣布这些政策“武断且反复无常”，认为该机构超越了其法定职权，并以国家安全为幌子掩盖反移民情绪。包括多个倡导组织在内的原告方对该裁决表示赞赏，称其结束了移民因原籍国而被迫陷入的“法律困境”。 美国国土安全部（DHS）强烈反对这一裁决。国土安全部总法律顾问詹姆斯·珀西瓦尔（James Percival）批评了该决定，称此次法律挑战是“披着法律外衣的蓄意破坏”，并指出这属于利用“敌意”指控来废除特朗普时代政策的惯用伎俩。政府方面坚称，这些措施在其法律授权范围内，旨在确保充分的背景调查与国家安全。

在人工智能时代，搜索 Facebook Marketplace 揭示了一种奇怪的新现象：卖家正在通过聊天机器人或图像生成器处理产品照片，将衣着暴露的女性植入商品列表中。这种营销策略显然是寄希望于利用“色诱”图片来增加点击量，并提高在在线市场上售出商品的几率。 记者 Trung Phan 在 X 上写道：“Facebook Marketplace 上有个家伙发布了多个重型卡特彼勒工业设备的列表，上面叠加了人工智能生成的女性模特图片。这一定有着业内领先的点击率。” 果然，这种“色诱”图片似乎确实奏效了……这里还有另一个例子。 一位 Facebook Marketplace 的卖家表示，这种营销策略绝对有效。这是一个卖家如何利用人工智能试图提高低点击率的现实案例。

尽管克里斯托弗·哥伦布常因其航行失误而备受诟病，但并未正确使用北极星并不在其中。1492年时，由于地轴进动（地球自转轴2.6万年的周期性摆动），北极星距离真正的北天极约有3.5度，是今天偏差距离的五倍。仅依靠北极星会造成巨大的航行误差。 为了弥补这一偏差，伊比利亚海员采用了“北极星定位法”。通过观测小熊座中的“卫极星”（如帝星和北极二），航海家能够计算出北极星相对于真北的位置，并据此修正纬度。这一技术在18世纪设备改进以实现更高精度之前，一直至关重要。如今，虽然全球定位系统（GPS）已在远洋航行中基本取代了这些方法，但其背后的天体定位原理仍在业余天文学家校准望远镜时发挥作用。

最近在中国发生的一场公开演示中，宇树科技（Unitree）的 G1 人形机器人在表演时踢中了一名幼童的腹部，引发了对安全问题的担忧。虽然该儿童并未受重伤，但这一事件以及近期其他有关机器人事故和人工智能安全故障的报道，再次引发了人们对于在公共场所部署自主机器所带来风险的讨论。 随着人形机器人执行复杂肢体动作的能力日益增强，这些事件凸显了人工智能在安全和法律责任方面的重大挑战。如何认定责任依然是一个复杂的问题，法律责任的界定尚不明确，分散在软件开发商、制造商和操作者之间。 尽管各国政府（尤其是欧盟）正致力于建立清晰的人工智能监管框架，但行业内部面临着实施更严格安全标准的巨大压力。专家们普遍认为，尽管这些机器的自主性在不断提高，但法律责任仍须由部署它们的组织和个人承担。随着这些技术不断融入公共环境，如何在创新、透明度和人类安全之间取得平衡，仍是监管机构和机器人公司共同面临的首要任务。

摩托罗拉 WiFi 路由器用户正面临严重困扰，其强制使用的“MotoSync+”应用程序已近一个月无法正常工作。自 5 月中旬以来，用户无法登录账号，导致无法设置新设备、调整网络设置或执行恢复出厂设置。 该问题源于由授权商 Premier LogiTech, LLC 运营的应用程序。虽然现有的网络连接暂时还能维持，但无法访问应用程序使得新路由器或重置后的路由器实际上变得无法使用。尽管 Reddit、亚马逊和应用商店上充斥着大量投诉，但摩托罗拉官方尚未给出任何公开解释。此外，该公司已悄然从官网删除了所有路由器的相关信息，且客户支持部门大多未予回应或处理无效。 有报道指出这可能是服务器故障或授权失效所致，然而用户——包括一些支付了高级订阅费用的用户——目前没有任何途径对硬件进行故障排查或管理。因此，许多感到沮丧的客户建议其他人彻底放弃摩托罗拉产品。面对路由器逐渐变成“压纸石”的现状，该公司至今仍保持沉默。

```diff --- a/src/auth/login.ts +++ b/src/auth/login.ts @@ -12,6 +12,18 @@ +export function validateToken(token: string) { + const decoded = jwt.verify(token, SECRET); + if (!decoded.exp || decoded.exp < Date.now() / 1000) { + throw new TokenExpiredError(); + } + return decoded; +} + @@ -24,8 +36,10 @@ export async function authenticateUser( - const user = await db.findUser(email); - if (!user) return null; + const user = await db.findUser(email); + if (!user) throw new UserNotFoundError(); + await rateLimiter.check(email); @@ -45,12 +59,0 @@ -export function legacyAuth(user, pass) { - return db.query('SELECT * FROM users - WHERE email = ? AND password = ?', - [user, pass]); -} ```

本文详细介绍了一种稳健且与架构无关的方法，用于反虚拟化受 Themida 等虚拟机保护程序保护的代码。 作者没有依赖脆弱的模式匹配，而是利用“引导式符号执行”（Guided Symbolic Evaluation）将原生指令提升为简洁的中间表示（IR）。通过保持堆栈指针（RSP）的具体值，并使用一系列相互关联的优化遍历——包括常量提升、常量折叠、无效存储消除和指令组合——虚拟机内部的“脚手架”（如字节码解密和处理程序分发逻辑）被系统性地瓦解。 该过程旨在持续运行，直到 IR 收敛为清晰的类原生状态，随后将其降级回可执行的机器码。这种方法的关键在于通过跟踪虚拟指令指针（VIP）并准确识别 VMEXIT 模式来处理虚拟化控制流。最终输出的代码与原始功能代码几乎是一一对应的，避免了不必要的堆栈溢出等常见缺陷。文章最后指出，对于反虚拟化而言，通用的编译器优化比针对特定虚拟机的逆向工程更有效且更具可持续性；同时也承认，先进的混淆器必须实现更复杂、不可约简的表达式，才能抵御这些现代符号执行技术的攻击。

航空新闻博客《The Aviationist》近日重点报道了 YouTube 频道《Project Fear》在 51 区附近拍摄的一张热成像图，图中似乎显示了一架此前从未曝光的隐身飞机。该神秘机型采用了独特的折线风筝翼和鸭翼设计，引发了外界猜测，认为它可能与美国空军的“下一代空中优势”（NGAD）项目以及新近宣布的 F-47 第六代战斗机有关。 在过去十年中，航空爱好者曾多次追踪到类似的身份不明飞行物。尽管人们对这一尖端航空航天技术可能公开的消息感到兴奋——特别是在特朗普总统近期证实 F-47 项目存在之后，一些分析人士仍指出，这些影像可能是一场精心策划的心理战。通过围绕这些“黑色项目”制造公众好奇心，美国或许旨在展示实力，并保持一层神秘面纱以震慑潜在对手。

几十年来，大学学位曾是抵御失业的可靠屏障，确保应届毕业生在就业市场上的表现优于普通劳动力。然而，这一优势已逐渐减弱；自2019年初以来，应届毕业生的失业率一直高于整体劳动力，这一差距在2026年达到了历史新高。 值得注意的是，这种转变先于疫情和生成式人工智能的兴起，这表明这是一场长期的结构性变化，而非突发冲击。专家指出主要有两个原因：远程办公的普及限制了缺乏经验的新人获得必要的职场指导，以及人工智能对入门级职位的冲击。 关键在于，这是一场入门级职位的危机，而非学位本身的贬值。年长的学位持有者仍保持着较高的就业率，毕业生的境况也依然好于没有学位的年轻人。虽然学士学位仍具有显著的长期价值，且优于没有学位的情况，但它不再是就业的捷径。人才进入职场的传统“通道”实际上已经中断，使得从学校向职场的过渡变得比近期历史上任何时候都更加困难。

多名联邦调查局（FBI）分析师及一名主管因参与一份备受争议的2023年情报备忘录而被解雇。该备忘录将“激进传统派天主教徒”标记为潜在的国内极端分子。这份备忘录引用了南方贫困法律中心的信息，因被指针对保守派而遭到国会共和党人和公众的强烈抵制。 该文件源于对泽维尔·洛佩兹（Xavier Lopez）的调查，此人有心理健康问题史，且因极端网络言论曾受FBI监控。尽管FBI声称该备忘录旨在帮助宗教团体识别激进化倾向，但调查人员发现，分析师们缺乏证据将教会与洛佩兹的危险行为联系起来。 报告指出，FBI曾利用线人渗透洛佩兹在弗吉尼亚州里士满参加的教堂。然而，证据显示，洛佩兹在参加礼拜之前就已处于监视之下，他关注该会众是出于个人原因，而非意识形态招募。尽管FBI此前试图将该备忘录解释为失误，但近期的解雇行动表明，FBI领导层正在持续推动问责。

本文介绍了如何在 PyTorch 模型中实现并集成自定义 C++/CUDA 算子，并确保其与 `torch.export` 和 AOTInductor 编译流程兼容。 **核心内容包括：** * **自定义函数：** 使用 C++/CUDA 实现并通过 `TORCH_LIBRARY_IMPL` 注册，使 PyTorch 能够根据输入设备分发算子。 * **自定义类：** 使用 `torch::CustomClassHolder` 定义，支持在 Python 中调用具有状态（存储参数）的模块。 * **符号追踪兼容性：** 为支持 `torch.export` 和 AOTInductor，开发者必须为这些算子注册“假”（抽象）版本。这使得符号追踪器能够在不实际执行 C++/CUDA 内核的情况下理解算子逻辑。 * **部署：** 编译后的模型可打包为 `.pt2` 格式。该产物具有可移植性，支持在 Python 和独立 C++ 环境中进行高性能推理（通过 `dlopen` 加载自定义算子库）。 遵循此工作流程，开发者可以将自定义 C++/CUDA 内核的高性能与 PyTorch 现代导出及编译工具链的可移植性相结合，从而确保在多种推理运行时中实现无缝执行。

请启用 JavaScript 和 Cookie 以继续。

通用内存协议 (UMP) 旨在解决人工智能体 (AI agent) 内存碎片化的问题，目前这些内存分散在各类工具、厂商和本地文件中，彼此割裂。虽然现有的 MCP (工具) 和 A2A (协调) 等标准已能处理交互，但 UMP 提供了一个标准化的、中立于厂商的内存层。 UMP 将内存视为可移植的、经过签名的、具有双重时间属性的 JSON 记录。它作为应用层协议运行，利用现有的传输方式 (如 MCP、HTTP)，并与包括本地文件、SQL 数据库和向量引擎在内的现有存储方案集成。通过使用 UMP，开发者可以将项目笔记、Obsidian 知识库和智能体日志等分散数据统一为一种可互操作的格式。 主要功能包括： * **可移植性：** 数据由用户所有，基于内容寻址，并使用分布式标识符 (DID) 进行签名。 * **兼容性：** 作为现有格式 (例如 `CLAUDE.md`) 的桥梁，无需进行数据库迁移。 * **安全性：** 内置防提示词注入保护和明确的数据保留策略。 * **灵活性：** 将内存协议与底层智能分离，允许不同的引擎在质量上展开竞争，同时保持完全的互操作性。 UMP 使智能体能够跨会话和厂商进行“记忆”，无需在每次切换工具或环境时重新加载上下文。