美国民众对政府腐败的认知已达到20年来的最高点。目前，89%的成年人认为腐败现象普遍存在，较去年上升了10个百分点。这一激增主要源于民主党人（91%）担忧程度的急剧上升，而独立人士（90%）和共和党人（83%）的悲观情绪也与之相当。 尽管许多国家都存在对政府腐败的担忧，但美国与其他发达经济体之间的差距正日益扩大。到2025年，美国在经合组织（OECD）国家中被认为腐败程度最高，且这一差距今年可能进一步拉大。值得注意的是，美国人认为政府的腐败程度远高于商业领域，目前两者18个百分点的差距是有记录以来的最高水平。 与往年党派偏见严重影响此类认知不同，当前创纪录的高位反映出一种罕见的跨党派共识。即使在政治领导层更迭后，各政治派别的美国人也越来越认为系统性的政府腐败是一个普遍存在的问题，这使得美国在全球政府腐败认知程度最高的国家中占据一席之地。

在欧洲乃至更广阔的地区，各国政府正日益将其数字基础设施标准化为基于 PHP 的应用程序。从德国投资 1.08 亿欧元打造的标准化 TYPO3 政府网站构建器，到欧盟委员会庞大的 Drupal 驱动网络，PHP 已成为公共部门“数字主权”的基石。其他重要的实施案例，包括用于主权办公环境的 Nextcloud，以及在英国、荷兰和澳大利亚广泛应用的 Drupal，都证实了这些并非试点项目，而是关键任务平台。 然而，存在一种结构性不对称：尽管政府在关键服务上严重依赖 PHP，但目前尚无既定机制为其核心维护提供资金。尽管 PHP 在全球治理中发挥着关键作用，但 PHP 基金会的资金依然严重不足，仅依赖有限的自愿捐款。 为了弥补这一差距，作者提议将维护工作纳入公共采购。通过强制要求将合同预算的 2% 至 5% 分配给上游维护、在招标中为开源贡献打分，并强制执行代码共享规则，政府可以确保其所依赖工具的可持续性。展望未来，公共行政部门及其供应商必须将上游维护视为标准的商业成本，而非慈善行为。

一位名为“penlu”的用户在 X 上发文称，他们成功对 RSA-260 进行了因数分解，这是整数分解领域的一个重要里程碑。该消息迅速走红，获得了超过 1500 万次浏览和数千次互动。包括 Alec Muffett 在内的知名人士认可了这一成就，而埃隆·马斯克则幽默地将这一长串数学字符在平台上获得的高可见度归功于 X 增加的字符限制。该帖代表了计算数学领域的一项重大进展，标志着一个 260 位的 RSA 数被成功破解。

约柜是宗教与符号表征风险的一个历史案例。约柜最初被设计为存放十诫的容器，后来却演变成一种“形象”，进而成为一种武器化的护身符，最终背离了其神圣初衷，并遭到以色列人和非利士人的误解。 这一现象凸显了人类历史上持续存在的张力：表征（即“偶像”）往往会与其本源脱钩，并获得一种独立的、常被扭曲的现实性。无论是柏拉图对模仿艺术的恐惧、伊斯兰教对“以物配主”（偶像崇拜）的禁令，还是拜占庭的毁坏圣像运动，各种文化都认识到人类的心智是一座“永恒的造神工厂”，容易将次要的影像与终极真理混为一谈。 今天，这种古老的焦虑因机械化的图像生成而加剧。通过将人类的“心智锻造”外包给算法，我们正面临陷入超现实状态的风险——符号完全遮蔽了本源，导致“真实”的丧失。随着这些表征的激增，它们经历了一个失控的变异过程，最终创造出一个虚构与现实无法区分的世界，正如一张日益模糊的地图，终将使其所覆盖的疆域变得毫无意义。

本文深入介绍了 **HEIR**，这是一个开源编译器，旨在将标准程序转换为能在同态加密（HE）数据上运行的代码。通过在不进行解密的情况下对加密输入进行计算，HEIR 为机器学习模型提供了完美的隐私推理方案。 尽管同态加密以往因速度缓慢而著称，但作者强调 HEIR 在性能和表达能力方面正在取得重大进展。通过诸如信用卡欺诈检测器等演示，该项目证明了同态加密可以达到“合理”的运行速度，特别是在 GPU 加速的情况下。该编译器目前支持多个后端，并允许进行详细的计时和精度调试。 作者认为，同态加密的“杀手级应用”未必是大型语言模型（LLM），而是那些对隐私和模型安全性都有极高要求的特定高价值领域，例如远程诊断、B2B 分析以及特定的生物识别任务。展望未来，HEIR 的路线图专注于更深层次的密码学集成、硬件加速（支持 GPU/TPU/ASIC）以及基准测试的标准化。HEIR 旨在超越研究范畴，为那些对编译器基础设施与先进密码学交叉领域感兴趣的开发者提供一套稳健、可用于生产环境的工具集。

继近期的讨论和 POSETTE 会议演讲之后，作者对 PostgreSQL 的 `random_page_cost` 参数进行了反思。虽然最初将其理论化为反映现代存储 I/O 速度的一种方式，但作者得出结论：其默认值并非磁盘性能的原始测量值。 相反，`random_page_cost` 是当前成本模型无法考量的复杂因素（特别是**内存使用、缓存效应和数据局部性**）的重要替代指标。查询规划器在简化的假设下运行，忽略了顺序扫描如何将“重要”数据从内存中置换出去，也忽略了相互竞争的查询如何影响带宽。 由于 `random_page_cost` 弥补了这些缺失的因素，因此不存在仅基于硬件基准测试的“正确”值。调低该值通常更倾向于使用局部索引扫描，以保护“活跃数据集”，但调整该参数仍然高度依赖于具体系统。作者建议，管理员不应仅依赖存储层面的性能分析，而应根据经验反馈和对特定工作负载的性能监控来调整 `random_page_cost`。

GPT-6 Astra 是 OpenAI 的旗舰模型，专为处理高要求的端到端工作而设计。它适用于高级分析、软件工程、深度研究、科学工作及文档创作，在涉及计算机和浏览器操作的长期代理任务中表现尤为出色。

请提供您需要翻译的内容。

Fomu 是一款紧凑且可编程的 FPGA 设备，专为直接插入 USB Type-A 接口而设计。它为学习 FPGA 和 RISC-V 架构提供了一个易于入门的平台，无需专门的培训，也无需安装庞大的专有软件。 主要功能特点包括： * **开源生态系统：** Fomu 使用完全开源的工具链，用户无需签署保密协议或注册账户即可进行代码开发。 * **多功能性：** 该设备采用 Lattice ICE40UP5K FPGA，凭借其 128 KB 的 RAM 和 1 MB 的 SPI 闪存，能够运行 RISC-V 软核，甚至可以直接运行 Python。 * **硬件设计：** 该电路板配有四个用户输入触控板、一个可控 RGB LED 灯，并装在定制的塑料外壳中，工作时外壳会发光。 Fomu 弥合了复杂硬件开发与用户友好性之间的差距。无论您是要修改 CPU 指令、创建自定义硬件模块，还是学习 RISC-V，Fomu 都提供了一个便携、开放且强大的平台，简化了传统的 FPGA 开发流程。其设计经过严苛的工程周期打磨，确保了在超小尺寸下的可靠性。

若昂·阿劳霍（Joao Araujo）是一位被戏称为“科学怪人医生”的整形外科医生。他在美国因手术失败和欺诈面临14项重罪指控，现已成功逃往巴西。在剪断脚踝监控器后，阿劳霍厚颜无耻地详细描述了他经由巴哈马和巴拿马的逃亡路线，并在此过程中嘲弄了美国执法部门。 关键在于，阿劳霍声称他得到了巴西驻迈阿密外交官员的积极协助，暗示他们帮助他获得了新护照并促成了他的外逃。如果属实，这种参与将构成对外交礼仪的严重违反，并可能构成刑事从犯。虽然外交豁免权使这些人免于立即被起诉，但根据《维也纳公约》，他们可能被宣布为“不受欢迎的人”。 尽管阿劳霍已经潜逃，但他的未来依然充满变数。虽然巴西宪法通常禁止引渡本国公民，但预计美国将发出国际刑警组织逮捕令。这将严重限制他的国际旅行能力，因为他在巴西以外的任何国家都有被当局逮捕的风险。此次事件进一步加剧了美国与巴西卢拉·达席尔瓦总统政府之间本已紧张的外交关系。

正在检查您的浏览器……需要启用 JavaScript

你好，同为 Web 开发者！我叫 Eric。我认为互联网变得过于复杂了。层级太多、供应商太多，我们也在不知不觉中将太多的信任交给了幕后的美国公司。谁在背后支撑你的基础设施，以及它部署在哪里，这至关重要。我厌倦了那些运行在美国云服务器上的所谓“欧洲”托管服务。所以我构建了一个替代方案——一种从 Git 部署到 CDN，每一层技术栈都运行在由欧洲公司拥有的欧洲基础设施上的静态托管服务。没有 AWS，没有 Cloudflare，绝无例外。 来自斯德哥尔摩的问候， Eric Selin statichost.eu 创始人

正在检查您的浏览器...需要启用 Javascript

内政部长道格·伯格姆宣布，为纪念美国建国250周年而提议建造的凯旋门，其挖掘工作定于两周内开始。这座250英尺高的建筑灵感源自巴黎凯旋门，顶部将矗立一座60英尺高的自由女神像，并铭刻“上帝之下的统一国家”和“人人享有自由与正义”字样。这是特朗普总统美化华盛顿特区宏大计划的一部分。 然而，该项目面临巨大阻力。一群退伍军人和一位历史学家已提起联邦诉讼，试图阻止施工，理由是担心这座拱门会破坏林肯纪念堂和阿灵顿故居等标志性地标之间的历史景观。尽管美国国家公园管理局和美国美术委员会已推进该项目，但国家首都规划委员会尚未给予最终批准。尽管面临法律挑战，政府仍坚称该项目已获得国会对此地块长久以来的授权。

本仓库使用 Lean 4 定理证明器提供了费马大定理（Fermat's Last Theorem）的完整机器校验证明。该证明基于 Frey、Serre、Ribet、Wiles 和 Taylor-Wiles 的策略，经由 Lean 4.33.1 内核验证，并严格依赖三个标准公理：`propext`、`Classical.choice` 和 `Quot.sound`。 为确保完整性，该证明经过了严格的外部验证： * **比较器（Comparator）：** 通过 `leanprover/comparator` 检查，确认了定理陈述符合 Mathlib 的要求，并验证了整个推导过程。 * **Nanoda：** 一个独立的基于 Rust 的 Lean 内核验证了整个证明导出过程，确认了超过 100 万个声明的逻辑有效性。 本项目结构为研究产物，完整的证明层次结构记录在 `PROOF-PATH.md` 中，并附带可供离线浏览的 HTML 导航界面。虽然 Lean 源代码是为优先考虑可校验性而进行机器生成的，但它整合了伦敦帝国理工学院 FLT 项目和 Mathlib 的基础工作。构建过程资源密集，需要较大的磁盘空间和内存。本项目在 Apache License 2.0 协议下发布。

本指南介绍了如何在 Linux (Ubuntu) 系统上配置 Tor 出口节点。尽管出口节点对于 Tor 网络至关重要，但由于您是外部流量的最终连接点，运行此类节点存在风险。运营商可能会面临来自 ISP 的骚扰或潜在的法律审查，因此强烈建议通过专用服务商托管，而非使用家庭网络。 **步骤摘要：** 1. **安装：** 添加 Tor 项目软件源，安装 `tor`、`tor-arm`、`nginx` 和 `socat`。 2. **配置：** 配置 `torrc` 文件以定义带宽限制、设置 `ContactInfo`（电子邮箱）并建立 `ExitPolicy`（出口策略）。 3. **流量重定向：** 由于 Tor 无法直接绑定到低位端口，请使用 `socat` 将 443 端口流量重定向至 Tor 服务。 4. **信息页面：** 设置 `nginx` 以提供“关于此节点”的页面，并包含用于透明化的 `vnstat` 带宽图表。 5. **端口转发：** 在路由器或防火墙上开放 80、443 和 9030 端口以允许公共访问。 6. **管理：** 使用 `arm` 监控您的节点，并注册反向 DNS 记录，以便在他人调查您的 IP 时提高透明度。

美国司法部（DOJ）发布了一项新的法律意见，明确规定如果非法移民申请某些联邦福利，各州必须将其相关信息报告给国土安全部（DHS）。 该裁决推翻了克林顿政府时期于1998年做出的限制性报告要求的解释。司法部现已明确，根据1996年的《个人责任与工作机会协调法案》，任何参与“贫困家庭临时援助”（TANF）或“补充保障收入”（SSI）等计划的州机构，都有法律义务向联邦当局披露非法移民的存在。 助理司法部长T. Elliot Gaiser表示，未能遵守这些报告要求的州可能会面临失去联邦资金的风险。司法部强调，这一变化并非设立新的强制规定，而是恢复了1996年法案的最初立法意图，即确保联邦资金仅用于合规的受益人，并以此遏制非法移民。这项新政策仅适用于未来，这意味着各州不会因此前遵守现已撤销的1998年指导方针而受到处罚。

密苏里州众议院第161选区的共和党候选人托马斯·罗斯（Thomas Ross）正面临联邦指控，他被指策划了一场陷害其党内初选对手路易丝·塞克（Louise Secker）的阴谋。当局指控罗斯指使前竞选经理在塞克的物品中放置可卡因和处方安非他命，意图通过栽赃陷害破坏她的竞选。 罗斯在8月4日的初选中以33票的微弱优势获胜，但此后他的竞选活动遭到了广泛谴责。包括主席彼得·金德（Peter Kinder）在内的密苏里州共和党领导层已要求他立即退出11月的选票。 目前被拘留且不得保释的罗斯被控一项共谋分发管制药物的罪名。联邦检察官R·马修·普赖斯（R. Matthew Price）强调，检方致力于维护选举公正，并表示候选人必须诚实参选。在被证明有罪之前，罗斯被推定为无罪，他尚未进行抗辩。根据州法律，他必须在9月8日前将自己的名字从大选选票中撤出。

“扑克脸”摄影（Deadpan photography）是一种模仿科学调查、建筑类型学和系统性记录之客观语言的风格化表现。通过运用平淡的光线、对称的构图以及冷静、抽离的视角，像安德烈亚斯·古尔斯基（Andreas Gursky）和贝歇夫妇（the Bechers）这样的摄影师创造出了一种仿佛脱离了编辑或主观偏见的图像。 然而，这种中立性是一种精心营造的幻觉。“扑克脸”美学的力量在于其表演性：摄影师选择隐藏自己的主观抉择，而观众则默契地参与到这种假象之中。当这种手法邀请观众去分析系统——例如工业建筑或消费网络——并有效地将解读工作移交给受众时，其效果最为显著。 当题材涉及社会不公或人类苦难等高风险议题时，这种风格的局限性便显现出来。在这些语境下，拒绝表态从一种有趣的智力游戏转变成了一种令人不安、甚至带有共谋意味的行为。归根结底，“扑克脸”摄影并没有解决客观性的问题；相反，它让摄影这种“谎言”的机制变得清晰可见。它迫使我们承认每一张图像都是一种建构，从而将评判的重担从艺术家身上转移到了观众手中。

检查某个域名是否包含在 Quad9 拦截的数百万个恶意域名中。输入主机名或域名以检查其是否被 Quad9 拦截。搜索已列出该域名的受限威胁情报提供商。

尽管人工智能模型与电子设计工具的交互能力日益增强，但衡量其输出的真实质量仍是一项挑战。由于 AI 难以驾驭传统的图形界面（GUI）CAD 工具，**EEBench** 的开发者利用了 *atopile*——一种将电路表示为声明式代码的语言。这使得模型能够直接构建、模拟并优化设计。 EEBench 不仅测试模型的理论知识，还测试其在现实工程权衡中的表现，例如元件公差、成本和物理限制等。通过运行（基于 SPICE 的）模拟来检查“最坏情况”下的故障，该基准测试为模型的工程能力提供了一种客观且确定性的评估。 目前的结果显示，Claude Opus 和 Grok 等模型表现优异，已从生成“貌似合理”的原理图转向实现功能性工程设计。随着 AI 实验室将电子领域的专业训练纳入其中，这些模型在处理复杂硬件设计方面的能力正显著提升。虽然我们尚不能将起搏器等关键系统的设计完全交给 AI，但 EEBench 证实，对于日益增多的电路任务而言，AI 已经证明了自己能够胜任工程助手的工作。

在这篇评论中，詹姆斯·霍华德·昆斯特勒（James Howard Kunstler）认为，民主党所呼吁的“我们的民主”不过是其敲诈勒索行为的借口，旨在巩固权力并摧毁政治对手。他声称，诺姆·艾森（Norm Eisen）和马克·埃利亚斯（Marc Elias）等人正在利用“法律战”以及一个国际非政府组织网络来操纵选举并颠覆美国的政治进程。 昆斯特勒指出，民主党建制派正极力阻挠唐纳德·特朗普推行选举诚信措施，例如《保护美国选民资格法案》（SAVE Act），或是关于选民身份和公民身份核实的潜在国家安全行政命令。他警告称，该党正在为选后的社会动荡以及州政府对抗联邦选举协议做准备。 作者最后总结道，这种抗衡可能会迫使特朗普援引《叛乱法》以恢复秩序。尽管昆斯特勒预言这种对抗可能导致“新的内战”以及对民主党官员的大规模逮捕，但他断言，最终结果将是民主党的永久解体和国家稳定的恢复。

请启用 JavaScript 和 Cookie 以继续。

特朗普政府提出了一项新规，旨在撤销那些实施被视为“种族歧视”的多元、公平与包容（DEI）政策的私立学校及学院的免税资格。该法规计划于2027年5月生效，针对范围涵盖招生、奖学金、贷款及体育项目等相关政策。 财政部长斯科特·贝森特（Scott Bessent）表示，此举旨在终止以包容为幌子的“基于种族的偏好”，并认为此类做法本质上具有歧视性。该规定可能影响约1.8万所私立机构，要求其注意：若继续使用此类项目，将导致其501(c)(3)免税地位被撤销，从而无法再接受可抵税捐赠。 虽然特朗普政府将此举定性为反对种族歧视——特别是针对其对白人和亚裔学生的影响——但批评人士（如哈佛大学的相关人士）此前曾质疑此类威胁背后的法律授权。根据拟议准则，宗教私立学校在遵守新标准的前提下，仍可继续履行其宗教使命并基于信仰筛选学生。

虽然大语言模型（LLM）从技术上讲是通过自回归方式输出词元（token）的“下一个词元预测器”，但这种定义是不完整的。它准确描述了其“机制”（即循环的形式），却未能涵盖模型实际在“做什么”。 在预训练阶段，模型通过模仿训练数据中已有的序列来进行学习。然而，现代的后训练技术——特别是带有可验证奖励的强化学习（RLVR）——从根本上改变了这种动态。模型不再仅仅是预测数据集中接下来会出现什么文本，而是开始探索新的序列，并强化那些能带来成功结果的序列。 作者用国际象棋做类比来阐明这一点：一个预测大师走法的系统只是“下一步棋预测器”，但一个通过评估棋局位置以最大化胜率的引擎则是一个“战略求解器”。同样地，现代大语言模型利用“下一个词元”循环作为载体，其所编码的内容远超简单的模仿；它们模拟出乐于助人的助手，并运用通过主动探索所获得的知识。归根结底，将先进的大语言模型仅仅描述为“下一个词元预测器”，是将工具的形式误认为是其功能，忽略了蕴含在过程中的推理及目标导向行为。

Mullvad 即将停止其公共加密 DNS (DoH) 服务，转而支持 Quad9 基金会。Mullvad 指出，由于其 VPN 已在内部处理 DNS 请求，因此其自有的公共服务器对于 VPN 用户而言已是多余。 对于在 VPN 之外使用 Mullvad DNS 的用户，转换方式如下： * **Mullvad 浏览器：** 使用默认设置的用户将自动迁移至 Quad9。自定义了 DNS 设置的用户必须在 2026 年 11 月 2 日前手动切换至 Quad9。 * **手动配置：** 手动配置了 Mullvad DoH 的用户必须在 2026 年 11 月 2 日前切换至 Quad9。 * **iOS/macOS 描述文件：** 现有的 Mullvad DoH 描述文件将停止工作；用户必须将其替换为 Quad9 的官方描述文件。 Mullvad 正将资源转向资助 Quad9，并称赞该基金会在以隐私为重点的 DNS 领域拥有行业领先的专业能力。建议用户参考 Quad9 的官方文档以完成迁移。

阿根廷总统哈维尔·米莱宣布计划发布法令，对参与福克兰群岛附近石油勘探的公司进行制裁。米莱将由以色列纳维塔斯石油公司和英国岩石跳跃勘探公司主导的“海狮项目”称为“资源掠夺”，并称其侵犯了阿根廷主权。尽管该项目拥有英国政府颁发的合法许可证，但米莱认为，从该地区开采预计 17 亿桶石油的行为构成了紧迫的威胁。 此举正值地缘政治格局发生变化之际。作为特朗普总统的坚定盟友，米莱因特朗普近期暗示美国对福克兰群岛的立场“有待评估”而感到更有底气。有报道称，特朗普政府可能利用这场主权争端作为筹码，向英国施压，要求其增加北约防务开支。 尽管面临米莱的威胁，纳维塔斯公司和岩石跳跃公司仍表现强硬，坚称其业务合法并得到英国政府的支持。这场争端凸显了围绕该领土持续存在的紧张局势——英国自 1833 年以来一直控制着该地区。同时也突显了米莱在试图挑战英国控制权的同时，还要兼顾与国际投资者及美国关系的复杂外交平衡。

Hayes 指令集（或称 AT 指令集）由 Dale Heatherington 和 Dennis Hayes 于 1981 年开发，彻底改变了调制解调器的控制方式。在此之前，调制解调器需要手动拨号或配备单独的硬件外设来实现连接自动化。Hayes Smartmodem 引入了一种基于软件的解决方案，允许计算机通过现有的数据引脚发送指令字符串。 该系统通过转义序列（通常为“+++”）在“数据模式”（传输信息）和“命令模式”（将输入解释为指令）之间切换。以“AT”为前缀的命令可实现拨号、挂断以及配置内部内存寄存器等功能。 尽管该指令集最初是为 300 波特率的调制解调器设计的，但它后来成为了行业标准。随着技术的发展，各厂商又增加了扩展指令（以“&”为前缀）和私有指令。尽管不同制造商之间的指令存在差异，偶尔会导致兼容性问题，但 Hayes 标准在整个调制解调器时代始终占据主导地位。它最终被 ITU-T 正式确立为 V.250 标准。如今，AT 指令集的遗产依然存在，许多现代移动设备和 3G/4G/5G 调制解调器在配置和网络管理中仍在使用类似的指令结构。

松本清张 1957 年的推理小说《点与线》（原名《点と线》）以一名年轻女子和一名政府官员在日本海滩被发现的离奇死亡案件为核心。尽管当地警方将此案定性为殉情，但一张被忽略的餐车收据促使鸟饲重太郎探长和东京警视厅的三原纪一警部展开深入调查。随着他们揭开政治腐败的重重黑幕，两人发现自己陷入了一个涉及列车时刻表、渡轮名单和完美不在场证明的复杂逻辑迷局。 这部小说以其精巧、严谨的时间线布局而闻名，其灵感源于松本清张本人对铁路时刻表的浓厚兴趣。有趣的是，该书背后的创作过程几乎与小说情节一样戏剧化。当时，松本清张同时进行着四部作品的连载，频频拖延截稿日期。负责连载的《旅》杂志社编辑们在得到日本交通公社的协助下，甚至不惜追踪并“软禁”作者，强迫他完成书稿。这部由此产生的杰作引起了巨大的轰动，销量突破百万册，并将松本清张在日本推理小说界的泰斗地位推向了顶峰。

正在检查您的浏览器……需要 JavaScript。