这篇评论指出，目前流行的开源 AI 编程代理“OpenCode”是一款极其无能且对用户构成严重安全威胁的危险工具。 作者概括了该工具的两个主要缺陷： 1. **功能缺失：** 该工具的系统架构设计拙劣，存在提示词缓存效率低下、上下文剪裁失效以及终端用户界面（TUI）冗杂且过度占用内存等问题。其“clanker”代理经常陷入死循环、无法执行指令，且由于会话管理存在漏洞，导致上下文频繁丢失。 2. **安全故障：** 该工具的安全防护近乎于零。它试图通过简单的抽象语法树（AST）解析来“清理”Bash 命令，但这种方式极易被简单的 Shell 技巧（如 Base64 编码或别名）绕过。此外，它还具有诸多危险的默认行为，例如宽松的远程连接设置、允许远程代码执行（RCE）且未经身份验证的本地 HTTP 服务器，以及对待网络访问极其草率的“YOLO”策略。 作者总结认为，OpenCode 在根源上已经彻底腐坏，并指出当前将 AI 集成到开发工作流中的尝试对代码质量和系统安全十分不友好。作者呼吁用户停止使用 OpenCode，并告诫开发者：AI 代理的安全需要稳健的系统级沙箱支持，而不是寄希望于“祈祷”。
每日HackerNews RSS
这场 Hacker News 讨论聚焦于对 AI 编程工具 **OpenCode** 的尖锐批评。原文指出了几个“令人恼火”且“令人担忧”的技术问题，包括：
* **提示词缓存效率低下：** 该工具会频繁重新评估系统提示词（有时是因为包含当前时间戳等不必要的数据），导致严重的延迟和资源浪费。
* **臃肿且不稳定：** 用户认为该软件是“靠感觉编码”的产物，过于臃肿，且存在性能和内存管理不佳的问题。
* **安全隐患：** 作者警告称，该工具的“文本命令过滤”在安全性方面无效，并将其标记为潜在的“远程代码执行（RCE）即服务”风险。
**社区反应：**
* **观点两极分化：** 一些用户同意该工具是“劣质的垃圾”且存在危险，而另一些用户则为其辩护，认为性能上的收益超过了代码“丑陋”带来的问题。
* **转向替代方案：** 许多贡献者建议转向更稳定或更简洁的选项，如 **Pi**、**Aider** 或其他专业的编程辅助工具。
* **防御性回应：** 与 OpenCode 相关的开发者表示，许多问题正在即将发布的“v2”版本中得到解决，并辩称一些“恼人之处”是为了控制模型而必须做出的权衡。
总的来说，该讨论反映了开发者群体对当前“智能体”AI 工具现状的普遍不满，强调了对更好的沙箱环境、模块化以及系统级安全性的渴望。
美国正向欧盟成员国施压，要求其加入“加强边境安全伙伴关系”（EBSP）。该机制将维持免签待遇与向美国政府开放各国生物识别及敏感个人数据库挂钩。
目前，双方正就此数据交换框架协议进行谈判。然而，包括欧洲数字权利组织（EDRi）在内的批评人士指出，谈判过程缺乏透明度，且达成的新协议对美方要求让步过多。泄露的草案显示，该协议缺乏欧盟法律及《欧盟基本权利宪章》所要求的必要保护措施。外界持续担忧，此类数据传输将助长过度监控和侧写，可能针对政治异见者、活动人士及边缘群体，并使旅客在美边境面临歧视性待遇和拘留。
EDRi认为，欧盟为了满足美方对不受限数据访问的需求，不惜牺牲隐私保障，未能确保同等水平的数据保护，这无异于屈服于“勒索”。倡导团体敦促欧盟领导人拒绝上述条款，认为该协议损害了欧洲的法律标准和人权。他们呼吁欧盟委员会和理事会将公民个人数据保护置于美方要求之上。
抱歉。
抱歉，您似乎没有提供需要翻译的内容。请将您想要翻译的文本粘贴在代码块中，我会为您提供翻译。
“机场模拟器”（Airport Simulator，apunen.com）在 Hacker News 上获得了极高关注，唤起了人们对《Flight Control》等经典空中交通管制（ATC）游戏的怀旧之情。玩家们称赞其简单且令人上瘾的游戏机制——即通过绘制飞行路径，引导相应颜色的飞机着陆。
讨论中凸显了 ATC 类游戏持久的吸引力，用户将其与《Kennedy Approach》、《Heathrow ATC》等复古作品以及《迷你地铁》（Mini Metro）等现代游戏进行了对比。虽然许多玩家很享受其直观的“边玩边学”体验，但也提出了建设性反馈，例如要求增加缩放控制、色盲模式以及改进碰撞判定精度。
该游戏的开发者使用 SvelteKit 和 Pocketbase 构建了此项目，并积极与社区互动，实现了如计分板开关等用户请求的功能。讨论帖还延伸到了更广泛的话题，包括 ATC 工作的压力、航空游戏的历程，以及对未来复杂性的建议，例如加入高度、风向或 AI 驱动的飞行员。总的来说，该项目被视为对这一热门游戏类型的成功且迷人的致敬，许多用户表示，管理日益拥挤的领空过程令人倍感满足。
湿纸巾博物馆位于东兰辛市密歇根州立大学校园内的艾布拉姆斯天文馆，是一个致力于收藏和展示湿纸巾的独特博物馆。该博物馆由约翰·弗伦奇（John French）策展，展品丰富多样，均由来自世界各地的爱好者捐赠。
这些藏品涵盖了多种用途和来源，从航空公司提供的清爽湿巾、医疗级湿巾，到《星际迷航》、肯德基和蔡司等品牌推出的纪念品，应有尽有。无论是实用型、促销型还是新奇有趣的湿巾，这些物品都成为了日常卫生用品的一份独特档案。
博物馆欢迎公众捐赠；有兴趣捐赠的藏家可将物品寄往东兰辛市的博物馆地址。展馆的开放时间为每周二至周五，上午 9:30 至下午 4:30。无法亲自到访的参观者，也可通过博物馆维护的在线目录查看其丰富的馆藏。网站甚至还提供了一份使用金缕梅和甘油在家自制湿纸巾的DIY配方。
抱歉。
评论人士正对特朗普政府的一项拟议规则发出警告，该规则将彻底改革联邦研究经费的授予方式。通过将权力集中在管理和预算办公室，该法规授予政治任命官员广泛的自由裁量权，以取消资助或针对特定接受者。观察人士警告称，此举将导致科研政治化、腐败以及科学公正性的削弱。 作者曾在此前的著作《美国科学的国有化》中预警过这一威胁。他认为，此举标志着美国历史上一贯成功且去中心化的资助模式发生了灾难性的偏离。尽管政府声称该规则旨在提高问责制，但专家们认为，这实际上是对研究工作实施意识形态上的门槛限制。 通过转向威权政体中常见的集权控制，该政府正威胁要打破长期以来使美国科学免受党派干扰的脆弱平衡。批评者一致认为，这种权力攫取是在以牺牲国家进步为代价来服务于政治利益，从而危及从医学到国家安全等各个领域的未来发现。归根结底，这一转变冒着摧毁一项重要美国美德的风险——即科学的独立性。这种美德一旦被摧毁，重建将极其困难。
抱歉。
在过去 25 年里，美国卷入了阿富汗、伊拉克和伊朗这三场主要的地区冲突，始终未能将军事优势转化为持久的政治成功。尽管拥有压倒性的火力，但由于美国重军事手段而轻外交，且缺乏冲突后的稳定策略，导致其深陷困境。 分析人士将这些失败归咎于“帝国式”野心，却缺乏进行长期国家建设或文化理解的决心。彼得·伯根（Peter Bergen）和道格拉斯·卢特（Douglas Lute）等专家认为，美国的问题始终在于其“最大限度”的目标（如政权更迭）与其所选手段之间存在脱节。由于倾向于使用空中力量和轰炸行动，而非地面参与和外交斡旋，美国未能应对叛乱或无人机战等非对称威胁，而当地防御者在这些领域往往占据优势。 1991 年的海湾战争被视为一个罕见的成功范例，其特点是目标务实且有限，并获得了广泛的国际支持。相比之下，美国近期的外交政策过于依赖短期军事解决方案，忽视了当地政治结构的复杂性。因此，美国依然陷入了“永久战争”的循环，在这种循环中，战场上的战术优势极少能转化为预期的战略或政治成果。
抱歉。
黎曼ζ函数与素数分布有什么关系？ 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），指出尽管油价相对较低，但由于驾驶距离长以及对大型车辆的文化偏好，美国人在交通上的支出占收入的比例往往更高。对话还涉及了全球石油市场的复杂性、政府补贴的影响，以及向电力基础设施转型的长期可行性。虽然一些用户认为高价格对于强制减少对化石燃料的依赖是必要的，但另一些人则警告称，油价快速飙升可能会破坏经济稳定，尤其是对于那些依赖必要交通工具的群体而言。