在过去 25 年里，美国卷入了阿富汗、伊拉克和伊朗这三场主要的地区冲突，始终未能将军事优势转化为持久的政治成功。尽管拥有压倒性的火力，但由于美国重军事手段而轻外交，且缺乏冲突后的稳定策略，导致其深陷困境。 分析人士将这些失败归咎于“帝国式”野心，却缺乏进行长期国家建设或文化理解的决心。彼得·伯根（Peter Bergen）和道格拉斯·卢特（Douglas Lute）等专家认为，美国的问题始终在于其“最大限度”的目标（如政权更迭）与其所选手段之间存在脱节。由于倾向于使用空中力量和轰炸行动，而非地面参与和外交斡旋，美国未能应对叛乱或无人机战等非对称威胁，而当地防御者在这些领域往往占据优势。 1991 年的海湾战争被视为一个罕见的成功范例，其特点是目标务实且有限，并获得了广泛的国际支持。相比之下，美国近期的外交政策过于依赖短期军事解决方案，忽视了当地政治结构的复杂性。因此，美国依然陷入了“永久战争”的循环，在这种循环中，战场上的战术优势极少能转化为预期的战略或政治成果。
每日HackerNews RSS
抱歉。
黎曼ζ函数与素数分布有什么关系？ What does the Riemann zeta function have to do with the distribution of primes?
2 天前
本文探讨了黎曼ζ函数与素数分布之间的深层联系。文章首先介绍了欧拉发现的**欧拉乘积公式**，该公式通过将整数的唯一素因子分解编码为无穷级数，在数论与微积分之间架起了桥梁。以此为基础，欧拉证明了所有素数倒数之和趋于无穷大，从而证明了素数并不像 2 的幂那样稀疏。 随后，讨论转向了**波恩哈德·黎曼**在统计素数方面更为精确的方法。高斯曾推测，小于 $N$ 的素数个数近似于对数积分 $\text{Li}(N)$，而黎曼则提供了一个理论框架来解释这一近似。他揭示了高斯估计中的误差由ζ函数的零点决定。具体而言，黎曼推导出一个显式公式，将素数计数函数表示为以 $\text{Li}(x)$ 为主项，并根据ζ函数的零点（$\rho$）进行修正的结果。该近似的精确度取决于这些零点的实部，进而引出了著名的**黎曼猜想**，即所有非平凡零点的实部均为 0.5。
这篇 Hacker News 帖子讨论了一篇探讨黎曼ζ函数与素数分布之间联系的文章。读者普遍称赞该主题，但对文章的易读性和节奏评价不一。
讨论的主要内容包括：
* **关联性：** 这种关系源于欧拉乘积公式，它将ζ函数等同于一个包含所有素数的无穷乘积。
* **傅里叶类比：** 多位用户指出，ζ函数的非平凡零点可以被解读为素数的“频率”，其作用类似于傅里叶变换。
* **其他资源：** 用户推荐了约翰·德比希尔（John Derbyshire）的《素数之恋》（Prime Obsession）（尽管指出该作者存在争议），以及 YouTube 频道《ZetaExplained》等更易于消化的入门资源。
* **谜题：** 帖子强调了为什么黎曼猜想仍然是数学界最大的未解难题之一，并指出尽管其难度极大，但它对数论具有深远的意义。
讨论还延伸到了“乌拉姆螺旋”（素数的一种可视化表现），并提及了科幻作品中有关素数规律的历史参考，特别是亚瑟·克拉克的《城市与群星》。
空中客车公司正迈出实现数字主权的重要一步，将 900 个关键应用程序从亚马逊云科技（AWS）等美国云服务商迁移至法国公司 Scaleway。此举凸显了欧洲企业为保护敏感数据免受美国政府潜在越权行为影响而日益增长的趋势。 尽管空中客车已成功迁移 ERP 和 CRM 系统，但作者指出，由于微软等美国科技巨头的垄断地位，迁移更广泛的生态系统（如供应链管理和生产力软件）依然困难重重。此外，空中客车正刻意将其关键飞行系统与以美国为主导的 AI 趋势隔离开来，转而选择本地化、可控的部署方式。 文章认为，要实现真正意义上的独立，欧洲企业必须共同培育一个主权软件替代方案的新市场。通过针对开源解决方案发布大规模招标，大型企业可以推动欧洲本土企业级工具的诞生。这种转变不仅能降低对美国霸权的依赖，最终还有望使欧洲成为数字隐私的避风港，为寻求安全、独立数据环境的组织打造一个“反向五月花号”。
空中客车公司近期决定将其关键业务从亚马逊云科技（AWS）迁移至 Scaleway 等欧洲云服务商，这一举措凸显了欧洲企业内部日益高涨的“数字主权”趋势。
Hacker News 上的讨论显示，这一转变的驱动力源于对美国外交政策、不可预测的政治波动，以及美国《云法案》（CLOUD Act）等法规“长臂管辖”的深层担忧。虽然该举措的支持者强调必须降低运营风险——例如防范美国服务商被强制关停服务或移交数据的风险，但怀疑论者则指出，脱离成熟的美国技术生态系统存在现实困难。
许多讨论者指出，美国科技公司长期以来凭借出色的功能和易用性占据主导地位，但这种优势正因信任的流失而受到削弱。因此，欧洲企业正逐渐将对美国云服务的依赖视为一种战略风险，而非单纯的技术选择。这一趋势表明，随着各组织将政治可靠性和数据自主权置于单一全球超大规模云平台的便利性之上，未来将出现向去中心化、区域化基础设施转变的长远趋势。
电力公司何时可以征用您的土地用于数据中心基础设施？ When can a power company take your land for data center infrastructure?
2 天前
美国人工智能驱动的数据中心迅速扩张，正引发一场关于征用权（eminent domain）的全国性辩论。尽管这些设施需要消耗大量电力，给电网带来压力并迫使新建输电线路，但许多公民因环境和生活质量问题而反对其建设。 当电力公司遇到土地所有者的阻力时，他们经常援引征用权来征收私人财产，并辩称这些基础设施属于“公共用途”。根据宪法第五修正案，如果征收行为服务于公共利益并提供公正补偿，则是被允许的。然而，法律对“公共用途”的解释差异很大。尽管联邦法律和许多州允许为了经济发展或公用事业扩张而进行征收，但一些州已经实施了改革或利用州宪法保护来限制以私利为目的的土地征收。 法律先例表明，当输电线路通过提高电网可靠性而明确惠及当地居民时，电力公司面临的阻碍较少。然而，土地所有者正越来越多地挑战这些项目，尤其是在基础设施服务于私人数据中心而非当地公众的情况下。因此，随着能源需求不断增长，私人财产权与人工智能行业基础设施需求之间的矛盾在全国各地的法庭上持续加剧。
抱歉。
美国普通汽油的全国平均价格已回升至每加仑4美元，较一年前的3.14美元显著上涨。此次价格飙升主要源于原油成本上升，而美伊关系再度紧张是其主要推手。 尽管此前受临时协议影响，汽油价格曾于6月中旬回落至4美元以下，但持续的地缘政治动荡已导致布伦特原油及美国基准油价走高。美国汽车协会（AAA）指出，受各地税收和物流供应差异影响，实际价格在各州之间存在显著差别。 除加油成本外，能源价格上涨也波及更广泛的经济领域，加剧了食品等消费品的通胀压力。随着美国中期选举临近，燃油价格是否可负担已成为选民关注的核心议题，也是当前的政治焦点。
近期美国汽油价格回升至每加仑 4 美元，在 Hacker News 上引发了一场关于欧美交通成本与基础设施巨大差异的热烈讨论。
争论的核心在于税收的作用；由于燃油税较高，欧洲人在加油站支付的价格普遍要高得多，一些人认为这种政策能促进社会凝聚力和效率。相反，由于地域辽阔且缺乏完善的公共交通，美国人高度依赖私家车，这使得汽油价格成为一个更为敏感的经济问题。
讨论参与者提到了“杰文斯悖论”（Jevons Paradox），指出尽管油价相对较低，但由于驾驶距离长以及对大型车辆的文化偏好，美国人在交通上的支出占收入的比例往往更高。对话还涉及了全球石油市场的复杂性、政府补贴的影响，以及向电力基础设施转型的长期可行性。虽然一些用户认为高价格对于强制减少对化石燃料的依赖是必要的，但另一些人则警告称，油价快速飙升可能会破坏经济稳定，尤其是对于那些依赖必要交通工具的群体而言。
边界检查消除（BCE）是 Go 语言中一种高效的优化技术，它能减少“热点路径”中的分支开销和指令数量。虽然 Go 编译器通常能够自动消除冗余检查（特别是在通过循环条件证明边界的情况下），但在某些情况下它无法做到。 当标准方法失效时，开发者可以使用 `unsafe` 指针算术手动绕过边界检查。作者演示了如何通过 `unsafe.SliceData` 和 `unsafe.Add` 使用自定义的 `unsafe` 加载器来替代 `binary.LittleEndian.Uint32`。这种方法消除了标准库固有的最后一项边界检查。 基准测试表明，该技术可以显著提升性能，在微基准测试中可带来超过 2 倍的提升，在压缩库中也能实现约 10% 的实际吞吐量增长。 **警告：** 这是一种高级的“不安全”技术。它将内存安全的重任从编译器转移到了开发者身上。仅应在性能至关重要的代码中使用，且前提是你能够明确证明手动移除这些检查是安全且必要的。
这篇 Hacker News 的讨论围绕一篇关于使用 `unsafe` 指针算术绕过 Go 语言边界检查以提升性能的文章展开。
评论中的主要观点包括：
* **实现风险：** 批评者提醒，使用 `unsafe` 会引入潜在的安全漏洞和技术债。其他人指出，该技术具有平台依赖性；仅在允许非对齐内存访问的小端架构上才是安全的。
* **优化策略：** 有经验的用户强调，开发者在诉诸 `unsafe` 之前应先对代码进行充分的性能分析。在实际应用中，边界检查的开销往往微不足道，且通过编译器层面的优化（如 PGO 或提示）通常也能达到类似效果，且不会牺牲安全性。
* **文档缺失：** 一些读者对文章缺乏关于 Go 汇编调用约定的解释表示不满，并指出技术博客文章常陷入“知识的诅咒”，即假设读者具备深厚的内部专业知识，从而将初学者拒之门外。
* **语言局限性：** 与 Nim 等语言不同，Go 缺乏一种原生的、安全的方式来显式禁用特定代码块的边界检查，这迫使开发者必须在标准库的安全性与 `unsafe` 黑科技带来的性能之间做出选择。
最近一篇 Hacker News 上的帖子称，一个 25 美元的 LLM（大语言模型）辅助提示词成功帮助发现了一个高价值的 WordPress 远程代码执行（RCE）漏洞，这引发了关于安全、人工智能和漏洞利用市场的激烈讨论。
讨论主要集中在三个方面：
* **“50 万美元”的声明：** 许多用户认为标题中 50 万美元的估值是标题党。经验丰富的安全专业人士指出，虽然像 Zerodium 这样的漏洞经纪人过去确实支付过巨额报酬，但他们的兴趣主要在于浏览器或移动设备漏洞，而非 WordPress。此外，由于人工智能辅助的漏洞研究日益增多，此类漏洞的市场可能已经冷却。
* **WordPress 代码库：** 批评者称 WordPress 为“胶带粘合”的软件，指出其架构陈旧、依赖遗留的 PHP，并频繁使用诸如字符串拼接执行 SQL 查询等不安全的模式。支持者则辩称，它之所以能持续保持主导地位，是因为尽管存在安全缺陷，但它依然是对非技术用户最友好的内容管理系统（CMS）。
* **人工智能的作用：** 评论者讨论了人工智能驱动的漏洞挖掘所带来的伦理和影响。虽然一些人认为 LLM 是普及安全研究的强大工具，但另一些人则提醒要警惕此类声明中“网红化”的倾向，并指出实际的漏洞利用开发仍然是一个复杂的过程，远非一个简单的提示词所能完成。
欧盟委员会针对其《电池法规》引入了新的豁免条款，正式将 Apple Watch 和 AirPods 等设备排除在“用户可自行更换电池”的强制要求之外。 委员会基于安全和技术限制对此项决定进行了说明。对于小巧且具备防水功能的电子产品而言，拆开密封外壳更换电池可能会损坏设备完整性，从而导致进水或引发安全隐患。此外，受限于目前小型硬件的制造技术，设计“用户可更换电池”并不切合实际。此前，iPhone 已因其特定的防水性能和电池循环寿命标准获得了豁免。 尽管欧盟委员会已通过这些豁免条款，但在成为永久性法律之前，该政策仍需经过欧洲议会和欧盟理事会的最终审查。
欧盟委员会正在扩大其电池拆卸法规的豁免范围，将智能手表、健身追踪器等可穿戴设备，以及电动玩具和通过 ATEX 认证的设备纳入其中。
将可穿戴设备纳入豁免范围，意味着 Apple Watch 和 AirPods 等产品实际上无需满足用户可更换电池的强制规定。虽然欧盟以维护紧凑型设备的防水性能为由，将这些豁免定性为基于安全考虑，但这一决定在 Hacker News 上引发了激烈讨论。
批评者认为，此举削弱了该法规旨在提高设备耐用性并减少电子垃圾的初衷。许多用户表示，无线耳机等产品因电池老化而频繁被丢弃，他们认为通过更好的设计本可以解决这一问题。相反，另一些人则认为，要求防水或超紧凑型硬件采用可拆卸电池，会带来消费者未必想要的性能和设计妥协。这场讨论凸显了消费者对可维修性的渴望，与当前行业倾向于密封、高度集成化消费电子产品这一趋势之间的深层矛盾。
空间 webml-community / bonsai-webgpu 点赞 运行中 应用 文件 文件 社区 1 正在刷新
关于“浏览器中运行 1-bit 大语言模型”的 Hacker News 讨论，突显了极度模型量化技术的潜力与当前局限。虽然通过 WebGPU 在本地运行大模型（如 27B 参数版本）具有显著的隐私和安全优势，但用户反映其性能表现极不稳定。
许多参与者指出，较小的模型（特别是压缩至 1-bit 的模型）常出现“病态”行为，例如重复毫无意义的短语，或无法通过“洗车”提示词之类的简单逻辑测试。尽管有人认为这些模型旨在用于路由和工具调用，而非复杂的推理，但批评者指出，糟糕的基础推理能力甚至削弱了它们在这些次要任务上的实用性。
来自社区的技术反馈表明，尽管推理速度因硬件而异（例如 M 系列 MacBook 与 Linux/Windows GPU 之间的差异），但软件生态系统尚处于成熟阶段。开发者们正积极通过自定义引擎和 GGUF 支持来提升其可靠性。总之，共识是：虽然在浏览器中运行高参数模型是一项令人印象深刻的技术成就，但目前的 1-bit 实现仍处于实验阶段，难以在通用应用中提供可用的结果。
请启用 JavaScript 和 Cookie 以继续。
抱歉。