人工智能革命已从纯粹的软件竞赛，转变为一场针对物理基础设施的工业级竞争。先进制程半导体产能（特别是台积电的 N3 节点）、高带宽内存（HBM）以及电力供应的严重短缺，正造成重大的瓶颈。据预计，到 2030 年，数据中心的电力需求将达到 200 至 300 吉瓦，这导致变压器和燃气轮机等关键组件早已被预订一空，未来几年的产能已供不应求。 这种稀缺性正在从根本上改变市场估值。曾经被视为过时的资产，如拥有现有电力和电网接入的前加密货币挖矿场地，正作为“拉撒路资产”（Lazarus assets）重新焕发活力。与此同时，计算能力的获取已成为一种战略性的“竞争护城河”；尽早确保供应的企业占据了主导地位，而其他企业则面临配额限制或更高的成本。 最终，这种物理限制可能会暂时逆转人工智能成本下降的趋势，并可能减缓该技术向小型企业的普及。随着软件规模与芯片、散热和电力等有形资源紧密挂钩，人工智能竞赛的赢家将不仅由算法决定，还将取决于他们控制支撑这些技术所需稀缺物理基础设施的能力。

美伊双方持续不断的报复性升级已进入第十天，双方均展开了回击。美国中央司令部正以打击伊朗军事基础设施为手段，以保障霍尔木兹海峡的航运安全；而伊朗则以袭击美军在科威特和约旦的基地作为回应。冲突已导致该海峡的航运几近停滞，多艘油轮遭到弹药袭击。 这场危机引发了能源价格的剧烈波动，布伦特原油价格已突破每桶90美元。高盛警告称，如果中断持续，油价可能升至每桶120美元。不断上涨的燃料成本已开始影响美国消费者的加油支出，并对巴基斯坦和孟加拉国等国的供应链造成了压力。 尽管来自巴基斯坦和卡塔尔的国际调解人提议实施为期10天的停火，以重启已破裂的临时协议，但进展仍陷入僵局。伊朗坚持在遭受炮火攻击时绝不谈判，而特朗普政府则誓言在商业航运受袭停止前，将继续进行打击。与此同时，胡塞武装已将威胁扩大至红海，这加剧了人们对全球贸易、粮食安全及地区稳定的担忧。

民主党全国委员会（DNC）正面临严重的财务危机，不仅背负巨额债务，且与共和党全国委员会（RNC）相比，筹款额度差距巨大。RNC拥有1.25亿美元现金且无负债，而DNC据报仅有约1500万美元现金，债务却高达1800万美元。 在此低迷期，DNC采取了一种不同寻常的应对策略：要求高级领导层在参加内部财务会议前签署保密协议（NDA）。尽管党内官员声称这是保护敏感战略的常规公司流程，但批评人士认为，此举意在压制内部异见，掩盖党内财务不稳定的严重程度。 尽管DNC的公开文件最终会揭示其账目的真实状况，但使用保密协议凸显了领导层内部深层的紧张关系。该党似乎并非为了掩盖财务底线，而是为了防止有关内部冲突、捐赠者不满以及应对近期监管变动的战略信息泄露。归根结底，此举表明该党在步入关键的中期选举周期之际，正极力维持一种团结的假象。

马修·皮彭伯格认为，全球金融市场目前正受到一种操纵性“戏法”的驱动：华尔街机构在利用人工智能技术泡沫的炒作来分散散户投资者的注意力，同时暗中抛售高风险信贷资产。 皮彭伯格断言，人工智能行业依赖于“循环融资”和不可持续的债务，这与互联网泡沫和2008年次贷危机如出一辙。他警告称，各大银行在公开吹捧科技股的同时，正在悄悄平仓，使散户投资者面临迫在眉睫的流动性危机。 相比之下，各国央行——尤其是中国——正在积极囤积实物黄金。由于巨额国债导致人们对美元和国债的信心减弱，这些“巨鲸”正转向以黄金为基础的货币体系。当媒体和散户这些“浮游生物”关注短期价格波动时，成熟的机构投资者已将实物黄金视为抵御法定货币体系崩溃的唯一可靠对冲工具。皮彭伯格总结道，这代表了一个时代的转折点，他敦促投资者不要再将黄金视为一种波动剧烈的商品，而应将其视为应对未来不可避免的经济风暴所必需的“建造方舟”之举。

黑石集团已收购韩国汽车零部件供应商Futronic的重大股权，对这家拥有33年历史的企业估值约为1万亿韩元（约合6.76亿美元）。 尽管Futronic传统上专注于汽车零部件，但已成功将其运动控制技术（包括执行器、电机和传感器）应用于工业和人形机器人领域。此次战略投资使黑石集团能够从预期的“物理人工智能”热潮中获利。 包括德意志银行近期分析在内的市场预测显示，全球机器人交付量预计将在今年晚些时候开始进入上升轨道，并有望在2027年实现显著加速。通过在关键机电系统供应商中占据一席之地，黑石集团正押注于机器人行业的快速演进，旨在新兴的物理人工智能市场中获取长期超额收益。

请启用 JavaScript 和 Cookie 以继续。

科学家们已经确定了固态电池失效的根本原因，从而将这一重大的科学谜题转变为可解决的工程挑战。两项独立研究表明，充电过程中内部压力会导致固体电解质开裂，而局部的电失衡则会引发锂结构的生长，进而造成短路。 相较于现有的锂离子技术，固态电池因其有望提供更长的续航里程、更快的充电速度以及更高的安全性而备受青睐。尽管此前经历过多次失败，但包括丰田、本田、梅赛德斯-奔驰和宝马在内的各大汽车制造商仍投入了数十亿美元研发该技术。这些公司已不再局限于实验室测试，而是开始启动试点生产线并进行原型车道路测试。 随着失效的潜在物理原因现已明了，重心已从理论研究转向制造实现。目前，整个行业正进入一场“工业竞赛”，旨在扩大生产规模、确保数千次充电循环后的耐用性，并实现具有竞争力的成本结构。各大汽车制造商仍按计划在本世纪下半叶进行商业化部署，并坚信攻克这些特定的工程障碍，将开启下一代电动汽车的性能表现。

本文详细介绍了一种用于 BitNet b1.58 等模型中三进制权重（trits）的高效打包方法。为优化存储与性能，作者采用了一种块大小设置，即将 5 个三进制位打包进 8 个比特中，实现了 99.06% 的信息密度效率。 在大型语言模型推理中，解包这些权重的关键难点在于，模运算和除法运算在 SIMD（单指令多数据流）环境中通常执行缓慢或不受支持。为解决这一问题，作者采用了一种定点乘法技术：通过将字节乘以特定常数，无需使用昂贵的除法即可从结果位中提取三进制位。 该方法确保了数据的无损恢复，并显著加快了并行解包的速度。目前，该技术已在 `llama.cpp` 中针对 AVX2 和 ARM NEON 架构完成实现，为处理三进制权重模型提供了高性能解决方案。

范堡罗国际航空展是全球首屈一指的航空航天与国防贸易盛会之一，近期会议凸显了全球军事产能亟需提升的关键议题。一个由美国两党参议员组成的代表团出席了此次活动，并敦促欧洲国防伙伴扩大制造能力，理由是国际社会对导弹、无人机和拦截武器的需求正急剧增长。 参议员杰里·莫兰（共和党，堪萨斯州）和珍妮·沙欣（民主党，新罕布什尔州）强调，国会正将增加国防开支作为优先事项，以加强国家安全与经济安全。随着美国国防工业出口在过去一年中增长了25%，官员们强调了在竞争加剧（尤其是来自中国的竞争）的背景下，保持全球领先地位及加强国际伙伴关系的重要性。 此次盛会释放了一个明确信号：受全球持续冲突导致库存消耗的影响，国防技术需求长期保持高位。由于航空航天领域为美国提供了超过两百万个就业岗位，美国议员们正致力于确保工业基础能够满足这些不断变化的安全需求。

请启用 JavaScript 和 Cookie 以继续。

在 2026 年的 TacoSprint 活动中，作者提议通过在 `PT_INTERP` 段中增加对 `$ORIGIN` 的内核级支持，以实现 Nix 中的可重定位二进制文件。作者本预想会遭到反对，结果却与 Linux VFS 维护者 Christian Brauner 进行了富有成效的合作。 他们没有采用简单的补丁，而是利用 eBPF 和 `binfmt_misc` 开发了一套解决方案。通过将解释器选择卸载到可编程的 eBPF 内核模块，系统能够动态解析路径，从而有效地支持可重定位二进制文件。 一项关键的突破是增加了新的 `binfmt_misc` 分发模式（“L 标志”），该模式允许内核在原生执行二进制文件的同时简单地覆盖解释器。这避免了通常困扰解释器切换的标识问题，例如 `argv[0]` 或 `/proc/self/exe` 解析错误。 展望未来，作者计划引入一个利用自定义 `PT_INTERP_NIX` 段的 NixOS 模块。这种方法确保了向后兼容性，仅允许选择加入的二进制文件获得可重定位能力。这一进展显著推动了 Nix 生态系统的边界，使其向真正可移植、与环境无关的二进制文件迈进了一步。

**Mathup** 是一款轻量且直观的工具，旨在将类 AsciiMath 的简单语法转换为结构化的 MathML。与 MathJax 等进行繁重渲染的方案不同，Mathup 专注于解析与转换，将渲染工作交给浏览器，从而实现显著提升的性能。 Mathup 专为追求速度且不愿使用冗长 TeX 语法的作者设计，其逻辑清晰的语法可处理标准数学表达式，包括： * **标记识别：** 自动将标识符、运算符和数字包裹在相应的 MathML 标签中。 * **复杂格式：** 支持使用简洁明了的语法编写分数、上下标、矩阵、张量和根式。 * **自定义：** 允许通过 CSS 自定义属性对字体、颜色和样式进行精细控制。 Mathup 具有高度的灵活性，支持命令行使用、Node.js 以及直接集成到浏览器中。对于希望在网页上快速编写数学内容且不愿受繁杂软件困扰的用户来说，这是一个理想的解决方案。尽管它不支持所有的 MathML 特性，但为编写常用数学表达式提供了一种高效且富有表现力的方式。

据报道，特朗普政府已敲定一份与沙特阿拉伯的核协议草案，该协议允许其进行铀浓缩，而无需美国通常要求的严格防扩散保障措施。 与以往的协议（如与阿联酋签署的协议，该协议强制要求遵守国际原子能机构的“附加议定书”并禁止铀浓缩）不同，目前这份与利雅得达成的协议缺乏这些明确限制。尽管文件中提到了“附加保障措施”，但批评人士和国会议员仍担心，由于缺乏对铀浓缩的明确禁令，这可能会助长核武器的研发。 特朗普政府尚未将该协议提交国会，可能是担心因缺乏标准安全议定书而遭到两党反对。通过绕过这些传统要求，特朗普政府似乎在将战略区域外交置于标准的防扩散准则之上。此举发生在该国近期努力提升军事地位（包括与拥有核武器的巴基斯坦达成防务条约）之后，显示出美国旨在巩固其在海湾地区影响力的政策转变。

Qbix Server 是一款高性能的纯 PHP 网络服务器，旨在替代传统的 Nginx/PHP-FPM 架构。它能够在单一进程中处理静态文件、PHP 脚本和 WebSocket，且无需外部依赖。 **主要优势：** * **10 倍并发能力：** 通过“预加载后分叉”（fork-after-preload）架构，Qbix 利用了操作系统层级的写时复制（copy-on-write）内存共享机制。相比 PHP-FPM 为每个工作进程复制整个框架（每个占用 30-60MB），Qbix 共享基础内存，将每个工作进程的开销降低至约 5MB。 * **零引导延迟：** 框架类、配置和数据库连接在父进程中仅加载一次。工作进程继承此状态，消除了 PHP-FPM 每个请求中 10-50 毫秒的引导成本。 * **真正的“无共享”安全性：** 与可能导致请求间“状态泄露”的 Swoole 或 FrankenPHP 不同，Qbix 为每个请求分叉出一个全新的进程。这确保了完全的隔离性，在保持 PHP 完全兼容性的同时，防止了内存泄漏和安全漏洞。 * **高级功能：** 内置组件级缓存失效机制（`X-Cache-Tree`）、访问控制的静态文件流式传输（`X-Accel-Redirect`）以及一个轻量级的微框架。 Qbix Server 是寻求最大化扩展性与部署简便性，且不愿牺牲现有 PHP 代码或安全性的开发者的理想选择。

尽管“超市旅游”如今已成为一个流行标签，但作家妮可·詹姆斯（Nicole James）早已深谙探索外国超市之道。作为曾经的超市收银员，詹姆斯将超市视为“带着购物篮的人类学”——一种避开旅游景点刻意营造的门面，从而发现某种文化最原始、最真实一面的方式。 博物馆和餐馆往往展示着一个国家希望被铭记的内容，而超市则揭示了一个群体私密的日常生活真相：当他们感到疲惫时吃什么，他们的经济现状，以及他们独特的区域焦虑。从日本制作精良的三明治和稀奇古怪的奇巧（KitKat）口味，到荷兰人对甘草糖的痴迷，再到越南令人震惊的蛇酒，这些货架为人们提供了一窥当地生活方式的真实视角。 与奢侈品购物不同，超市旅游具有大众化和真实性的特点。它让游客能将目的地的一件有形且往往令人费解的东西带回家——一罐芥末或一种奇特的零食，作为“未经修饰的日常”的纪念品。归根结底，詹姆斯认为超市旅游就是一种专注观察的艺术，证明了一个国家的真实品格往往隐藏在饼干和清洁用品之间。

克里姆林宫指控乌克兰策划了针对新罗西斯克附近里海管道联盟（CPC）码头的无人机袭击，并声称此举旨在蓄意破坏全球石油市场。俄罗斯外交部发言人扎哈罗娃谴责了这次袭击，将其定性为针对民用基础设施的攻击。 此次事件导致油轮“亚洲号”起火，并迫使该码头的原油装载作业暂停。尽管里海管道联盟证实无人受伤且未发生石油泄漏，但该设施目前仍处于停运状态，等待全面受损评估。哈萨克斯坦的石油出口高度依赖这条关键管道，该国对此表示愤慨，并保留根据国际法寻求赔偿的权利。 虽然里海管道联盟未正式点名肇事者，但这起攻击事件符合针对这一关键能源路线的一贯袭击模式，该路线是全球最大的石油管道之一。俄罗斯坚称，此类行为表明袭击方漠视全球能源稳定以及与哈萨克斯坦等伙伴的外交关系。

奥地利统计局近期的一项分析显示，在维也纳，75% 来自特定冲突国家的难民或寻求庇护者家庭依赖政府福利。在全国范围内，这一比例为 47%；相比之下，90% 至 93% 的奥地利本土家庭能够自给自足。 融合部部长克劳迪娅·普拉科尔姆（报告中记为克劳迪娅·鲍尔）指出，这些差异证明了实施更严格融合政策的必要性。她强调，福利体系必须优先考虑帮助受助者进入劳动力市场，并警告称，拒绝参加必要融合措施的个人将面临福利削减。政府提到了维也纳近期的一项政策——取消了对享有附属保护身份者的最低收入支持，此举使该群体的失业率下降了三分之一，这表明更严格的规定能有效激励就业。 这一问题不仅局限于首都。例如，在圣珀尔滕，外籍人士占社会救助接受者的 72%，其中仅叙利亚人和阿富汗人就占了所有受益者近一半。官员们坚持认为，参与劳动力市场是实现成功融合与财政可持续性的主要途径。

Little Navmap 是一款强大的开源飞行计划工具，兼容 X-Plane 和微软模拟飞行等飞行模拟器。该应用由 Alexander Barthel 在过去十年中开发，基于 C++ 和 Qt 构建，并利用 SQLite3 数据库和 KDE 的 Marble 进行地图渲染。 该软件既是一款复杂的飞行计划器，也是一款实时电子飞行包（EFB），允许用户导入广泛的航空数据库，根据特定的飞机性能配置文件计算航线，并通过 XConnect 实时监控飞行。 作者通过两个实际案例展示了该工具的多功能性：使用西锐 SR-22T G6 进行从塔林到哥本哈根的短途飞行，以及使用空客 A350-900 进行从赫尔辛基到曼谷的长途飞行。虽然 Little Navmap 可以自动生成航线，但作者强调了它与 SimBrief 等外部服务集成的能力，以兼顾复杂的现实世界空域限制。总的来说，对于希望提升飞行模拟体验的航空爱好者而言，Little Navmap 是一款功能强大且轻量级的替代方案。

出于对在虚拟现实中体验生存恐怖游戏《GTFO》的渴望，作者投入了超过 800 小时和 500 次代码提交，开发了一款全面的 VR 模组。 该项目最初是通过 DnSpy 进行简单的汇编修改，随后演变为使用 Harmony 和 BepInEx 进行运行时补丁的强大开源工具。这一转变带来了更好的可维护性和合规的分发方式。该模组引入了诸多沉浸式功能，如动作控制、拟真用户界面（diegetic UI）、触觉反馈支持以及终端交互，同时平衡了游戏难度，确保了与非 VR 玩家相比的公平体验。 该项目面临了重大障碍，最主要的是游戏转向 IL2CPP 脚本后端，这使得可读的 C# 代码被复杂的 C++ 反汇编所取代，开发过程变得更加艰苦。尽管面临重重挑战，且作者对该游戏的个人兴趣逐渐减退，但该模组仍取得了成功，获得了超过 6,000 次下载，并得到了专注社区的贡献。最终，该项目成为了作者职业生涯中关键的积累，证明了模组开发既是一项宝贵的技术挑战，也是为游戏社区做出贡献的有益方式。

正在加载地图...

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

Incremental 是一个函数库，它提供了一种构建复杂计算的方法，能够根据输入的变化高效地进行更新。该库深受 Umut Acar 等人在自调整计算方面研究的启发。Incremental 可应用于多种场景，包括： * 构建大型计算（类似于在电子表格中构建的那种），使其能够对数据的变化做出高效响应。 * 在图形用户界面（GUI）应用程序中构建视图，以便高效地整合新数据。 * 在计算衍生数据时，确保衍生数据与源数据保持同步，例如进行过滤或映射反转。 你可以在 `incremental/src/incremental_intf.ml` 中找到该库的详细文档及使用说明。此外，你也可以通过这篇博客文章和这段视频来了解该库的非正式介绍。

科技行业：日经研究显示，数据中心租赁与GPU供应合同加剧了Meta和甲骨文的负债。 Meta位于佐治亚州的一处数据中心。该公司的表外债务约为4200亿美元，几乎是其账面债务的三倍。加利福尼亚州帕洛阿尔托消息——日经的一项研究显示，随着人工智能投资的激增，美国科技巨头的隐性债务在四年左右的时间里膨胀了八倍，估计达到1.65万亿美元。这不仅超过了它们的实际债务，也使得投资者更难评估其风险。

在一项了不起的工程创举中，两名开发者成功将1993年的经典游戏《DOOM》移植到了在FPGA上从零构建的定制CPU中。 该项目需要克服重大的硬件障碍，特别是内存限制和性能瓶颈。由于标准的FPGA内存对于14MB的《DOOM》文件来说太小，团队集成了DDR3内存，这要求设计定制的指令和数据缓存、用于管理内存流量的仲裁器，以及处理时序问题的复杂时钟域跨越。 在实现了外设支持（包括VGA输出和键盘输入）后，团队面临了严峻的调试挑战，从未初始化的内存假设到编译器优化错误等。通过严格的迭代改进，如流水线缓存命中、增加乘法指令以及优化编译器标志，团队将性能从最初的0.7帧/秒提升至流畅的15–20帧/秒。 该项目在互联网上引起了广泛关注，是底层系统编程和硬件调试的典范。开发者们目前正致力于乱序处理，以将游戏帧率推向30帧/秒，并希望最终挑战《Quake 2》等要求更高的游戏。

Portraify 是一项基于人工智能的服务，可将普通的自拍照转换为适用于领英、简历和公司简介的高质量专业头像。流程非常简单：只需上传 1–3 张清晰的照片，人工智能便能在两分钟内生成带有专业灯光且去除了背景的精美棚拍级肖像照。 主要优势包括： * **速度：** 即时生成，无需等待。 * **隐私：** 上传的照片不会被存储，并在处理后立即删除。 * **便捷：** 无需影棚设备，任何智能手机摄像头均可使用。 * **灵活性：** 透明且无需订阅的定价模式，积分永不过期。 新用户注册即可免费获得三张肖像照，另有 9 美元起的单次购买选项可供选择。Portraify 为希望提升个人品牌的每位用户提供了一种快速、安全且专业的解决方案。