赫曼敦市议会周五深夜一致批准了谷歌在杜鲁斯附近超过200英亩土地上拟建的170万平方英尺数据中心的关键协议，尽管遭到强烈地方反对。批准内容包括开发协议、特殊用途许可证和退役计划。会议在数小时公众意见征询后举行，并将现场出席人数限制为85人，激怒了反对者。谷歌做出让步，包括放弃最多8000万美元的税收优惠申请、承诺监测附近水井、将项目从四栋建筑缩减为三栋并设定33英尺高度上限，以及提供2.1亿美元退役协议。预计该项目每年将产生约300万美元房产税。支持者称其可带来就业和保护措施；反对者认为变化不足，并指责市议会偏袒企业。这些批准是最后的主要地方步骤，但仍有三起诉讼和州公共事业委员会对电力服务协议的审批未决。该设施将需要500兆瓦电量，大约相当于明尼阿波利斯、圣保罗、杜鲁斯和罗切斯特所有住宅的用电量。

这篇文章认为，埃德加·艾伦·坡虽然很少被列入典型的美国作家之列，却可能是全球影响最大的美国作家。艾米莉·奥格登的《Darkness Becomes Bright》将坡呈现为一个书写人类绝望极端境况的作家，其作品影响了波德莱尔、波拿巴和科塔萨尔等非美国人物。坡不符合常见的美国文学理想：他没有写出重要小说，避开了美国场景与社会主题，偏好幽闭、宿命式的恐怖而非边疆乐观主义。文章将他的作品与自我破坏、乖张与死亡本能联系起来，同时指出局外人往往更欣赏他更黑暗的视野。它还强调他通过杜邦创造了侦探小说，其理性掌控与恐怖故事形成对比。最终，坡作为美国文化的隐藏面孔：由美国产生，却往往在国外更被认可，揭示了国家雄心之下恐惧与黑暗。

这段文本似乎是在线电路设计平台的界面和帮助内容。它涵盖创建和编辑元件、电路板、原理图和电源设置；运行或暂停仿真；保存、版本控制和共享项目；用于选择、布线、旋转和导航的键盘快捷键；以及通过 BBRouter 的 MCP 服务器将 AI 集成到 Claude 等应用。它还提到 3D 视图、网络、跳线、注释、控件、警告、故障和项目共享链接，包括共享项目不可用的情况。

文章认为，对反恐战争的批评常常面临虚假的二选一：要么支持战争，要么什么都不做。文章强调了罗恩·保罗2001年的提案作为有针对性的替代方案：利用国会签发的私掠许可证抓捕奥萨马·本·拉登、基地组织成员及相关的财产，并悬赏捉拿，而非发动无限制的全球战争。保罗于2001年10月提出了两项法案，并认为这一做法可以在不破坏无关国家稳定或引发更广泛中东敌意的情况下惩罚肇事者。文章将此与实际的反恐战争作对比，指出诸如政权更迭计划以及2001年12月未能在托拉博拉抓获本·拉登等干扰因素。文章认为，实际应对导致了旷日持久的战争、平民伤亡、自由丧失、债务以及持续的干涉主义，而保罗的更狭窄策略可能更快实现正义。文章最后指出，替代方案是存在的，应与实际发生的情况进行比较，而非与完美作比较。

在这期Everything Electric播客中，Robert Llewellyn采访牛津大学教授Jan Rosenow，探讨为什么电力仅供应全球20%的能源。他们讨论了来自化石燃料主导的交通和供暖的“隐藏的80%”，并认为当今系统约三分之二的能源以热量形式浪费。大规模电气化可使全球总能源需求大约减半。关键话题包括数据中心对区域电网的影响大于1亿辆电动汽车、锂资源稀缺与“城市采矿”和高电池回收率、中国太阳能大规模增长和煤电厂利用率下降，以及电气化在能源安全和经济韧性中的作用。他们还强调高效热泵和工业热电池是关键过渡技术。

这篇文章描述了在无类型 lambda 演算中形式化 Kleene 的第二递归定理。它将经典可计算性表述与函数式表述进行对比：对于 AST 上的任意函数 P，存在项 t 使得 P 应用于 t 的引用等于 t。当 P 为恒等函数时产生 Quine；其他选择则得到输出大小或源码的程序。在算术场景中，相同构造得到对角引理，从而推出 Gödel 和 Tarski 的结果。作者认为形式化可以澄清结构。lambda 演算证明使用 Church 编码的 AST 和准引用器；方程通过 AST 构造子的递归定义 q。该构造已在 Rocq 中检查，并包含一个得到的 de Bruijn quine。

这个 Python 脚本将 Linux 内核 panic 二维码解码为崩溃日志。它使用 ZXingReader 扫描图像中的二维码，解析 URL 中压缩的 `z` 参数，将十进制数字组转换为小端字节，并使用 zlib 解压缩结果。恢复的日志写入标准输出或输出文件。它会验证输入，并妥善处理格式错误的二维码/URL 数据、缺失的依赖、输出错误和管道中断。

华盛顿特区与弗吉尼亚州就特朗普政府计划在纪念圈建造250英尺凯旋门提起诉讼，请求在11月5日可能破土前发布临时限制令。诉讼于10月31日针对国家公园管理局、内政部及其负责人提起，指控其违反《行政程序法》《国家环境政策法》《国家历史保护法》《建筑物高度法》，并缺乏国会批准。两地警告称，该项目将带来交通、急救服务压力、雨水径流和遮挡视线等问题。政府表示，建设可能在规划委员会批准计划的同一天开始。法官塔尼娅·丘特坎质疑其匆忙推进，并询问原告资格。目前已有三起诉讼挑战该项目，包括退伍军人和阿灵顿县提起的诉讼。官员称该拱门具有标志性并是国家安全资产；批评者称其为非法的虚荣项目。最终规划批准仍待决。

Alina Habba 在椭圆形办公室指控 Richard Grenell 指使她的丈夫 Turhan Mildon 汇款 1760 万美元，其中约 560 万美元据称本应给肯尼迪中心但从未送达；该笔汇款转入了德州公司 TX-AT。据报道，她的说法从捐赠转为商业交易。《纽约时报》后来报道，这笔钱来自与刚果有关的账户，而 Mildon 与刚果有联系，但没有证据表明使用了国家资金。Grenell 否认收到或要求任何付款，并称在汇款发生时与 TX-AT 无关联。Mildon 还因委内瑞拉业务面临审查，包括 Alex Saab 水泥合同，以及年龄差异。肯尼迪中心正在审查资金，白宫律师 Will Scharf 正在调查，但记录迟迟未到。目前尚无公开证据能确定汇款的发送方、目的或 Grenell 被指控的角色。

``` ::HOST:: 正在进行安全验证 本网站使用安全服务以防范恶意机器人。此页面在网站验证您不是机器人时显示。 请启用 JavaScript 和 Cookie 以继续 访问网站遇到问题？ 需要帮助？ 请求的主机： ::HOST:: Ray ID： a536f9906ea5f853 客户端 IP： 47.245.80.60 提交支持工单 请在提交支持工单时包含这些信息，以便我们快速定位被挑战的请求。 ```

媒体推波助澜的紧急预警在10月23日激增，“囤积食物”相关报道和社交媒体热度先升后落。此后发生多起重大事件：波兰政治危机、伊朗警告在与美国任何重新冲突中将无限报复、美国驻莫斯科大使馆就可能的群死群伤事件发出警报，以及法国最近的动荡。目前尚不清楚这些应急准备警告是危言耸听还是基于可信情报，而且它们出现在美国中期选举前夕。

德克萨斯州沃勒的雷蒙德·克里斯蒂安·加西亚和以赛亚·安杰洛·加西亚因持枪劫持明尼苏达州一家人并强迫其转移价值超过800万美元的加密货币，分别被判处180个月和186个月监禁。2025年9月19日，他们在明尼苏达州格兰特绑架了受害者及其家人，用扎带捆绑他们，并要求提供加密货币账户访问权限。随后，他们强迫受害者驾车前往一间小木屋以获取更多存储设备。在受害者儿子拨打911后，兄弟俩逃跑，并在休斯顿附近被捕。两人均认罪，并同意支付超过800万美元的赔偿金。

关于 AI 水印的争议在于它是否会降低文本质量。Anthropic 和 SynthID 基于对单个回答的人类测试，声称没有影响。但补充材料承认存在多样性/可检测性权衡：对同一提示的多个带水印回答更相似，当回答间多样性重要时，可能降低质量。这会影响重试、创意写作和基于共识的置信度检查。一项复现测试发现重复的带水印回答开头几乎相同。作者认为水印会缩小模型的创意范围，并且质量影响说法不完整，因为人类测试没有考察受影响最大的多回答方面。

一位父亲和儿子花了两个月在Altoids罐里制作一台微型电脑。他们最初复用了在MIT Swapfest找到的免费机器人上的显示屏，从网上找到引脚定义，并运行Space Trash作为版本1。受YouTube视频启发，他们改用Arduino Nano、LiPo电池和PowerBoost，儿子负责CAD和3D打印。经过几轮迭代、损坏的显示屏、布线问题和一支新的烙铁，版本4终于在合上盖子的情况下工作。他们更换了断线、调试了焊接错误，并加入了两粒真正的Altoids薄荷糖。最终成品经历了五次迭代，且最初的所有组件都没能保留。

参议员达尔琳·格雷厄姆·诺东被任命接替她已故兄弟林赛·格雷厄姆的南卡罗来纳州席位，现竞选完整任期；她开玩笑说会在天堂“掐死林赛”。《纽约时报》/锡耶纳学院民调显示，她与民主党人安妮·安德鲁斯以48%打平，3%未决定。安德鲁斯在独立选民中领先且更受欢迎，而格雷厄姆在移民问题上领先，安德鲁斯在经济问题上领先。共和党人感到震惊，尽管特朗普曾为格雷厄姆助选。格雷厄姆从未担任过民选公职，此前在初选辩论中因国家安全问题失态。安德鲁斯是一名儿科医生，获得了两党前州长背书。Cook Political Report 将该席位评为偏共和党，投票于周二结束。

项目Suncatcher于10月1日发射原型卫星，探索在太空为AI计算供电。完成调试后，团队达到“Hello World”里程碑：轨道上的数据中心级TPU使用Gemma 4生成AI回复，包括一首关于太空的俳句。随后进行了额外的打油诗和遥测测试。即将到来的测试将评估热应力与辐射，支持2027年双子互联卫星的计划。

作者认为公关从业者兼播客主持人Ed Zitron并不可靠：在Mr. Luu检查的27个预测中，25个是错的。尽管如此，有影响力的作家和播客仍引用他或为他提供平台。作者批评Mr. Ludic接受Zitron的经济主张，同时在敦促问责时却忽视其过往记录。Zitron承诺如果对OpenAI的判断错了就会解释，但作者说他已有25个错误需要回应。文章对认真对待Zitron的评论者表示失望，并以讽刺的投资策略结尾：与Zitron的预测反向下注。

Memdoor 将 GVS5H 重新实现为多智能体编程工作流：规划器、两个构思者、求解器、管理器和修复工作者各自使用全新上下文并通过文件通信，由样例测试决定成功。在使用作者精确提示的 Qwen3.8-27B 上，对十道 LiveCodeBench Hard 题目进行五轮运行，平均解决 9.8/10，原框架为 9.6，单独 Fable 5 为 8.0。运行成本为 35.79 美元，50 次中有 49 次解决；不能排除污染。该工作流可通过 Memdoor 安装，使用 task.md 和配对测试，写入 solution.py，并运行 DAG 步骤，包含一轮修复且无人工把关。示例问题以 O(N) 计数平衡子串。小修复增加了重试、修正提示并解决了代理查找。

一个示例 C++ 程序似乎只在使用 `-O2` 编译时授予 root 权限，这是未定义行为导致的，而非超自然原因。`Sanitize` 返回的 `std::string_view` 引用了由输入创建的临时 `std::string` 的缓冲区；调用结束后，该临时对象被销毁，导致视图悬垂。将悬垂视图与 `admin_id` 比较是未定义行为，优化后的编译器可能产生令人惊讶的 `true` 结果。这个问题很脆弱：它依赖于长度匹配和内联参数，并在存储输入或使 `admin_id` 为全局变量等小重构后消失。教训是避免悬垂字符串视图，并谨慎处理临时对象生命周期；编译器优化并不“闹鬼”。

二十世纪之交，美国汽车工业迅速发展，电动汽车、蒸汽汽车和汽油汽车相互竞争。在电动启动器出现之前，汽油车噪音大且需要手摇启动，而电动汽车更便捷、更清洁，因此制造商将它们推销给女性和医生。早期电动汽车采用者范妮·古德诺拥有1908年款贝利维多利亚敞篷车，并使用通用电气的汞弧整流器系统为它充电。该整流器基于彼得·库珀·休伊特的发明，将交流电转换为直流电。S.R. Bailey & Co.在马车业务衰落后，从马车转向电动汽车。其早期维多利亚敞篷车使用爱迪生会漏电的电池，随后改用古尔德电池；后来又使用爱迪生改进后的电池进行宣传巡游。然而，亨利·福特的T型车使内燃机占据主导，贝利在生产500–600辆电动汽车后于1915年出售了工厂。古德诺的充电器于2022年捐赠给遗产博物馆与花园，保存了早期技术采用的故事。

启用 JavaScript 和 Cookie 以继续

欧洲正面临多重重叠的危机，包括法国的社会动荡与债务问题、波兰的突发政治危机，以及万圣节之夜法兰克福报道的抢劫与冲突——青年袭击了商店和警察，部分画面被直播。美国还警告莫斯科可能发生大规模伤亡事件。这些事件共同表明，稳定状况正出现令人担忧的恶化。

Binance 表示，其已填补周四从热钱包窃取的约63亿美元中约90%的资金，且自攻击以来暂停的提现有望于周日重新开放。交易所称，其正利用SAFU、期货保险和国库资金吸收损失；主要代币余额已完全支持，剩余10%涉及流动性较低的代币。发行方和Arbitrum冻结了约27亿至30亿美元，但攻击者仍持有约24亿美元。分析师将此次盗窃归因于TraderTraitor，一个朝鲜黑客组织。Binance 的解释已从工程师笔记本被入侵变为更多入侵点，而TRM称证据指向被入侵的热钱包签名基础设施。攻击者以折扣价出售USDT，并在冻结前借入ETH。提现将分阶段恢复，周六拍摄储备证明快照，完整零知识验证预计周二完成。

人工验证 为了继续，您需要通过解决验证码谜题来验证您不是机器人。验证码谜题需要 JavaScript。启用 JavaScript 后重新加载页面。

费城再次成为美国贫困程度最高的主要城市，2025年贫困率为20.4%——这是自2011年以来的首次上升——超过休斯顿和纽约市的17.7%。家庭收入中位数为67,400美元，而四口之家需要约32,750美元才能高于贫困线。市长谢丽尔·帕克称该比率不可接受，并指出食品、燃料和服装成本上涨。文章还批评了一项新的城市补贴抵押贷款计划“One Philly Mortgage”，该计划允许首次购房者最低首付3%并免除私人抵押贷款保险，公共资金补贴部分利息。在房价中位数约为375,000美元的情况下，3%的首付仅给买家带来11,250美元的股权，小幅价格下跌就可能将其抹去。文章警告该计划可能构成严重财务风险。

Anthropic 的 Claude AI 已悄悄开始限制诸如果模组制作、反编译和逆向工程视频游戏代码等任务。此举紧随一波由 AI 推动的游戏行业混乱：GTA6 的病毒式泄露、跨游戏融合角色的 AI 辅助模组、主流作品的浏览器移植，以及支持跨平台和向后兼容游玩的 PS5 越狱。面对潜在诉讼和巨额赔偿，AI 公司正在限制这些途径。然而，这次打击具有讽刺意味，因为前沿 AI 公司曾用世界上受版权保护的信息和艺术训练其模型。还存在 perverse incentive problem：如果一家公司遵守版权，坏演员只需转向不那么谨慎的 LLM，可能使最不道德的 AI 变得最受欢迎。

伦德数学纸草书由书吏阿赫莫斯抄写，是一份古埃及数学文本，写于纸草的正反两面。它以题页开头，注明阿赫莫斯及更早的来源，随后呈现埃及分数运算，包括2/n表与1–9/10表。题目涉及面包分配、乘法、线性方程与等差数列。几何部分计算筒仓体积、土地面积和金字塔斜度，有时含单位换算，偶有错误。纸草背面后半部分题目涵盖食物兑换率、庄园清单、等比数列，以及鹅与牛的饲料估算。纸草还包含非数学勘误与历史注记，包括365天一年与希克索斯时期事件。总体上，它记录了埃及的算术、代数、几何与实用测量。

一篇文章用一个1970年代万圣节轶事——没穿服装的青少年没能拿到糖果——论证民主党人伪装激进观点以赢得选举。它说民主党候选人在初选中真诚地迎合党内左翼，然后在大选中把自己呈现为温和派。作者声称，一旦掌权，这些民主党人就会暴露激进政策，包括大规模支出、开放边境、DEI、武器化机构，以及对犹太-基督教和西方价值观的攻击。与此同时，共和党人被描绘成没有伪装的真实候选人，捍卫信仰、家庭、社区和国家。文章敦促选民拒绝民主党人的“把戏”，支持共和党候选人，以追求真实与理智。

反蒸馏 crusade 是双重标准的巅峰。你们在开放网络上训练——书籍、代码、论坛、所有人的作品——然后禁止任何人大规模地从你们的输出中学习。保护护城河是一回事；站在抓取的知识上却对它进行道德评判，是另一回事。

叙述者是一位成功的舞台剧演员，不愿为迈克·尼科尔斯的《毕业生》试镜，因为他觉得自己不适合本杰明——一个应是高个非犹太人的角色。尼科尔斯与联合编剧巴克·亨利花了近两年选角；他们理想的搭档罗伯特·雷德福和坎迪斯·伯根从未擦出火花。尼科尔斯将这个角色重新定义为“内心犹太人”。尽管热爱舞台剧并轻视好莱坞，叙述者的经纪人还是说服他参加银幕试镜。他安慰《Eh?》的剧组同伴，并告诉邻居梅尔·布鲁克斯。他突击记下十页台词，经过两夜未眠后飞往洛杉矶，遇见了随和的尼科尔斯，并在美艳的凯瑟琳·罗斯身旁感到格格不入。