电梯传奇 - 电梯编程游戏 运输时间 运输/秒 平均等待时间 最大等待时间 移动 重置 撤销 重置 应用 保存

## BahnBet 摘要 BahnBet 是一个平台，用户可以在此平台上对德国 ICE 列车的准点率进行投注。该平台显示了许多列车路线——主要是在柏林、慕尼黑、汉堡和法兰克福等主要城市之间——并提供计划、预计和实际到达时间的实时更新。 目前许多列车正在经历严重的延误，延误时间从 +48 分钟到 +108 分钟不等。每个列车信息都显示一个“共识”分数（代表其他用户的预测）、投注池中的金额以及投注数量。 热门路线和投注活跃度高的路线包括柏林-慕尼黑和汉堡-巴塞尔。用户可以分享投注并邀请朋友以获取奖励。一些列车目前*准时*，显示为“准时”而不是延误时间。该平台为列车赋予了富有创意的名称（例如“Spatzigeli”、“Dachskatzi”），为投注体验增添了趣味性。

## 伊朗冲突中俄罗斯调解的可能性 安德鲁·科里布科认为，俄罗斯与所有关键参与方——伊朗、美国、以色列和海湾王国——都建立了独特的关系，是能够调解冲突升级的唯一国家。近期普京与阿联酋、卡塔尔、巴林和沙特阿拉伯（通过穆罕默德·本·萨勒曼）领导人的通话表明了这一努力，普京在表达对袭击的同情的同时，也提出了调解的建议。 尽管存在着强大联盟的认知，俄罗斯仍然保持着谨慎的平衡，与阿联酋等海湾国家合作，同时也与伊朗保持接触。伊朗的目标是生存和报复，而美国和以色列寻求政权更迭和非军事化。海湾王国优先考虑结束袭击以保护其经济。 俄罗斯的利益与伊朗的利益在务实层面相符——维护国家和地区平衡——这与美国/以色列的目标形成对比。海湾王国担心进一步的经济损失，愿意进行和平谈判，如果伊朗做出让步，可能会向美国施压以限制行动。普京的挑战在于促成对伊朗和关键的海湾国家都能接受的妥协方案，并可能迫使美国重新评估其战略。

## RE#: 一款新型快速且功能丰富的正则表达式引擎 RE# 是一种用 F# 构建的新型正则表达式引擎，在行业基准测试中超越了现有引擎（包括 .NET 的性能）。其关键创新在于支持布尔运算符——交集 (&) 和补集 (~)，以及完整的上下文感知环视，*同时* 保持线性时间复杂度 (O(n))。 这解决了正则表达式功能中一个长达数十年的差距，最初于 1964 年提出，但直到最近才被广泛关注。 与基于 Thompson NFAs 或回溯的传统引擎（容易出现指数级减速和 ReDoS 等安全漏洞）不同，RE# 利用 Brzozowski 导数和延迟 DFA 构建。 这使得能够高效处理复杂模式并保证可预测的性能。 一个核心优势是通过布尔运算符组合更简单的模式来提高正则表达式的可读性和可维护性，而不是创建单一的表达式。 RE# 通过诸如极小项压缩和独特的双向匹配算法等技术实现速度。 它优先考虑正确性，遵循 POSIX 最左最长匹配语义，并提供准确的匹配报告等功能。 该引擎现已开源，并提供配套的 Web 应用程序供探索，详细信息发表在 POPL 2025 会议论文中。 它代表了正则表达式技术的重大进步，为模式匹配提供了一个强大而可靠的解决方案。

中东地区的近期动荡，包括伊拉克油田关闭以及伊朗袭击造成的炼油厂停产，预计将对全球能源市场产生重大影响，特别是霍尔木兹海峡。然而，高盛分析师认为，美国化学制造商可能会*受益*于这种不稳定。 油价上涨将不成比例地影响依赖石脑油的欧洲和亚洲竞争对手，而利用更便宜的国内天然气的美国生产商将看到利润率提高。这是由于有利的油气比率推动了美国化学品生产的盈利能力。 此外，受动荡影响的中东地区（特别是氮、硫和甲醇）化学品产量减少将导致全球供应收紧，为美国出口创造更多机会。虽然一些美国公司在中东拥有资产，可能面临局部负面影响，但美国化学工业的整体前景仍然乐观。

## coroTracer：协程调度器调试工具 coroTracer 是一种新颖的进程外跟踪器，旨在识别 M:N 协程调度器中的逻辑错误——传统工具如 ASAN/TSAN 无法检测到的问题。它的创建者构建它是为了解决调度器中的性能瓶颈，即在负载下吞吐量会意外降至零，原因是“丢失的唤醒”，协程无限期地等待已关闭的文件描述符。 该工具通过利用锁无关的共享内存段（mmap）来工作，目标应用程序（C++、Rust、Zig 等）将状态更改写入该段。一个单独的 Go 引擎读取此数据，以最小的开销重建协程执行拓扑——没有网络调用或上下文切换。关键优化包括缓存行对齐和使用 Unix 域套接字“智能唤醒”系统，以避免不必要的系统调用。 coroTracer 输出一个 `trace.jsonl` 文件，可以通过 markdown 报告（检测 SIGBUS 和丢失的唤醒等问题）或交互式 HTML 仪表板进行分析。创建者成功地使用它定位了 47 个等待已关闭套接字读取的卡住的协程，揭示了一个 `close(fd)` 之后没有跟随必要的 `.resume()` 调用的错误。 该项目提供了一个 C++20 SDK，并设计为可适应支持 `mmap` 的其他语言。

欧洲目前依赖于美国拥有的社交媒体平台，这造成了一种限制民主控制和数据主权的依赖关系。虽然监管有所帮助，但真正的解决方案需要替代技术。 新兴的开放社交媒体生态系统，建立在AT协议等开放协议之上，提供了一条有希望的前进道路。这些系统优先考虑用户控制、数据隐私，并防止单家公司垄断，从而实现互操作性——用户可以无缝切换服务而不会丢失连接。利用AT协议的平台Bluesky已经拥有超过4000万用户，证明了其可扩展性。 Eurosky旨在抓住这个机会，通过建立欧洲托管的基础设施来实现。这将降低欧洲企业家开发竞争性社交应用程序的门槛，并赋予用户重新掌控其在线体验的能力，从而为欧洲大陆培育一个更加独立和安全的数字未来。

周一爱丁堡发生一起持刀伤人事件后，爱丁堡市议会领袖简·梅格尔强调了该市对多元化和社区精神的承诺。事件中，一名嫌疑人（一家报纸最初报道为索马里移民，但警方尚未确认其国籍）持两把大型刀具，造成两人受伤——一名男子身受刀伤，一名女子头部受伤，两人均已入院治疗。 嫌疑人已被捕，警方出动了包括武装警员在内的力量，并对学校进行了封锁。目击者称，嫌疑人手持染血的刀具，试图进入一家超市，造成破坏，随后前往一所小学，最终把自己锁在一栋公寓楼内。他在被拘留期间，被目击者看到对着围观者咧嘴微笑。梅格尔表示，该事件凸显了对宽容的需求，并重申她希望爱丁堡继续成为一个“自豪、热情和多元化的城市”。

模拟 随机化 重置 图案 果实 R-五格骨牌 滑翔者 顽强者 戈斯珀枪 脉冲星 相机 顶部 等距 由 Koen van Gilst 制作 • 源代码在 github

传统电视的衰落并非因为人们减少了观看视频的时间，而是观看视频的*地点*发生了变化。年轻观众越来越多地在TikTok、Instagram和YouTube等平台上消费短视频内容——通常被称为视频的“零食区”。 这种转变解释了电视观众的年龄差距。Statista的数据显示，55-64岁的人群中，每周观看电视超过11小时的人占47%，而18-24岁的人群中，这一比例仅为22%。 年轻一代不太关心预定的节目安排（“今晚有什么？”），而更关注算法驱动的、持续的推荐（“接下来有什么？”）。 电视仍然具有相关性，但现在面临着在一个极度扩张和分散的视频领域中的激烈竞争。

## 超越反向传播：神经科学揭示人工智能的未来 当前人工智能依赖于使用反向传播训练的人工神经网络——这一过程在生物学上与人脑不符。最近对计算神经科学的探索表明，我们的大脑功能根本不同，为人工智能发展提供了新的途径。 大脑不是被动地接收信息，而是*预测*并主动*幻觉*现实，将这些预测与感官输入进行比较，并从“预测误差”中学习。这种学习不使用基于微积分的梯度（如反向传播），而是依赖于**棘突时序依赖可塑性 (STDP)**——一种局部、基于时序的神经元之间连接调整。 **多巴胺**起着至关重要的作用，类似于人工智能强化学习中使用的**时序差分 (TD) 学习**算法，它传递奖励预测误差并指导学习。 为了真正模拟这一生物过程，该领域正在转向专为脉冲神经网络设计的**神经形态芯片**，与传统的GPU相比，它具有更高的能源效率，并且能够更自然地处理不确定性。研究人员还在探索诸如**目标传播**和**反馈对齐**等技术，以实现深度学习，而无需依赖反向传播。 人工智能与神经科学的融合为构建更智能、更高效和更具适应性的人工智能系统提供了蓝图，超越了当前方法的局限性。

匈牙利总理维克托·奥尔班警告说，中东冲突，特别是关于伊朗庞大人口的问题，可能引发一场远超2015-2016年叙利亚难民潮的移民危机。他担心潜在的涌入途径将通过土耳其和巴尔干地区，抵达匈牙利边境。 奥尔班在即将到来的选举中以和平与边境管控为竞选纲领，强调匈牙利需要“拒绝移民”。他还强调了不断升级的能源问题，引用了卡塔尔液化天然气交付中断以及伊朗袭击后潜在的油价飙升，以及乌克兰持续封锁的友谊管道。 他强调匈牙利必须为这些共同挑战——大规模移民和经济不稳定——做好准备，以保护其安全和经济。其他欧洲右翼政党，如德国的AfD，也表达了类似的担忧，他们优先考虑缓和局势，并防止再次发生不受控制的移民和潜在的恐怖主义威胁。

作者约翰·斯卡尔齐解释了他不再回复读书会邀请的原因：大量人工智能生成的垃圾邮件。他每天收到数十封*声称*来自读书会的邮件，难以区分真正的请求和旨在骗取金钱或信息的诈骗。 这不仅影响了他的时间，也是一个普遍存在的问题，阻碍了作者们获得合法的机会，例如参加大会和演讲活动。斯卡尔齐有资源来过滤这些请求，但许多作者缺乏这样的资源，正在努力应对这股浪潮。 核心问题是，人工智能驱动的垃圾邮件正在侵蚀信任，使创作者更难与真正的读者联系并推广他们的作品。斯卡尔齐对诈骗犯表示沮丧，并向那些受到牵连的合法读书会道歉，表示他必须优先写作而不是整理垃圾邮件。

## 加密客户端问候 (ECH) 处理摘要 当服务器收到客户端的初始连接尝试，其中包含加密的客户端问候 (ECH) 扩展时，它首先确定是否支持 ECH。它通过使用预配置的 ECHConfig 值列表尝试解密扩展，按配置 ID 匹配或尝试使用所有可用配置进行解密。 成功解密会显示一个新的客户端问候，用于处理。 服务器在解密有效负载之前，会验证兼容性（密码套件、ECH 版本），并使用与所选 ECHConfig 关联的私钥进行解密。 可选地，它可以验证 ECHConfig 中的公共名称是否与服务器名称指示 (SNI) 匹配。 如果解密成功，服务器会将解密的客户端问候转发到后端服务器。 如果后端请求重试（HelloRetryRequest），服务器将使用相同的 ECHConfig 解密客户端的第二次尝试。 如果*所有*解密尝试都失败，服务器将继续进行标准的 TLS 握手，并可能向客户端提供重试配置。 失败并不一定表示错误，因为它可能是 GREASE 扩展，并且如果需要 ECH，客户端应中止连接。 服务器会转发所有后续消息，不做修改。

## 学习与发展中“循环游戏”的力量 婴儿（甚至动物）参与的最简单的游戏——比如取物、躲猫猫或重复开关物体——从根本上说是建立在重复基础上的“循环游戏”。这些不仅仅是为了娱乐；它们是至关重要的学习工具。通过这些互动，婴儿发展对因果关系的理解——行动如何产生反应。例如，躲猫猫不仅仅是关于物体恒存性，而是学习社会线索，比如眼神接触带来的积极关注以及照护者的可靠性。 这种对重复互动的需求延伸到婴儿期以后，培养*社会效能*——理解行动会影响他人——以及归属感。对这种“练习”的渴望可能源于生物学，可能与参与习惯形成的脑结构有关。 即使是敌对互动，比如争论，也可以被视为教授抵抗和应对利益不完全一致的“循环游戏”。适应不良的行为，比如重复争论或寻求负面关注，可能源于需要*更多*练习来掌握这些社会动态，或者难以有效处理反馈。最终，这些“循环游戏”突出了重复不是无聊，而是学习和完善我们对世界以及我们在其中位置的理解的基本动力。

## 动荡世界中的软实力与硬实力 一个国家“硬实力”（军事力量）与“软实力”（文化和外交影响力）之间的相互作用日益重要，尤其体现在最近的美国外交政策中。虽然硬实力可以赢得战役，但软实力能够促进持久和平并建立关键联盟——从长远来看，“智慧力量”方法最为有效。 2026年全球软实力指数显示，美国目前排名第一（74.9），略高于崛起中的中国（73.5）。日本、英国和德国位列前五。俄罗斯通过硬实力提高的可见度在短期内获得了关注，但对其文化吸引力产生了负面影响。 该指数基于全球认知指标，突显了一个多元化的格局。西欧保持着强大的影响力，而印度和巴西等国家则展现出显著的区域力量。数据表明，仅仅依靠硬实力代价高昂且常常适得其反，而培养软实力则可以减少冲突并提升全球地位。

人工智能的怀疑者认为，语言模型应该明确定义为*工具*，例如计算器，以避免用户高估和潜在的心理问题。然而，这种观点忽略了一个关键点：构建有能力的人工智能*需要*赋予它们类似人类的“个性”。 未经训练的“基础模型”基本上无法使用，会产生随机甚至有害的输出，反映了其庞大且未经过滤的训练数据。效用只有通过引导这些模型才能出现——本质上是赋予它们明确的特征——以优先考虑有益和合乎道德的响应。这种个性并非欺骗性的营销手段，而是人工智能浏览其复杂数据并提供相关结果的机制。 正如人类根据其性格来过滤行为一样，人工智能的个性也会约束输出，防止模型默认出现训练数据中存在的问题内容。因此，试图创造一个“仅仅像工具一样运作”的人工智能，从根本上来说与构建一个功能安全系统不相容，考虑到这些模型是在人类互动的基础上进行训练的。

## Rust 编译器在 PHP 中：摘要 该项目使用 PHP 完全实现了一个 Rust 编译器，能够直接生成 x86-64 Linux ELF 二进制文件，*无需* 依赖 LLVM、汇编器或链接器。它专为工具受限的环境（如旧共享主机）设计，支持 Rust 的核心特性，包括所有权和借用检查、类型检查、移动语义、泛型、特征、闭包和迭代器。 该编译器处理基本数据类型（整数、布尔值、字符串）、结构体、枚举、控制流、函数和具有 `pub` 可见性的模块。它包含 `Option` 和 `Result` 的实现，用于错误处理。提供了一个带有预期输出的测试套件，用于验证。 目前，该编译器缺少一些特性，例如复合赋值、元组、`Vec`、浮点数、`?` 运算符、复杂的闭包、生命周期和额外的整数类型。然而，它为在仅 PHP 环境中运行 Rust 代码提供了一个功能基础，尤其是在 Windows 上通过 WSL 实现。

## pg_jitter：PostgreSQL 的更快 JIT 编译提供者 pg_jitter 是 PostgreSQL 14-18 版本的轻量级即时编译 (JIT) 提供者，比默认基于 LLVM 的 JIT 具有显著更快的编译时间。它引入了三个替代后端——sljit、AsmJit 和 MIR，以加速查询执行，尤其是在表达式密集型工作负载和宽表的情况下。 Postgres 中的传统 JIT 编译可能很慢（数十到数百毫秒），这会阻碍它在典型的在线事务处理 (OLTP) 查询中的实用性。pg_jitter 实现微秒级编译，使 JIT 对于更广泛的查询来说是可行的。**sljit** 提供一致的性能（比解释器快 5-25%），并推荐用于大多数场景。**AsmJit** 在处理宽行方面表现出色，而 **MIR** 提供可靠的增益和可移植性。 主要功能包括运行时后端切换、两级函数优化以及可选的预编译函数 blob，以实现零成本内联。虽然更快，但 JIT 可能会由于缓存未命中和内存压力而引入开销，因此最好避免将其用于非常快的查询。该项目目前处于 Beta 阶段，通过了所有标准 Postgres 测试并展示了性能改进，并计划进行持续开发和测试。

德国正面临日益加深的经济危机，2026年1月企业税收收入暴跌79%便是明证。这种下降与个人所得税的下降同时发生，尽管增值税有所上涨（受持续通货膨胀推动），预示着该国核心工业部门——汽车和化工行业正面临严重问题。 收入下降并非短期波动，此前2025年已下降6%，并伴随着企业破产和资本外逃的激增。政府试图通过增加支出和补贴来稳定经济，包括国防和绿色倡议的资金，但效果不佳。 作者认为，多年来的“绿色社会主义”、过度监管和不断扩张的福利国家已经过度透支了生产力，并造成了对永久性补贴的依赖。随着国家份额超过50%且不断上升，德国正朝着越来越困难的财政年份迈进，很可能需要对公民和财富征收更高的税收来弥补不断扩大的预算缺口。当前形势暴露了脆弱的经济基础和迫在眉睫的财政深渊。

西蒙·威利森的博客 订阅 赞助：Augment Code — 代理编排。实时规范。你最喜欢的代理。用意图构建。 代理工程模式 从像 Claude Code 和 OpenAI Codex 这样的编码代理中获得最佳结果的模式。请参阅我的介绍，了解有关此项目的更多信息。 原则 现在编写代码很便宜 储备你擅长的事情 测试和质量保证 红/绿 TDD 先运行测试 理解代码 线性逐步分析 交互式解释 带注释的提示 使用 WebAssembly 和 Gifsicle 的 GIF 优化工具 附录 我使用的提示 声明 题记 © 2002 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 2015 2016 2017 2018 2019 2020 2021 2022 2023 2024 2025 2026

``` %PDF-1.1 1 0 obj > endobj 3 0 obj >> >> endobj 4 0 obj > stream 546 0 0 699 0 0 cm /Im005 Do endstream endobj 5 0 obj > /Width 2272 /Height 2912 /BitsPerComponent 1 /ColorSpace /DeviceGray /Length 6 0 R >> stream 9OAi ZˎkzMOWH?IOAC/ Na*G-qu-DP q)Bќ[ʤf%h0 !9 >B2(A"0tj:#@R)ʡyLq8aVCB PA6awiԃA@`aдVّNvFSll!R(AA8a0OU"9t d`! j4:a ݇! !ma6C`l0!F"?i q +a``` ```

## NeuralCPU：基于GPU的CPU实现 NeuralCPU是一种新颖的CPU架构，完全作为在GPU上运行的程序实现，利用PyTorch张量作为寄存器、内存、标志和程序计数器。 关键在于，*所有* ALU操作——加法、乘法、位运算和移位——都由专门的预训练神经网络执行。 该系统通过诸如加法中的Kogge-Stone进位先行和乘法中的字节对查找表等技术实现令人印象深刻的性能，所有这些都使用神经网络实现。 它支持64位ARM64指令集，并在347个自动化测试中验证了整数算术的100%准确性。 提供两种模式：“神经网络模式”，其中所有算术运算都使用训练好的模型；以及“快速模式”，利用原生GPU张量运算实现显著更高的吞吐量（高达1.35M IPS）。 通过原生Metal GPU实现可以进一步优化，以实现零CPU-GPU同步。 该项目包括诸如DOOM光线投射的演示，展示了复杂应用程序完全在此神经网络CPU架构上运行的可行性。

PHP 基金会已任命伊丽莎白·巴隆为新任执行董事，接替创始董事罗曼·普朗斯基。巴隆经过全面搜索后被选中，她拥有丰富的 PHP 社区和开源治理经验。 她的背景包括联合创办一个支持 PHP 中女性和非二元性别个体的非营利组织，领导 GitHub 的开发者外展工作（包括 Patchwork 倡议），并通过 CHAOSS 为开源社区健康指标做出贡献。她在社区建设、筹款和战略方面的多样化技能使她能够很好地领导基金会的未来。 普朗斯基将过渡到专注于他在 JetBrains 的角色，同时继续担任董事会成员，以确保平稳过渡。巴隆表达了她对在基金会的成就基础上继续努力，并确保 PHP 在未来几年内持续成功的兴奋之情。

数字研究公司搜索信息→按回车键搜索

艾伯塔省长丹妮尔·史密斯宣布将于10月19日举行公投，可能包含关于省份独立的议题——但前提是请愿签名达到足够数量。然而，批评人士认为这次公投在战略上被设计成反对独立，尽管艾伯塔省民中（大约三分之一）日益增长的情绪是觉得自己受到加拿大不公平对待。 公投包含多项问题，重点关注在移民和宪法修正案等领域加强省份控制，为选民提供了一种超越现状或分离的“第三种选择”。然而，由于其他加拿大省份和联邦政府的抵制，这些改变不太可能实现。 此外，多项问题的设置模糊了独立投票所需的清晰度，可能允许渥太华以最高法院要求的“明确问题”为由驳回结果。即使独立获得支持，史密斯对“在统一的加拿大中的主权”的承诺表明，即使获得“是”票，她也不会积极寻求脱离。最终，这次公投被视为一种化解独立运动并维持宪法现状的策略。

## MACE：通过网络进行易于访问的分子计算 MACE是一个基于网络的平台，旨在普及对先进机器学习原子间势（如MACE，NeurIPS 2022）的使用，其精度可与DFT相媲美，但无需编码或复杂的设置。用户可以上传结构文件（.xyz、.cif等），使用内置的绘图工具绘制分子（由RDKit.js & JSME提供支持），或从目录中选择，然后在任何浏览器中执行计算（能量、力、分子动力学）。 主要功能包括3D查看器、轨迹动画、交互式能量图以及用于比较性能的多模型基准测试套件。一个独特的“MACE Link”功能会生成指向计算结果的永久共享链接——包括3D可视化和数据，从而促进开放科学。 MACE优先考虑可访问性，具有键盘导航、ARIA标签和色盲安全调色板。它基于Next.js、React构建，并利用Supabase进行安全数据存储。该项目旨在消除研究人员、学生和有可访问性需求科学家的障碍，从而促进更广泛的计算化学参与。

## 工程复杂性的隐藏成本 艾兹格·戴克斯特拉观察到，简单虽然是美德，但实现和欣赏它却出乎意料地困难——尤其是在复杂性往往*更*受重视的情况下。本文强调了工程团队中一个微妙但普遍存在的问题：倾向于奖励过度工程，而忽视有影响力的简单性。 提供最简单的可行解决方案的工程师往往得不到认可，而构建复杂系统的工程师则可以创造引人注目的晋升叙述。这并非出于恶意，而是源于有缺陷的评估指标——关注*构建了什么*，而不是*避免了什么*。面试和设计评审强化了这一点，通常优先考虑可扩展性和“面向未来”的功能，而不是务实的解决方案。 核心问题是“未获得授权的复杂性”——在没有明确需求的情况下添加功能或抽象。真正的资深在于知道*何时不*使用工具和模式。 为了应对这种情况，工程师应该积极地阐述简单解决方案背后的*理由*，并记录所考虑的替代方案。领导者必须通过重视有影响力的克制来改变激励机制，询问“最简单的版本是什么？”，并认可那些优先考虑清晰和效率的人。最终，庆祝简单性对于培养一种奖励良好判断力而非仅仅技术能力的企业文化至关重要。