今年的里斯本网络峰会面临一个不寻常的问题：私人飞机太多。里斯本机场因包括高通和微软首席执行官在内的与会者需求过高而不堪重负，被迫将一些航班改道到西班牙巴达霍斯等较远机场。 组织者警告与会者，着陆位短缺，原因在于私人飞机使用量增加*以及*整体参会人数增加。这是网络峰会首次出现这种情况，凸显了为习惯于私人旅行的客户提供服务的后勤挑战。 虽然文章戏谑地提出了创新解决方案，但这种情况凸显了私人航空旅行和大型活动日益普及对基础设施造成的压力，而没有解决相关的环境问题。

无法翻译。提供的文本看起来是PDF文件中的二进制数据流，而不是可读的文字内容。它包含乱码和非文字字符，无法被翻译成有意义的中文。

市场周期深刻影响投资者的心理。牛市滋生过度自信，让投资者觉得自己技艺超群，而熊市则引发不安全感。这是一种自然的人类倾向，但也是危险的。 本杰明·格雷厄姆，一位传奇投资者，完美地说明了这一点。他在20世纪20年代获得了巨额收益，助长了他的不可战胜感。然而，这种成功使他忽视了通往大萧条的风险，导致了灾难性的损失——他的基金从250万美元暴跌至37.5万美元。格雷厄姆后来承认自己过于自负，认为自己“抓住了华尔街的尾巴”。 这种模式不断重演。成功的交易员吉姆·保罗也经历过类似的起起落落，强调了成功如何导致规则的破坏和虚假的免疫力。核心教训是，胜利往往*为*失败埋下伏笔，因为成功会滋生心理扭曲。 目前，许多投资者正享受着可观的收益。至关重要的是保持清醒，认识到市场条件并非总是 благоприятные。市场*最终*会考验你的谦逊，为这种必然性做好准备是长期成功的关键。

## 树莓派赛博甲板：袖珍尺寸终端 该项目详细介绍了如何制作一个便携的、由树莓派驱动的“赛博甲板”，用于快速访问终端界面。制作者的目标是打造一款紧凑、可放入口袋的设备，配备可用屏幕和键盘，避免等待预制选项的漫长等待。 该掌机使用容易获得的组件——树莓派（推荐3b+，性价比高且功耗低）、4.3英寸触摸屏、迷你蓝牙键盘以及37Wh USB移动电源，提供全天候的电池续航。外壳仅需要两个3D打印部件，最大限度地减少了组装工作。 该设备的成本约为60美元（不包括树莓派本身），涉及将屏幕和键盘连接到3D打印的外壳上，固定树莓派，并整齐地布置电源线。它专为使用tmux等工具的终端使用而设计，也可以运行图形界面。详细的组装说明仍在开发中。

## 大理石喷泉：程序化生成的雕塑 受Formlabs高质量3D打印机驱动，作者着手创作“大理石喷泉”，这是一个复杂的、算法生成的雕塑，旨在突破3D打印的界限。该项目于2024年2月开始，并在画廊展览中达到高潮，专注于通过程序化生成创建的弹珠跑道式结构。 该系统使用路径求解算法在定义的体积内生成蜿蜒的轨道。这包括随机生成初始路径，然后通过稳定性与动量约束对其进行优化——保持一致的坡度，避免碰撞，并通过激进的倾斜来控制速度。独特的球螺杆升降机构有效地将弹珠提升到顶部。 支撑结构使用粒子系统生成，在结构完整性的同时优先考虑美观。虽然项目成功了，但在优化复杂几何体进行导出（目前需要5-20分钟）以及准确建模弹珠速度方面面临挑战。 作者承认该项目的范围超出了最初的预期，并计划使用更合适的工具（如SDF库）进行未来重写。尽管在画廊展览后感到疲惫，但该项目代表着一项重要的个人成就，以及对程序化设计和物理模拟的引人入胜的探索。代码可在GitHub上获取。

## 委内瑞拉岌岌可危：美国姿态与潜在干预 近期行动表明，美国正在为可能的委内瑞拉军事干预做准备。自2025年起，美国将两个组织——“阿瓜拉火车”和“太阳集团”指定为恐怖组织，尽管缺乏可验证的证据来证明其规模或与马杜罗政府的联系，从而重燃“毒品战争”作为借口。与此同时，还悬赏5000万美元逮捕马杜罗。 这种升级与诺贝尔和平奖授予玛丽亚·科里娜·马查多（Maduro的强烈批评者和美国制裁的支持者）相吻合，她受到一个与古巴裔美国政治家关系密切的网络支持，该网络致力于在委内瑞拉和古巴两国实现政权更迭。 美国明显增加了在加勒比地区的军事存在，对船只发动可疑的打击，并部署军队、航空母舰和秘密行动小组。目前正在考虑五种潜在的干预方案，范围从政变企图到全面入侵和暗杀领导人——这与美国过去在巴拿马、伊拉克和越南的行动相似。 委内瑞拉正在为防御做准备，军队得到加强，民众对玻利瓦尔项目的大力支持。中国和俄罗斯在该地区的存在以及联合国安理会采取行动的可能性，也可能阻止直接干预。

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

持续的政府停摆已持续超过40天，由于航空旅行中断，正逼近崩溃点。 FAA已因无薪资的空中交通管制员导致的人员短缺，下令在主要机场减少航班——从4%开始，并可能升至超过20%。 这已经导致了大量航班取消和延误，影响了亚特兰大、芝加哥和纽约等城市，预计随着感恩节旅行高峰的开始，情况将急剧恶化。 像CNBC的Brian Sullivan这样的专家认为，广泛的机场关闭最终将*迫使*政党达成妥协。 日益严重的旅行混乱以及航空旅行可能出现“涓滴”效应，预计将迫使立法者解决僵局并重新开放政府，担心选民的强烈反对。 预计在未来几周内达成解决方案，与感恩节旅行高峰相吻合。

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

启用 JavaScript 和 Cookie 以继续。

英国广播公司（BBC）主持人马丁·克罗克萨尔因在新闻片段中将“孕妇”改为“女性”而受到批评和纪律处分。起初，BBC 将此辩护为清晰修正，但在收到 20 起投诉后，网络改变了立场，认为她在更改期间的短暂停顿和面部表情传达了对跨性别身份的偏见和“个人观点”。 法律分析师乔纳森·图利，前 BBC 顾问，质疑正在执行的标准。他指出，BBC 没有规则*要求*使用“孕妇”，并认为问题源于克罗克萨尔的非语言反应。图利认为，依赖投诉数量来确定偏见是存在问题的，并强调了针对异议观点的有组织投诉趋势。 他批评 BBC 对可接受语言的含糊不清，让主持人不确定如何处理敏感术语，并最终惩罚了克罗克萨尔，因为她纠正了她认为不准确的措辞。这种情况引发了对言论自由和遵守特定语言规范的压力的担忧。

一位 Karafka 用户报告了 2700 个相同的、看似不可能出现的错误——尝试在 String 上调用 `#default` 时发生的 `NoMethodError`，这引发了对该 gem 内部结构及其 FFI 依赖项的深入调查。根本原因不在 Karafka 的代码中，而是在 1.17.0 之前的 FFI 版本中的内存管理问题。 具体来说，缺少写屏障导致 Ruby 的垃圾回收器释放了 FFI 用于映射结构体字段定义的内部 Hash。然后，这被释放的内存被重新分配给一个 String，导致 FFI 尝试访问该 Hash 时出现奇怪的错误，就好像它仍然存在一样。由于内存翻转和 GC 活动增加，该错误特别容易在 musl libc 环境中发生（例如 Docker 中的 Alpine Linux）。 重现该问题需要一个精心设计的测试用例，其中包含大量的瞬态结构体定义和多线程执行，以创建精确的时间和内存压力。修复方案已在 FFI 1.17.0 中实现，它添加了必要的写屏障，以防止 GC 过早释放关键数据结构。该事件强调了写屏障在 C 扩展中的重要性，并展示了看似不可能出现的错误如何源于 Ruby 内存管理和底层代码之间的微妙交互。升级到 FFI 1.17.0 至关重要，尤其是在高重启环境中，罕见错误会成为可能发生的情况。

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

唐纳德·特朗普最近宣布了一项计划，将向大多数美国人分配“至少”2000美元，资金来源于美国关税收入。他声称这些关税已经产生了“数万亿美元”，并且没有导致通货膨胀，称反对者为“愚蠢”。 财政部报告称，2025年已收取超过1950亿美元的关税，预计每年将超过5000亿美元。贝森特部长强调，目标是贸易再平衡，而不仅仅是收入收集。特朗普在十月份的一次采访中曾提出类似的分配建议，估计每年收入超过一万亿美元。 这项提议已经引发了市场反应，加密货币市场出现积极上涨，预计可能出现现金流入。专家预测，市场开盘后黄金价格也将出现类似上涨。然而，这种支付的长期可行性仍然存疑，尤其是在受到法律挑战的情况下。

## 市场总结：人工智能财报与潜在脆弱性（2023年10月底） 近期市场表现受到企业财报的驱动，尤其是科技和人工智能公司的财报，在政府停摆导致宏观经济日历有限的情况下。尽管第三季度盈利增长强劲（同比增长10.7%，IT行业为26.5%），但市场反应平淡，即使超出预期，也表明高期望值已被消化。投资者高度关注前瞻性指引和资本支出，特别是人工智能投资。 尽管技术趋势乐观，但市场广度正在减弱——参与上涨的股票数量减少，只有55.4%的标普500成分股高于其200日移动平均线。估值仍然偏高（市盈率为22.9倍），市场的涨幅严重依赖“七巨头”，预计剩余493家标普公司将出现负增长。 令人担忧的是，回购市场（金融稳定至关重要的短期借贷系统）的压力正在重新显现，可能需要美联储干预。 此外，政府最终重新开放并将约7000亿美元资金注入经济，可能会引发风险资产的“熔涨”。 投资者应保持谨慎，关注盈利、指引和市场内部因素。 尽管当前趋势乐观，但脆弱性正在增加，缺乏更广泛的参与可能导致波动。

## KeePassXC 与人工智能：维护安全与透明 KeePassXC，一款安全至关重要的密码管理器，最近更新了其贡献政策，以解决由 GitHub Copilot 等人工智能工具生成的代码问题。这引发了讨论，促使团队澄清他们的做法。 核心原则保持不变：所有代码都将经过严格的审查、测试和维护者批准——无论其来源如何。KeePassXC 以两种方式利用人工智能：作为额外的代码审查“眼睛”，识别潜在错误；以及为简单的任务（如样板代码或错误修复）起草拉取请求。然而，他们明确**不**“生成代码”或接受未经审查的人工智能生成代码。 团队强调，人工智能辅助仅限于有针对性的、小的更改，并且始终伴随彻底的人工审查。他们发现人工智能在规划复杂更改和生成测试方面很有帮助，但也承认其局限性。透明度是关键；人工智能辅助的贡献将被披露。 KeePassXC 仍然致力于完全开放和可审计的流程，所有拉取请求均公开可见。他们向用户保证，不会将任何人工智能功能集成到应用程序中，并且他们的安全标准不会受到损害。他们鼓励社区继续监督和提供反馈。

蒙大拿州已成为美国首个通过立法保护其公民访问和使用计算工具和人工智能的州，通过了蒙大拿州计算权法案（MRTCA）。该法案由州长格雷格·吉安福特签署成为法律，将拥有和操作硬件、软件和人工智能的权利纳入该州宪法对财产和自由表达的保护之中。 支持者称该法案是对数字自由的重要捍卫，强调个人对未来技术的控制权。虽然允许在公共卫生/安全情况下进行监管，但该法律对限制设定了很高的标准——它们必须能够证明是必要的且范围狭窄。它还强制要求对人工智能控制的基础设施采取安全措施，包括人工干预能力。 MRTCA与其他州更严格的人工智能监管尝试形成对比，并已激励新罕布什尔州等地的类似举措，预示着全国范围内“计算权”运动的兴起，该运动倡导计算作为一项基本人权。

## 动态链接与全局偏移表 (GOT) 当程序使用共享库中的函数（如 `puts`）时，它不会直接包含函数的代码。相反，它使用*动态链接*，代码在运行时链接。这通常与*延迟绑定*结合使用，意味着链接仅在首次调用函数时发生。 最初，程序在**全局偏移表 (GOT)** 中包含 `puts` 的占位符。第一次调用 `puts` 时，执行流程会经过一个 **PLT (程序链接表) stub** – 一个小的代码片段，它跳转到当前的 GOT 条目。由于 GOT 条目最初指向 PLT 内部，因此会调用动态链接器。 动态链接器解析 `libc.so` 库中 `puts` 的实际地址，并使用该地址修补 GOT 条目。随后对 `puts` 的调用将直接从 PLT stub 跳转到 GOT 中的解析地址，绕过动态链接器并提高性能。 这个过程展示了动态链接如何实现代码重用和高效的程序执行，仅在需要时解析函数地址。

## Zensical：下一代静态站点生成器 Zensical 是一个全新的、完全开源（MIT 许可）的静态站点生成器，由 Material for MkDocs 团队创建。它旨在克服其前身 MkDocs 的局限性，后者目前已停止维护并存在供应链风险。Zensical 从头开始构建，优先考虑现代写作体验、可扩展性和性能，适用于任何规模的文档站点。 主要特性包括与 `mkdocs.yml` 的原生兼容性，方便从 Material for MkDocs 迁移，名为 Disco 的超快速客户端搜索引擎，以及新的差异化构建引擎 (ZRX)，可显著加快构建时间。核心重点是最大化兼容性，同时引入模块化系统以增强定制性。 该团队还推出了 Zensical Spark，这是一种专业服务，提供支持并影响项目的开发。他们正在从赞助模式转向，以确保长期可持续性。Zensical 现已发布，团队承诺在专注于新平台开发的同时，至少支持 Material for MkDocs 12 个月。

## NetBSD 沙盒化与 Linux 命名空间：GSoC 2025 总结 该 Google 暑期实习项目旨在为 NetBSD 引入一种新的沙盒机制，灵感来自 Linux 命名空间。目前，NetBSD 除了有限的 `chroot` 之外，缺乏强大的沙盒化功能。该项目专注于实现两种关键的命名空间类型：UTS（主机名/域名）和挂载命名空间。 该实现利用 NetBSD 的 `kauth` 子系统进行凭证和生命周期管理，模仿 Linux 的方法，为每种命名空间类型使用单独的“secmodels”。 UTS 命名空间的成功实现允许应用程序修改它们感知的hostname，而不会影响系统。 挂载命名空间虽然更复杂且仍在进行中，但旨在隔离文件系统挂载，使应用程序能够以独立的文件系统层次结构视图运行。 代码可在 GitHub 上找到（maksymlanko/netbsd-src gsoc-bubblewrap 分支），包括一个基础的命名空间框架、一个带有测试的完整实现的 UTS 命名空间，以及正在进行的挂载命名空间工作。 虽然完整的挂载命名空间实现需要进一步努力，但该项目证明了将 Linux 风格的命名空间引入 NetBSD 的可行性，可能使本机应用程序和通过 `compat_linux` 与 Linux 二进制文件的兼容性都受益。 未来的工作可以探索 PID 和用户命名空间以增强隔离性。

欧洲对不明飞行器扰乱空域日益担忧，尤其是在比利时，最近的事件影响了主要机场，并影响了数千名乘客。作为回应，英国应比利时要求派遣军事人员和装备前往比利时，加入德国提供反无人机支持。 无人机的来源尚不清楚，英国官员暗示俄罗斯可能参与其中，并引用了一种“混合战争”模式。然而，一些人推测这些事件可能是为了挑衅，或者推动更严格的无人机法规。 值得注意的是，现有的欧洲无人机探测技术无法确定这些入侵的来源，引发了对其复杂性和目的的质疑。这种情况凸显了对空域安全日益增长的担忧，以及北约盟国之间加强集体防御措施的必要性。

美国全球媒体署（USAGM）正在停止对“自由欧洲”的资助，该机构是自由欧洲/自由电台（RFE/RL）的匈牙利语服务部门。USAGM首席执行官卡里·莱克在致国会议员马里奥·迪亚兹-巴拉特的信中表示，特朗普政府认为该服务部门最初的目的——成立于2019年——不再符合美国国家利益。 这一决定源于对“自由欧洲”积极*破坏*匈牙利总理维克多·奥尔班的担忧，奥尔班是美国的重要盟友和北约成员国，实际上反对他的民选政府。总理的政治主任巴拉兹·奥尔班对这一举动表示欢迎，指责该媒体从冷战时期推广自由的使命转变为推行自由主义议程。 莱克重申，美国纳税人的钱应该只用于资助对美国人民有益的内容，而破坏盟友并不能实现这一目标。这标志着美国外交政策朝着优先与盟友合作和相互尊重转变。

我们提出Drax，一种使用离散流匹配的非自回归ASR模型，它包含一个音频条件化的中间分布，以更好地匹配推理动态。Drax实现了与最先进的自回归模型相当的准确性，同时在准确率-效率权衡方面提供更好的控制。

## 电子邮件验证协议：概要 电子邮件验证协议 (EVP) 为传统的电子邮件验证方法（链接/验证码）提供了一种注重隐私、减少摩擦的替代方案。EVP 不发送电子邮件，而是允许 Web 应用程序在用户无需离开页面即可直接在浏览器中验证电子邮件地址。 其工作原理如下：用户输入其电子邮件地址，触发浏览器向“签发者”（一种通过 DNS 授权由电子邮件域名授权的服务）发出请求。签发者验证用户是否控制该电子邮件地址，并颁发数字签名的令牌 (SD-JWT+KB)。然后将此令牌呈现给 Web 应用程序，Web 应用程序验证其真实性，从而确认电子邮件所有权。 主要优势包括增强的用户隐私——签发者不知道*哪个*应用程序请求验证——以及通过消除电子邮件切换和等待时间来改善用户体验。该协议使用安全的令牌格式 (SD-JWT+KB)，并依赖于 JSON Web 令牌 (JWT) 和 DNS 记录等既定的 Web 标准。 未来的发展方向包括浏览器集成以进行电子邮件选择，以及潜在地使用密码密钥进行身份验证，从而进一步简化流程并提高安全性。这种方法旨在平衡在线电子邮件验证的可用性、安全性和用户隐私。

这篇随笔反思了作者在一位前学生佐赫兰·曼达尼赢得政治初选后，被媒体联系的经历。这些询问并非关于曼达尼本人，而是关于他在鲍登学院学习非洲研究专业如何可能影响了他的社会主义观点——在一些人看来，这些观点可能具有激进性，甚至反犹太主义。 作者详细描述了可预测的右翼叙事，试图将非洲研究等学术学科与不良政治意识形态联系起来，并引用了戴维·布鲁克斯声称阅读福柯会导致疏离的例子。他勉强同意与《纽约时报》记者交谈，希望为该领域提供背景信息，但最终的文章反而强化了这种叙事，严重依赖保守派智库来“平衡”学术观点。 作者批评《纽约时报》在呈现对立观点时，未能承认其中存在的权力动态和偏见，从而有效地赋予了未经证实的说法过多的可信度。虽然承认鲍登学院的特权和曼达尼在遭受攻击后取得的成功，但他对这种媒体策略的更广泛影响表示担忧——它在获得经济资源支持时，能够使有害言论合法化。最终，他哀叹主流媒体中对真正学术研究价值的日益贬低。

## Pipeflow：轻量级PHP管道引擎 Pipeflow是一个PHP库，旨在通过分解为可管理、可重用的阶段来简化复杂的自动化流程。这些阶段被链接在一起形成管道，管道可以以人类可读的XML格式定义和配置——即使是非开发人员也能维护和更新工作流程，而无需更改代码。或者，管道也可以直接在PHP中配置。 每个阶段都操作于共享的`PipelineContext`，接收和丰富在步骤之间传递的数据。这允许一致的数据处理和易于测试。Pipeflow非常适合内容生成（例如，通过其在自动发布着色页和童话故事中的应用）、数据处理、营销自动化以及与AI服务集成等任务。 主要功能包括可配置的运行时、用于自定义阶段的可扩展目录以及一种数据驱动的方法，允许在不重新部署代码的情况下进行调整。 详细的文档和贡献指南可供使用，以促进社区参与和持续改进。

## 特斯拉的大胆机器人计划与中国竞争的崛起 特斯拉股东压倒性地批准了价值 1 万亿美元的绩效奖金，以激励埃隆·马斯克实现雄心勃勃的目标，例如完全自动驾驶（Robotaxi 部署）和量产人形机器人 Optimus——目标是到 2025 年每年生产 100 万台，并可能扩大到每年 1 亿台甚至 10 亿台。特斯拉已经开始有限的 Optimus 生产，并对关键组件下了大量订单。 然而，中国正在迅速成为人形机器人领域的主要竞争者。高盛分析显示，众多中国公司正在积极扩大在中国、泰国和墨西哥的生产能力，预计需求旺盛——一些公司计划每年生产高达 100 万个机器人当量单位。 这些供应商正在扩大其产品范围，并强调快速的生产能力，已经为特斯拉、Agibot 和小鹏等客户提供服务。分析师虽然持乐观态度，但也警告说，广泛的家庭采用仍然遥远，可能要到 2030 年代才会发生，而特斯拉 Optimus Gen 3 于 2026 年初推出的关键里程碑将至关重要。

## 欧盟气候政策威胁产业，巴斯夫CEO警告 巴斯夫CEO马库斯·卡米特发出了严厉警告，称日益严格的欧盟气候政策对欧洲产业造成损害。尽管全球经济正在复苏——美国、中国和印度均实现强劲增长——巴斯夫在2023年第三季度报告收入和利润下降，导致裁员。卡米特将此归因于成本上升，特别是源于欧盟碳排放交易体系（EU ETS 2）的成本。 他估计，仅巴斯夫公司，从2027年起每年将面临额外的10亿欧元成本，原因是豁免政策的取消，这种负担是欧洲公司独有的，而全球竞争对手则不受此类限制。埃夫尼克CEO克里斯蒂安·库尔曼也表达了类似的担忧，他称该体系为“经济疯狂”。 两位领导人都强调了欧洲在气候方法上的日益孤立，正如美国退出《巴黎协定》所表明的那样。批评人士认为，不断上涨的二氧化碳税——预计每年达到1000亿欧元——以及相关的补贴正在错误配置资本，可能导致德国GDP下降4-5%，并有效地充当“贫困引擎”，耗尽其工业基础。尽管有气候社会基金，但由于该政策已知的负面经济后果，其伦理合理性受到质疑。