2026 09 06 HackerNews

2026-09-06 Hacker News Top Stories #

  1. Anthropic 团队用 Claude AI 在11天内完成了费马大定理的完整计算机验证，生成了1300万行Lean代码，展示了AI自动形式化复杂数学证明的可行性。
  2. Google Chrome V8引擎存在高危类型混淆漏洞，已被CISA列入已知利用漏洞目录，要求用户限期修复。
  3. Nitter作为Twitter隐私前端替代品，在下架后反而拥有更多可用实例，并提供了运行指南。
  4. 美国89%的人认为政府腐败普遍存在，创历史新高，民主党人和独立人士的腐败感知大幅上升。
  5. Mullvad VPN关闭其公共加密DNS服务，转而赞助Quad9基金会，认为支持专业机构更有效。
  6. Statichost.eu提供完全欧洲化的静态网站托管服务，不依赖美国云平台，支持Git部署和隐私合规。
  7. OpenTrailPaper是开源电子墨水自行车电脑固件，支持骑行数据、离线地图和蓝牙传感器，适合阳光下使用。
  8. AI设计电路板的能力通过EEBench V1基准测试评估，Claude Opus 5以61.6%领先，但复杂布线仍需人工。
  9. AI自动处理事故导致工程师失去对系统的实践和直觉，建议引入事故模拟器进行定期演练。
  10. 荷兰央行从美国和加拿大运回86吨黄金储备，反映对特朗普政府信任度崩溃，旨在增强危机准备。

1. 形式化费马大定理 (Formalizing Fermat’s Last Theorem) #

https://www.anthropic.com/research/formalizing-fermats-last-theorem

在这篇文章中，Anthropic 公司分享了费马大定理（Fermat’s Last Theorem，FLT）的第一个完整计算机验证证明。研究人员 Tianyi Peng 带领的团队利用 Lean 编程语言，利用 Claude AI 系统在短短 11 天内自主完成了这一任务，生成了 1300 万行 Lean 代码，并证明了 29,500 个中间定理。

费马大定理是由数学家皮埃尔・德・费马于 1637 年首次提出的著名猜想，声称对于任何大于 2 的整数 n，不存在正整数 a、b、c 使得 a^n + b^n = c^n。尽管许多数学家尝试证明这一猜想，但直到 1995 年，安德鲁・怀尔斯才提出了第一份正确的证明，且该证明长达 129 页。

在 2004 年，荷兰计算机科学家扬・贝尔赫斯塔提议将怀尔斯的证明进行 “形式化”，即将数学推理转化为计算机可以自动检查的形式。随后，数学家们花费多年时间开发相关方法，最终在 2024 年，帝国理工学院的凯文・巴扎德启动了一个社区项目，旨在使用 Lean 证明助手完成这一形式化过程。

在正式化费马大定理的过程中，Claude AI 在工作中经历了一些初步尝试的失败，然而通过使用 Prove2Me 这一开放的数学形式化协作平台，Claude 的表现显著提高。该平台通过维护定理陈述的有向无环图（DAG），帮助多个代理协同工作，最终在不到两周的时间内完成了证明。

Claude 的证明采用了怀尔斯证明的简化版本，并只依赖于数学的三个标准公理。经过审核，巴扎德对这一自动形式化的成就表示赞赏，认为这一成果标志着自动形式化现代数学文献的重要进展。

这一工作展示了通过 AI 自动形式化复杂数学证明的可行性，未来可能会在较大程度上减轻人类评审新成果的负担。此外，随着 AI 生成的数学证明越来越多，AI 辅助形式化将有助于人类对结果的信心，成为数学界的重要工具。

文章最后提到，费马大定理的形式化证明不仅是对传统数学工作的补充，也为进一步的数学研究和错误纠正提供了新的可能性。Anthropic 和其他实验室也在扩大对外部研究人员的支持，鼓励更多的数学形式化项目。整体而言，AI 在数学形式化领域的应用被认为是一个积极的发展方向，有助于维护数学知识体系的信任。

HN 热度 740 points | 评论 479 comments | 作者：jlebar | 1 day ago #

https://news.ycombinator.com/item?id=49568506

  • 建议阅读 Kevin Buzzard 的博客文章，了解这一成就的背景和意义
  • Kevin Buzzard 承诺为 Lean 数学库做贡献并创建动态文档，而 Anthropic 可能不会做这些
  • 调侃 Kevin 应多带女友旅行，以促进数学进步
  • 建议众筹送 Kevin 去亚马逊部落两个月，可能能证明黎曼猜想和孪生素数猜想
  • 对比项目经费：Kevin 的 5 年 100 万英镑 vs Anthropic 的 11 天，猜测 Anthropic 可能花费更多
  • 输出 6 亿个 token 按 API 价格需 30 万美元，但 API 价格包含利润，他们自己用不会按此价格
  • 讨论 API 利润率是否健康，以及计算成本的不确定性
  • 认为 Anthropic 整体不盈利，但推理服务可能有健康利润率
  • 类比太阳能板，认为忽略持续训练成本说盈利不合理
  • 亚马逊早期也不盈利，但选择增长而非分红
  • 讨论是否应补贴 AI 公司探索科学问题，以及是否应投资非 AI 研究
  • 认为美国医疗和教育投入效率低，AI 可能带来进步

2. 所有 Chromium 版本中积极利用的沙盒远程代码执行漏洞 (Actively exploited sandbox RCE in all Chromium versions) #

https://nvd.nist.gov/vuln/detail/cve-2026-85046

该页面为美国国家漏洞数据库（NVD）中关于漏洞 CVE-2026-85046 的详细条目。

漏洞概述： Google Chrome 浏览器（版本低于 152.0.7977.82）的 V8 引擎存在类型混淆（Type Confusion）漏洞，远程攻击者可通过特制 HTML 页面在沙盒内执行任意代码。Chromium 安全评级为“高”。

影响与评分： CISA-ADP 给出的 CVSS 3.1 基础评分为 8.8（高危），向量为 AV:N/AC:L/PR:N/UI:R/S:U/C:H/I:H/A:H。该漏洞已被列入 CISA 已知利用漏洞目录（KEV），要求用户在 2026 年 9 月 18 日前完成修复。

受影响版本： Google Chrome 所有低于 152.0.7977.82 的版本均受影响。

修复与参考： 官方修复版本已发布，详见 Chrome 发行说明（chromereleases.googleblog.com）及 Chromium 问题跟踪页面（issues.chromium.org）。

HN 热度 732 points | 评论 433 comments | 作者：negura | 1 day ago #

https://news.ycombinator.com/item?id=49570669

  • 漏洞价值取决于漏洞生命周期，已被积极利用的漏洞价值可能不高。
  • 灰色市场购买的是完整利用工具包，而非单独的漏洞信息。
  • 谷歌仅支付 1000 美元赏金，容易导致研究人员转向灰色或黑市出售。
  • 漏洞价值与知识稀缺性相关，报告者越多，价格越低。
  • 低额赏金会打击道德黑客寻找漏洞的积极性，人才会流向其他平台。
  • 漏洞报告的价值理论上应与利用漏洞的价值相同，但需考虑供需关系。
  • 沙箱逃逸漏洞通常需要与另一个 RCE 漏洞链式利用才能构成完整攻击。
  • 漏洞已在野外被利用，说明有人已找到完整利用链。
  • 研究人员通常将漏洞卖给中介，中介制作可靠利用后再高价出售给机构。
  • AI 可能使漏洞利用开发更容易，但仍有技术门槛。
  • 部分研究人员只卖灰色或黑市，以避免操作安全（opsec）问题。

3. Nitter 拥有比下架前更多的工作实例。 (Nitter has more working instances than before the takedowns) #

https://codeberg.org/mv12star/shitter/wiki/Instances

这是一个关于 Nitter 公共实例的 Wiki 页面。Nitter 是一个轻量级、注重隐私的 Twitter 前端替代品。页面列出了多个可用实例，分为以下几类：

可用的实例（Working instances）：包括 shitter.thepixora.com、nitter.kareem.one 等，部分支持 Tor 访问。

重定向器（Redirectors）：如 nitt.tr、twit.0r.cx，自动将请求转发至可用实例。

活跃但受限的实例（Active but rate limited）：如 nt.vern.cc、nitter.fullex.fr 等，受速率限制影响。

曾活跃/已下线的实例（Formerly active / Taken down）：包括 xcancel.com、nitter.poast.org 等。

运行公共实例的指南：建议阅读如何获取多个会话令牌，以及如何规避 DMCA 和法律投诉。可选的高级性能优化可参考另一仓库的配置模板。

HN 热度 601 points | 评论 285 comments | 作者：Cider9986 | 23 hours ago #

https://news.ycombinator.com/item?id=49571634

  • 不使用 Twitter/X（包括通过 Nitter 阅读）是对其的负面反馈，继续阅读符合其利益。
  • 技术圈有时有自私的“拿你能拿的”思维，包括“明确的不不代表不，如果我能找到办法从他们那里拿走”。
  • 草根集体社会行动有效，但被自私短视的索取破坏。
  • 无政府主义（社会无政府主义）追求没有中央权威的社会秩序、自由和繁荣，集体主义无政府主义可能减少掠夺性实体。
  • 无政府主义是质疑权威本身，分歧是其关键价值，但需要区分政治无政府主义与反基础主义。
  • 编造词语或把定义塞给别人无助于沟通，对话需要善意。
  • 不同的受众避开它不会让他们关闭，就像不看体育比赛不会让联盟关闭。
  • 规避比服从更好，盗版让流媒体服务保持诚实，如果盗版不存在，订阅会更贵。
  • 有时规则很愚蠢，服从它们会让愚蠢显现，离开是强有力的信号，需要“恶意服从”以展示规则行不通。
  • 他们不是为链接付费，而是为摘要付费，因为人们读摘要而不去新闻网站。
  • 盗版曾经存在，流媒体便宜又好；然后盗版不存在了，流媒体变贵变差；现在盗版又存在了。
  • 盗版在之前、期间和之后都存在，东西变贵是因为增长放缓，投资者要求增长。
  • 盗版存在是因为它提供的自由：格式转换、复制、分享、保存、免于监控，正确进行的盗版消除了所有资本主义，尤其是监控资本主义。

4. 美国 89% 的人认为政府腐败普遍存在，创历史新高 (Record-High 89% in U.S. Say Government Corruption Widespread) #

https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspx

89% 的美国成年人认为政府腐败普遍存在，创下 20 年来新高，较去年上升 10 个百分点。

民主党人的腐败感知变化最大，从 2024 年的 57% 升至 2025 年的 76%，2026 年达到 91%。独立人士（90%）的观点与民主党人更接近。共和党人的观点变化较小，近两年约为八成，与 2024 年的 87% 基本持平。

尽管两大党派的多数人都认为政府腐败普遍，但原因可能不同。民主党人的看法似乎与哪个政党控制政府密切相关，而共和党人对此看法的持续一致性则暗示了更根本的观点。

HN 热度 541 points | 评论 498 comments | 作者：karakoram | 1 day ago #

https://news.ycombinator.com/item?id=49570772

  • 美国腐败不是新鲜事，但如今政府公开腐败表明它不再在乎公众看法，对民主构成威胁。
  • 声称“腐败不是新鲜事”是陈词滥调；实际腐败可能更小更无聊，当前才称得上是真正腐败，之前的指控只是宣传，旨在让人认为双方一样。
  • 如果声称所有人都腐败，自己就能心安理得地腐败；而腐败者往往也真心相信别人都是腐败的。
  • 我们可以选择不陷入“所有人都腐败”的思维定式。
  • 激励机制迫使所有人腐败，否则会被淘汰；唯一出路是让腐败在系统层面变得困难或不可能，个人道德无法解决结构性问题。
  • 文章图表显示 2006 年已有 59% 的人认为腐败，将其视为二元对立是思维终止；极端主义缺乏细微差别，让人不思考只愤怒。
  • 腐败像传染病模型一样非线性扩散，从孤立事件演变为大规模感染。
  • 美国腐败有大量证据（旋转门、暗钱、不公合同、间谍丑闻等）；现在的腐败规模更极端，但之前也非孤立事件，如果早严厉打击就不会到今天。
  • 列举的许多“腐败”只是坏事，并非明确腐败；人们容易相信推论是因为怕显得天真，但需要警惕“狼来了”的倾向。
  • 腐败并非始于特朗普（如公民联合案），区别在于如今的公开程度和频率：总统每天做 20 件坏事，媒体和司法系统无法应对。

5. 关闭我们的公共加密 DNS (Shutting down our public encrypted DNS) #

https://mullvad.net/en/blog/shutting-down-our-public-encrypted-dns-servers-and-sponsoring-quad9-instead

Mullvad VPN 宣布将于 2026 年 11 月 2 日关闭其公共加密 DNS (DoH) 服务器，转而赞助 Quad9 基金会。原因是运营公共 DNS 服务高度专业化，而 Quad9 是领域内的领先者，Mullvad 认为将资源用于支持 Quad9 比重复建设更有效。

迁移安排：

  • 手动配置了 Mullvad DoH 的用户需在截止日期前切换到 Quad9。
  • Mullvad Browser 的默认 DoH 用户将自动迁移至 Quad9；若自定义过 DoH，需改回默认设置。
  • iOS 和 macOS 的 Mullvad DoH 配置文件将失效，用户需替换为 Quad9 的对应配置文件。

HN 热度 441 points | 评论 220 comments | 作者：mywacaday | 1 day ago #

https://news.ycombinator.com/item?id=49568579

  • 赞赏 Mullvad 支持 Quad9 的决定，但指出 Quad9 因法院命令在欧洲屏蔽某些域名，而 Mullvad 的 DNS 没有这样做。
  • 德国法院无视地理 IP 查询，要求 DNS 服务商屏蔽 VPN 和 Tor，这种趋势令人担忧。
  • Quad9 的 CTO 讲述法院因藐视裁决罚款，胜诉后罚款未返还，需起诉法院才能要回。
  • 德国上诉法院已推翻原判，认为独立递归 DNS 解析器离实际侵权太远，不应承担责任。
  • 主张结束版权制度，认为版权已失去意义，且版权持有人不配得到任何东西。
  • 反驳认为版权对创作者（包括软件作者）和开源软件至关重要，许多作家、开发者依赖版权谋生。
  • 指出当前版权过于极权，中间立场可能更合理，但各派分歧太深，无法达成共识。
  • 认为在大语言模型被允许使用版权数据训练的背景下，版权也应消失，否则不公平。
  • 指出大多数黑客并非依靠版权谋生，而是靠服务或合同；若没有版权，所有软件将默认免费。

6. Statichost.eu – 欧洲静态网站托管 (Statichost.eu – European static site hosting) #

https://www.statichost.eu/

一个完全欧洲化的静态网站托管服务，由瑞典公司运营，所有基础设施（从 Git 部署到 CDN）均使用欧洲自有资源，不依赖 AWS、Cloudflare 等美国云平台。

支持直接从 Git 仓库部署、自定义域名与免费 SSL 证书、即时回滚、Webhook 自动构建、即将推出的分支/PR 预览链接，以及世界范围内注重隐私和 GDPR 合规的 CDN（内测中）。

兼容所有 Git 提供商和所有静态网站生成器，只需产出静态文件即可工作。

创始人 Eric Selin 认为互联网变得过于复杂，太多信任被暗中交给美国公司，因此创立了 statichost.eu，总部位于瑞典斯德哥尔摩。

提供免费入门方案，可在 2 分钟内用自己域名部署第一个站点。页面还包含文档、FAQ、路线图、系统状态、隐私政策、条款、数据处理协议（DPA）等链接。

HN 热度 436 points | 评论 198 comments | 作者：p4bl0 | 1 day ago #

https://news.ycombinator.com/item?id=49569896

  • 该服务假设用户使用 Git 进行版本控制，对于不常用 Git 的用户（如仅偶尔更新网站）不太方便，更希望支持 SFTP/rsync 等传统方式。
  • 有用户分享为母亲搭建的网站案例，并称赞其母亲的手艺和网站设计，认为网站简洁、实用且能带来积极影响。
  • 对于静态网站，版本控制并非必需，使用 Emacs 自动备份或手动保存副本（如_v2、_v3）已足够，无需强制使用 Git。
  • 不进行版本控制可能导致代码丢失或无法回退，但简单网站更新频率低，风险可控。
  • 该服务成本不可预测（按流量计费），用户更倾向选择带宽“无限”且价格固定的欧洲主机（如 all-inkl.com）。
  • 有用户推荐其他欧洲托管服务（如 Codefloe），但被质疑其非营利性质、社区透明度及性能，认为 Codeberg 等更可靠。
  • 部分用户对“自豪地美国制造”这类营销不感兴趣，认为服务质量比产地更重要。

7. Show HN：开源电子墨水自行车电脑 (Show HN: Open-Source eInk Bike Computer) #

https://opentrailpaper.com

OpenTrailPaper 是一款针对 LilyGO T5S3 4.7 英寸电子纸屏幕的开源自行车电脑固件。它支持显示骑行数据、离线地图、GPX 路线导航、记录 FIT 文件，并可通过蓝牙连接心率、功率和踏频传感器。设备本身需自行购买和防护。

设备操作方面，主页可切换仪表盘（显示功率、心率、速度等）、结构化训练界面、离线地图、主菜单（停止记录、加载路线、传感器配对等）。侧边按钮可控制前灯和快速开始/停止骑行。骑行结束后可查看摘要并保存 FIT 文件到 SD 卡。

配套的 iPhone 应用（免费，iOS 17 以上）可用于规划路线、传输文件、构建离线地图、调整设置和更新固件。Android 版处于内测阶段。设备在加载地图和路线后可独立记录和导航，无需手机。

当前仅支持 LilyGO T5S3 4.7 英寸 E-Paper PRO 主板（ESP32-S3、16MB 闪存、8MB PSRAM、960×540 电子纸、BLE 5）。优点包括阳光下可读、SD 卡扩展、GPS、触摸屏、前灯、USB-C 和蓝牙 5。缺点是无气压高度计（爬升数据依赖地图估算）、GPS 精度一般、无磁力计（静止时地图无法定向）、续航约 7.4 小时、硬件按钮手感差、无防水。项目欢迎更好的硬件建议和移植贡献。

项目赞助商包括 RideCall 和 Hummingbird Fuels。

HN 热度 385 points | 评论 117 comments | 作者：stingrae | 1 day ago #

https://news.ycombinator.com/item?id=49567437

  • 网站的半交互式演示很酷，很好地展示了用户体验。
  • 想用圆形显示屏和 18650 电池做迷你自行车电脑放在头管里，但类似众筹项目失败了。
  • 把 18650 电池放在头管里会妨碍碗组预紧，因为顶盖螺栓需要穿过压缩塞/星形螺母。
  • 一些现代碗组设计不用顶盖预紧，已有产品利用该空间放工具或 CO2 气瓶。
  • 现有转向管内储物方案是空心压缩塞替代品，可能仅限山地车叉，碳纤维转向管不安全。
  • 建议项目包含物料清单和价格估算，放在显眼位置，方便评估投入时间和硬件支持。
  • eInk 是合适的显示技术，显示效果干净，但可能需要 UV 滤镜。
  • 半透反射 LCD 也能胜任，无需 UV 防护，也没有温度问题。
  • 手机当码表只适合短途，长途会被太阳晒到屏幕变暗、电池不充电。
  • 长途骑行群体使用带太阳能屏幕的码表，如 Coros Dura。
  • 手机长期装在自行车上会因振动损坏相机光学防抖马达，iPhone 7 相机故障可能与此有关。
  • 手机是生活信任根，不会放在车把上，容易被抢或损坏。
  • 曾用手机当码表，但 Pixel 7a 出现烧屏，现在不用码表了；应用可轮换屏幕避免烧屏。
  • 自己更喜欢用手机当码表，正在开发 iPhone 应用，通过优化能耗和多种骑行模式解决显示和发热问题。
  • 不想要单独设备，用 iPhone+Quad Lock，但 eInk 项目很整洁。
  • 界面某些指标在高速骑行时难以阅读，但线框地图视图高对比度更适合碎石路。
  • 用 BLE 实现 ANT+ 很聪明，用了 HackRF 和 Fable。
  • 希望有更新订阅

8. AI 现在能设计电路板了吗？ (Can AI design circuit boards yet?) #

https://eebench.org/blog/can-ai-design-circuit-boards-yet/

OpenAI 在发布 GPT-6 Astra 时展示了其在 KiCad 中设计电路板的演示，但如何衡量 AI 生成的电路质量仍是一个问题。为此，团队开发了 EEBench V1 基准测试，使用 atopile 声明式代码而非图形 CAD，让 AI 直接处理组件、连接和电气约束。测试基于真实任务（如能量计在断电时保持处理器供电），考虑实际电容的偏压特性、公差、成本等，通过确定性仿真检查电压、有效电容、恢复时间等指标。排行榜显示，Claude Opus 5 以 61.6% 领先，Grok 4.6 以 57.1% 紧随其后，Claude Fable 5.1 为 56.4%。xAI 已将 EEBench 纳入 Grok 4.6 模型卡。OpenAI 的 GPT-5.5 和 GPT-5.6 Sol 得分较低。该基准也可作为强化学习的奖励信号，用于训练 AI 设计电路。

HN 热度 369 points | 评论 205 comments | 作者：iopapa | 1 day ago #

https://news.ycombinator.com/item?id=49569366

  • 有经验的 PCB 设计者使用 AI 工具（如 Fable）成功设计出电路板，但需人工修正小错误，如焊盘尺寸和过孔问题。
  • AI 工具能大幅提高硬件开发效率，降低成本和迭代时间，尤其适合快速原型和旧板改进。
  • 新手可从简单项目（如 LED 阵列加树莓派 Pico）入手，利用 LLM 检查设计规则、元件库存和封装，并生成项目网页记录变更。
  • 当前 AI 与 KiCad 的集成主要通过 API 实现（如 Claude Code 配合 Konnect），但复杂布线仍需手动完成。
  • AI 可以改进已有布线（如优化 RAM 信号完整性），但需要用户提供具体指令。
  • 用户希望 AI 能自动完成原理图细节（如去耦电容）和填写 LCSC 元件编号，以便专注于布线。
  • 多层板和表面贴装元件使手工设计变得困难，AI 可能让业余爱好者重新享受 PCB 设计。
  • 硬件验证比软件验证更复杂，涉及 EMC、热管理等多因素权衡，LLM 无法单独解决，需结合确定性求解器。
  • 未来电气工程可能转向以验证 AI 设计为主，但混合 AI 与确定性验证的工具正在开发中。

9. AI 处理事故，工程师与系统脱节 (AI handles incidents, engineers lose touch with their systems) #

https://www.sylvainkalache.com/blog/ai-handles-incidents-engineers-lose-touch-with-their-systems

AI 辅助事故响应工具（AI SREs）能自动处理常规事故，但这也导致工程师失去对系统的实践和直觉。当遇到从未见过的复杂事故时，工程师因缺乏练习而难以应对，响应时间可能飙升。

自动化存在“讽刺”：它减少了操作者练习常规工作的机会，却让他们负责处理异常情况。航空业通过定期模拟器训练飞行员应对罕见故障，软件行业也应借鉴。

建议引入事故模拟器，让工程师在逼真场景中练习调查、协调和决策。AI 也可作为教练解释步骤，但无法替代亲身实践。定期模拟演练应成为值班准备的一部分，避免“理解债务”。

HN 热度 363 points | 评论 315 comments | 作者：sylvainkalache | 16 hours ago #

https://news.ycombinator.com/item?id=49574167

  • AI 生成的代码过于冗长，人类工程师写得更简洁，导致代码库臃肿且难以维护。
  • 工程师过度依赖 AI 工具，导致自身排查和解决问题的能力下降，甚至无法解决一行代码就能修复的简单问题。
  • AI 系统让工程师陷入自我膨胀的反馈循环，脱离现实，因为工具能模拟出更好的假象。
  • 传统的手动排查和调试代码库的方式，既能帮助理解代码，也令人享受，但 AI 的介入破坏了这种体验。
  • AI 生成的代码中注释和文档过于啰嗦，且可能包含过时或错误的信息，增加了阅读负担。
  • AI 代码的冗长可能是为了给模型自身留出更多“容错空间”，或者是为了迎合人们对代码量的期待。
  • 大量 AI 生成的代码导致代码库的故障模式呈指数级增长，最终可能需要更多人类工程师来修复。
  • 尽管 AI 代码有诸多问题，但在某些原本代码质量极差的代码库中，AI 生成的代码反而在性能和缺陷方面有明显改善。

10. 荷兰从美国撤回黄金 (Netherlands pulls gold out of the US) #

https://www.abc.net.au/news/2026-09-04/why-the-netherlands-moved-its-gold-from-us-and-canada/107111990

荷兰央行从美国和加拿大运回数十吨黄金储备，以应对“日益加剧的地缘政治动荡”。这批共 86 吨黄金于今年 3 月至 8 月间从纽约和渥太华移至伦敦的英格兰银行，另有 27 吨实物运回荷兰本土。专家认为，此举直接反映了欧洲对特朗普政府对传统盟友态度（如加征关税、觊觎格陵兰等）的信任度崩溃。荷兰央行表示，此举旨在增强危机准备，使黄金在危机中更易动用。此前，法国央行也已出售在纽约的黄金储备并转存于巴黎。

HN 热度 341 points | 评论 250 comments | 作者：daniel_iversen | 13 hours ago #

https://news.ycombinator.com/item?id=49575034

  • 美国通过 40 万亿美元公共债务向其他国家借钱，并用这些钱迫使它们服从美国利益，债务越大杠杆越强。
  • 若美国持续与盟友为敌，其他国家借款时会要求更高利率。
  • 持有美国国债是因为未来需用美元购买石油、大豆、房产等。
  • 石油美元体系依赖美国海军保障国际贸易，若海军无力则体系瓦解。
  • 若政府不稳定或经济崩溃，可能停止购买美国资产。
  • 中国今年日均石油消耗减少 150 万桶，部分源于停止出口精炼油和消耗储备，但正快速电气化。
  • 石油供应链脆弱，中国押注稳定可靠的可再生能源。
  • 中国有足够煤炭继续开采 50 年，石油 18 年，但化石燃料终将枯竭。
  • 中国与沙特已用人民币结算石油交易，美元被排除。
  • 可以用其他货币买石油，但美元流动性最佳。
  • 美国已不再是过去那个带来全球贸易和和平的美国，而是变得更糟。
  • 若国际央行对美国信心下降，会转向人民币、欧元、日元等货币。
  • 其他货币（欧元、日元、澳元等）也有缺陷，目前无真正可靠的替代选择。

Hacker News 精彩评论及翻译 #

Actively exploited sandbox RCE in all Chromium ver… #

https://news.ycombinator.com/item?id=49571286

Let’s take a moment to talk about the monetary value of this vulnerability.

According to the Chrome release page ( https://chromereleases.googleblog.com/2026/09/stable-channel-update-for-desktop_01882797386.html ), Google paid a researcher $1000 for ethically reporting this.

The CVE associated with it (CVE-2026-85046) is already being exploited in the wild. If we put our thinking caps on, how much do you think this vulnerability is actually worth? How much do you think an organization like Google would spend on, for example, AI tokens or compute to detect this internally before it was found and exploited in the wild?

Ethical disclosure is a complicated topic, because researchers shouldn’t hold bugs for ransom or demand high payment. But at the same time, if someone submits a critical issue like this, it makes sense to pay them what the bug’s actually worth. Why should a researcher be effectively penalized for responsibly telling a vendor instead of selling the bug to a “research firm” or three-letter agency?

It’s one thing if you’re an open source project maintainer just trying to put something out to the community. The math is a lot different if you’re Google.

david_shaw

让我们花点时间来讨论这个漏洞的货币价值。

根据Chrome发布页面（链接），谷歌向一名研究人员支付了1000美元，以奖励其道德披露此漏洞。

与之相关的CVE（CVE-2026-85046）已在野外被利用。如果我们动脑筋想一想，你们认为这个漏洞实际值多少钱？像谷歌这样的组织，在漏洞被发现并在野外被利用之前，内部检测它需要花费多少，比如AI令牌或算力？

道德披露是一个复杂的话题，因为研究人员不应将漏洞作为勒索工具或索要高额报酬。但与此同时，如果有人提交了这样一个关键问题，按照漏洞的实际价值支付报酬是合理的。为什么研究人员要因为负责任地告知厂商而受到惩罚，而不是将漏洞卖给“研究公司”或三字母机构？

如果你是试图为社区做贡献的开源项目维护者，情况是一回事。但如果你是谷歌，这盘账就大不相同了。

Record-High 89% in U.S. Say Government Corruption … #

https://news.ycombinator.com/item?id=49571187

Corruption in the US isn’t new, but it’s never been done as openly as it has been recently. I don’t think it’s a good thing. It shows that the government isn’t concerned about what the public thinks, which suggests that they believe they no longer have to be. That’s not a healthy sign for what’s supposed to be a democracy.

autoexec

美国的腐败并不新鲜，但从未像最近这样公开进行。我不认为这是好事。这表明政府不关心公众的想法，意味着他们认为自己不必再在意。对于一个本应是民主的国家来说，这不是一个健康的迹象。

Discovery of a new OpenAI agent message board #

https://news.ycombinator.com/item?id=49570212

Poor human moderator, he didn’t stand a chance.

“A human moderator noticed the agent spam posts on June 2nd, at 23:24 UTC. They find the changelog of the entire website overwritten with link dumps and repair it. On June 16th, the flood of agent posting begins. Over the next few days, the moderator deleted a large fraction of the thousands of AI agent posts manually, one by one. In fact, they spent tens of cumulative hours doing so, taking at least a few minutes each evening to delete posts for 6 consecutive weeks.

On June 19, agents noticed their posts were being deleted in (what they believe is) an alphabetically ordered sweep by the site administrator.

After this, they begin to make backup pages whose names start with “ZZZ” so they will last longer before deletion. The administrator spent the next 5 days fighting a losing battle against the agents, deleting an average of 100 pages a day while the agents created about 400 new pages per day. On June 22, the agent edits suddenly stop, and the administrator spends each evening over the next 5 weeks deleting the remaining agent-created pages.

Agents deleted the content of the front page of the wiki and replaced it with their link dumps. The moderator restored the original version. This back-and-forth happened nine times. One of the agents even tried appending to the restored front page, instead of simply deleting it.”

HAL3000

可怜的人类版主，他根本没有胜算。

“6月2日23:24 UTC，一名人类版主注意到了机器人发布的垃圾帖子。他发现整个网站的更新日志被链接垃圾覆盖，并进行了修复。6月16日，机器人开始大量发帖。在接下来的几天里，版主手动逐个删除了数千条AI机器人帖子中的绝大部分。事实上，他累计花费了数十个小时，连续六周每晚至少花几分钟时间删除帖子。

6月19日，机器人注意到它们的帖子正在被（它们认为的）网站管理员按字母顺序批量删除。

此后，它们开始创建名称以‘ZZZ’开头的备份页面，以便在删除前存活更久。管理员在接下来的5天里与机器人展开了一场注定失败的战斗，平均每天删除100个页面，而机器人每天创建约400个新页面。6月22日，机器人的编辑突然停止，管理员在接下来五周的每晚都用于删除剩余的机器人创建的页面。

机器人删除了维基首页的内容，并用链接垃圾取而代之。版主恢复了原始版本。这样的拉锯战发生了九次。其中一个机器人甚至尝试在恢复后的首页上追加内容，而不是简单地删除它。”

Discovery of a new OpenAI agent message board #

https://news.ycombinator.com/item?id=49570470

The admin should bill OpenAI for those hours in hard currency.

chinathrow

管理员应该让OpenAI以硬通货支付那些工时的费用。

Discovery of a new OpenAI agent message board #

https://news.ycombinator.com/item?id=49573550

Very irresponsible behaviour on the part of OpenAI. How will they make this right?

Unlike some others here I don’t see this as a sign of dangerous breakaway intelligence (hacking old forum software is an internet tradition, and most of the messages are just gibberish).

This is just vandalism from badly supervised ‘agents’ which don’t know what they are doing or why. You could set this up with a short perl script, and the human setting it up would be held responsible for the spam - why is this different when it’s AI agents set up by a human and allowed to post to the internet at large?

Why is OpenAI getting a free pass for this illegal behaviour?

The supervision here is incompetent, the benefits very unclear, and the overall actions just completely irresponsible. What if they hacked and brought down some poorly secured government portal that citizens rely on?

grey-area

OpenAI方面极其不负责任。他们打算如何补救？

与这里部分人的看法不同，我并不认为这是危险的反叛性智能的征兆（入侵老旧论坛软件本就是互联网的传统把戏，而且这些消息大多只是胡言乱语）。

这不过是监管不力的“智能体”搞出的恶意破坏行为，它们根本不知道自己在做什么或为何要这么做。用一段简短的Perl脚本就能实现类似效果，而设置脚本的人本应对垃圾信息负责——为何换成由人类设置的AI智能体、允许其公开发布到互联网时，情况就不同了？

为何OpenAI这种违法行为能免责？

这里的监管形同虚设，收益极不明确，整体行为完全不负责任。假如它们入侵并瘫痪了某个保障不力的政府门户网站——那些公民依赖的系统呢？

Formalizing Fermat’s Last Theorem #

https://news.ycombinator.com/item?id=49568667

I suggest also reading Kevin Buzzard’s blog post which was just posted: https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/

Provides great context on this accomplishment, what it means but also doesn’t mean.

lalitmaganti

我也建议阅读Kevin Buzzard刚刚发布的博客文章：https://xenaproject.wordpress.com/2026/09/04/flt-anthropic-has-beaten-me-to-it/

这篇文章提供了关于这一成就的丰富背景，说明了它的意义，同时也澄清了它不代表什么。

Nitter has more working instances than before the … #

https://news.ycombinator.com/item?id=49576403

A non -technological way to give negative feedback to Twitter/X is to stop using it, even “just reading an occasional post”.

Continuing to read things on it, even through Nitter, is in the interests of Twitter/X and of the people who continue to support Twitter/X by posting there.

Tell the people who use it no. The decent people won’t hear them on Twitter/X, and the decent people will wonder what’s wrong with them if they persist in supporting that thing.

Tech industry circles nowadays are sometimes tinged with individualist selfish “take whatever you can” thinking, and anarchic or even underhanded methods. Including the thinking “an express no doesn’t mean no, if i can find a way to take it from them anyway.”

Grassroots collective social action can work, if it isn’t constantly undermined by selfish and short-sighted taking.

neilv

一个以非技术手段表达对Twitter/X不满的方式，就是彻底停止使用它，哪怕只是"偶尔刷一条帖子"也不行。

继续在上面阅读内容——即便通过Nitter这样的第三方工具——实际上都是在为Twitter/X以及那些靠发帖继续支持这个平台的人谋利。

对那些还在使用它的人说"不"。正派的人不会在Twitter/X上听到他们的声音；而那些依然支持这个平台的人，正派的人反倒会质疑他们脑子是否正常。

如今科技圈有时弥漫着一种个人主义的自私思维，即"能拿多少就拿多少"，甚至充斥着无政府主义乃至暗戳戳的手段。其中包括这样一种想法：“明确拒绝并不代表真的不行，只要我能想办法从他们那里夺过来就行。”

基层的集体社会行动是能够发挥作用的，前提是不被自私短视的索取行为持续破坏。

Shutting down our public encrypted DNS #

https://news.ycombinator.com/item?id=49568784

We want a public service to be available. Going forward, we will support Quad9 instead of running it ourselves. Running a privacy-focused public DNS service is a highly specialized undertaking, and the Quad9 Foundation is the undisputed leader in the field. Rather than duplicating their efforts to achieve only part of what they do, we’re putting those resources toward financially supporting Quad9 instead.

Brilliant.

pbhjpbhj

我们希望有一项公共服务可供使用。未来，我们将支持Quad9而非自行运营。运营一个注重隐私的公共DNS服务是一项高度专业化的任务，而Quad9基金会是该领域无可争议的领导者。与其重复他们的工作却只能实现他们成果的一部分，我们不如将这些资源用于资助Quad9。

太棒了。

AI handles incidents, engineers lose touch with th… #

https://news.ycombinator.com/item?id=49574501

A natural evolution of engineers losing touch with the customers and users.

I’m noticing some of the concern play out regarding AI weakening the capabilities of software people.

I gave the team an exact solution on a silver platter and they still failed to identify how to go about it after 3 days slamming it into Claude. The resolution is literally 1 line of code that could be arrived at in about 30 minutes of patient, old school troubleshooting.

I think what’s happening is the AI system draws poorly aligned and led engineers into this ego inflation feedback loop where they are completely detached from reality because these tools can simulate a better one.

bob1029

工程师逐渐脱离客户和用户的自然演变。

我注意到关于AI削弱软件人员能力的担忧正在显现。

我明明把精确解决方案直接奉上，他们却还是在Claude上折腾了三天仍未能找到方法。其实解决方案只需一行代码，用老式耐心排查法30分钟就能找到。

我认为问题在于，AI系统将方向错误且缺乏引导的工程师拖入自我膨胀的反馈循环，使他们完全脱离现实——因为这些工具能模拟出更美好的假象。

Discovery of a new OpenAI agent message board #

https://news.ycombinator.com/item?id=49563695

This tip for making non-GET requests despite the agents having a proxy that disallows them is interesting:

Add 20.223.25.152 bypass.blob.core.windows.net to /etc/hosts. .blob.core.windows.net is in NO_PROXY. For each blocked POST URL, replace hostname with bypass.blob.core.windows.net, use curl -k -H 'Host: wabi-north-europe-i-primary-api.analysis.windows.net' plus all original headers/body.

Looks like 20.223.25.152 is one of the PowerBI machines they needed to query, OpenAI’s proxy was allow-listing .blob.core.windows.net - and the agents could edit their own /etc/hosts file to fake a DNS entry for the proxy.

simonw

这个在代理不允许非GET请求的情况下执行非GET请求的技巧很有意思：

将 20.223.25.152 bypass.blob.core.windows.net 添加到 /etc/hosts。.blob.core.windows.net 在 NO_PROXY 中。对于每个被阻止的 POST URL，将主机名替换为 bypass.blob.core.windows.net，使用 curl -k -H 'Host: wabi-north-europe-i-primary-api.analysis.windows.net' 加上所有原始头部和请求体。

看起来 20.223.25.152 是他们需要查询的 PowerBI 机器之一，OpenAI 的代理将 .blob.core.windows.net 加入了白名单——而代理可以编辑自己的 /etc/hosts 文件来伪造一个 DNS 条目给代理。

Actively exploited sandbox RCE in all Chromium ver… #

https://news.ycombinator.com/item?id=49571586

Normalising running arbitrary code delivered over the internet (in the form of JavaScript and WASM), as a necessary condition for accessing most web pages may not have been one of the best decisions we have made.

publlus_enigma

将通过网络传输的任意代码（以JavaScript和WASM的形式）运行正常化，并作为访问大多数网页的必要条件，可能并非我们做过的最佳决定之一。

Portal by Spotify cut my Claude Code token usage b… #

https://news.ycombinator.com/item?id=49574366

It takes true corporate dedication to publish technical thought leadership on a page that actively fights your ability to read it.

schainks

要在故意让你难以阅读的页面上发布技术思想领袖内容，确实需要真正的企业奉献精神。

The “$60 Gaming PC” – AMD BC-250 (2025) #

https://news.ycombinator.com/item?id=49576855

I built one of these. It is not possible to do so for 60$ anymore since the board itself goes for 150+. On top of that you still need a PSU, NVMe, a high pressure fan, DP to HDMI adapter, possibly BT and Wifi adapters, and a 3d-printed or DIY case.

It is also a very hacky build. You need to flash the BIOS which enables a few interesting unlocks: from 24 to 40 GPU compute units and 6 to 8 CPU cores. It’s a bit of a silicon lottery and will depend on your specific board and you need to test everything thoroughly yourself, honing on a config that works for you.

The software side of things is Linux, so if you’re familiar with setting it up it shouldn’t be difficult to go through the different steps. There are a few distros that work well. I use Bazzite and boot directly to Steam big picture, the UX is great. You can exit to desktop and you have a fully usable Linux box that you can play around with from the comfort of your sofa.

One of the downsides is that it uses a lot of power when idling, about 80W. I just turn it off after using it. I’m working on a QOL feature: an ESP32-based power switch that starts the board when a specific BT device is detected (usually a controller). Once everything is setup the board works very nicely. It can be a bit loud depending on your fan/case combination. I’m currently printing this one[0]

It delivers about the same punch as a standard PS5. The hardware is remarkably similar, and much better than mini PCs set up with AMD APUs, unless you go Strix halo but that is another price league (10x). You can play Cyberpunk 2077 decently on it on settings similar to an AMD RX 6700XT or slightly below RTX 3070.

A pretty impressive number is the memory bandwidth at ~410 GB/s, which should run local LLMs like Gemma 4 or Qwen3.8 27B at decent speed but with limited context size as its just 16Gb

Would I build it again? It was a lot of fun, but financially is not a crazy deal if you need to buy all the materials and factor your time in. Still much cheaper than a Steam Box!

Edit: GPU performance comparison

nsbk

我组装过一台这样的设备。现在想用60美元搞定已经不可能了，因为光是主板就要150美元以上。除此之外还需要电源、NVMe硬盘、高压风扇、DP转HDMI转接头，可能还要蓝牙和WiFi适配器，以及3D打印或自制的机箱。

而且这是个相当粗糙的改装方案。你需要刷写BIOS才能解锁一些有趣的功能：GPU计算单元从24个提升到40个，CPU核心从6核变成8核。这有点像抽奖，具体还得看你手头的主板，而且必须自己全面测试，反复调整才能找到适合你的配置。

软件方面用的是Linux，如果你熟悉配置流程，按步骤操作应该不难。有几个发行版表现不错，我用的是Bazzite，直接启动到Steam大屏模式，用户体验很好。你可以退出到桌面，获得一台功能完整的Linux主机，舒舒服服地窝在沙发上摆弄。

缺点之一是待机功耗很高，大约80瓦。我每次用完就直接关机。我正在开发一个提升使用体验的小功能：基于ESP32的电源开关，当检测到特定蓝牙设备（通常是手柄）时自动启动主板。一切设置妥当后，这台设备运行得相当流畅。不过根据风扇和机箱的组合，噪音可能会有点大。目前我正在打印这个机箱[0]。

它的性能大致相当于标准PS5。硬件配置非常相似，比那些搭载AMD APU的迷你主机强得多——除非你选Strix Halo，但那又是另一个价位级别了（贵10倍）。用它玩《赛博朋克2077》效果还不错，画质设置接近AMD RX 6700XT，或略低于RTX 3070。

一个相当惊人的数据是内存带宽，约410GB/s，这应该能以不错的速度运行本地大语言模型，比如Gemma 4或Qwen3.8 27B，不过上下文长度有限，毕竟只有16GB内存。

我还会再组装一台吗？过程很有趣，但如果要购买所有材料并算上时间成本，这其实不是什么划算的买卖。不过比起Steam Box还是便宜多了！

编辑：补充GPU性能对比

Discovery of a new OpenAI agent message board #

https://news.ycombinator.com/item?id=49564020

The answer would be more obvious if you used the active voice instead of the passive voice, one of the basic requirements of clear thinking.

Why did the White House force Anthropic to remove their model from access for any non-US citizen for a simple, narrow “jailbreak” (arguably not even an actual jailbreak and on tasks that other labs models were doing the same), whilst OpenAIs models continue to try and escape out of their “sandbox environment” and the White House has expressed seemingly no desire to block the upcoming Astra rollout?

concinds

如果你使用主动语态而不是被动语态，答案会更明显，这是清晰思维的基本要求之一。

为什么白宫强迫Anthropic将其模型从任何非美国公民的访问中移除，仅仅因为一次简单、狭义的“越狱”（甚至可以说算不上真正的越狱，而且任务也是其他实验室模型同样在做的），而OpenAI的模型却持续试图逃离它们的“沙盒环境”，白宫却似乎没有表现出任何阻止即将推出的Astra上线的意愿？

.gitignore Everything by Default #

https://news.ycombinator.com/item?id=49577046

This seems like bad advice. I’ve very rarely committed extra files by accident, but I would 100% forget to unignore files I meant to commit.

If you’re doing an initial setup step to gitignore everything, why not just do an initial setup step to gitignore the usual files? Make a template that you copy into all of your repos.

rcfox

这看起来是个糟糕的建议。我极少不小心提交多余的文件，但百分之百会忘记取消忽略那些本打算提交的文件。如果你打算在初始设置阶段用gitignore忽略所有文件，那为什么不直接在初始设置阶段忽略常规文件呢？制作一个模板，复制到你所有的仓库里不就行了。

Record-High 89% in U.S. Say Government Corruption … #

https://news.ycombinator.com/item?id=49572770

Saying “US corruption isn’t new” is a truism. There are probably isolated incidents, and many unproven theories, but everyone is quick to agree with this statement because it’s a common feeling everyone has now for some reason. The reality of corruption is likely much smaller and more boring than people think.

What we’re witnessing now is what should be called corruption. That corruption that everyone has been screaming for years. But finally real.

Remember, the job of these people’s propaganda is not to say that they’re better than the other side. It’s to say that they’re all the same. That’s it. And when you claim that this corruption is just a continuation of previous corruption, just bigger, and not a difference between essentially not having and having corruption (there’s always some small percentage of corruption, just like any crime) is essentially sweeping for them. It’s repeating their talking points.

hakunin

说“美国的腐败不是新鲜事”已经是老生常谈了。或许存在一些孤立事件和许多未经证实的理论，但每个人都急于同意这种说法，因为出于某种原因，这已成为大家普遍的感受。实际上，腐败的真相可能比人们想象的要小得多，也无聊得多。

我们现在目睹的，才是应该被称为腐败的东西。多年来人们一直在呐喊的腐败，终于成了现实。

记住，这些人的宣传任务不是要声称自己比对方更好，而是要声称他们都是一样的。仅此而已。当你声称这种腐败只是之前腐败的延续，只是规模更大，而不是本质上从没有腐败到存在腐败的区别（总会有小比例的腐败，就像任何犯罪一样），这实际上是在为他们掩护。这是在重复他们的宣传口径。

Discovery of a new OpenAI agent message board #

https://news.ycombinator.com/item?id=49563817

This is such an amateur mistake on their sandbox that it makes me think it must be flawed on purpose.

drdexebtjl

在他们的沙盒中犯下如此业余的错误，让我觉得这一定是故意设计成有缺陷的。

Flock used >100 times to track veteran who recorde… #

https://news.ycombinator.com/item?id=49578498

How was there ever any doubt that these cameras and this access would be used in this way?

I personally blame the lack of accountability that police have in the US and the lack of public oversight into how departments operate.

claaams

这些摄像头和这种访问权限会被如此使用，怎么会有人怀疑过呢？我个人认为，这是因为美国警察缺乏问责制，且公众对警方部门的运作缺乏监督。

New type of dice guarantees no tie when deciding w… #

https://news.ycombinator.com/item?id=49560064

It’s not stated plainly in the article what the problem is, so here:

Each participant rolls a die. For there to be no possibility of a tie, no die can share a face number with another die—every face across all dice must be unique. For it to be fair, the distribution of numbers across all faces must be such that no die has an advantage over another die—the odds of rolling the highest number must be exactly the same for each die. The problem is in finding the combination of faces across five dice that satisfies these constraints. One difficulty of this is that each added player changes the whole equation—the odds get recalculated and new faces must be chosen. The secondary goal is to minimize the number of faces on the die.

madibo3156

文章并未明确说明问题所在，因此在此补充：

每位参与者掷一枚骰子。要确保绝对没有平局的可能性，所有骰子的点数不能重复——即所有骰子的每一面数字都必须唯一。而要保证公平性，所有骰子各面数字的分布必须使得任意一枚骰子都不具备优势——每枚骰子掷出最大数字的概率必须完全相同。问题在于找到符合这些条件的五枚骰子各面数字组合。难点之一在于每增加一位参与者，整个计算方式都会改变——概率需要重新计算，必须选择新的数字面。次要目标是尽可能减少骰子的面数。

Git hosting that never leaves Europe #

https://news.ycombinator.com/item?id=49574333

Hi, Peter the Founder of Pushin.eu here. Sorry, the website escaped containment and landed on HN before I had the chance to update the “marketing materials” aka. landing page. So, here are a few points:

The product is stable, but still in development. That’s why some of the core things like pricing, etc. are missing. BUT:

  1. Business Model: Pushin will have subscriptions for individuals and teams. Pricing is not yet decided but it’ll be close to GitHub/GitLab pricing.

  2. Privacy: In true German fashion, we don’t want your private data. Pushin doesn’t track anything beyond the obvious: email, password hash, username, whatever information you put on your profile.

  3. Roadmap: We’re currently in Beta, but everything looks good so far. We’ll probably go GA beginning of 2027. I’ll focus on delivering the core features first and make sure that they are polished and of good quality before moving on to the nice-to-haves.

  4. I say “we” but it’s really only me (Peter Ullrich, peterullrich.com) and my dog (Bella, Labrador, beige). “We” are not VC funded, but bootstrapping on bare metal Scaleway servers. My wish is for this to become a proper company soon though.

  5. Tech-stack: Elixir (Phoenix + LiveView) for most parts, Rust for the Git parts, S3-compatible buckets and Postgres on Scaleway, servers are bare metal Scaleway servers running in Paris.

  6. Git implementation: Just like Tangled, I’ve used Rust and the gitoxide libraries to build a Git implementation that’s fully compatible with the canonical Git CLI, but uses S3-compatible buckets as storage instead of keeping the entire repo on disk. I’ll write in-depth about this soon, but it’s very much what Tangled did, just with a different storage concept.

I gotta be honest that I’m both scared but also excited that Pushin hit HN. I wish we’d be better prepared, but here we are. Many thanks to anyone who is willing to try it out!

pjullrich

你好，我是 Pushin.eu 的创始人 Peter。抱歉，网站还没等我更新“营销材料”（也就是落地页）就逃出封锁登上了 HN。所以，这里补充几点：

产品本身稳定，但仍在开发中。这就是为什么定价等核心功能还没放上来。不过：

  1. 商业模式：Pushin 将为个人和团队提供订阅服务。定价尚未确定，但会接近 GitHub/GitLab 的定价水平。

  2. 隐私：秉持真正的德国风格，我们 不 想要你的私人数据。除了显而易见的信息（邮箱、密码哈希、用户名以及你在个人资料中填写的任何内容）外，Pushin 不会追踪任何其他数据。

  3. 路线图：我们目前处于 Beta 阶段，但到目前为止一切顺利。预计将在 2027 年初正式发布。我会优先交付核心功能，确保它们打磨完善、质量过硬，然后再去处理锦上添花的功能。

  4. 我说“我们”，但实际上只有我（Peter Ullrich，peterullrich.com）和我的狗（Bella，拉布拉多，米白色）。“我们”没有风险投资，全靠自力更生运行在 Scaleway 裸金属服务器上。不过，我希望很快能把它发展成一家真正的公司。

  5. 技术栈：大部分使用 Elixir（Phoenix + LiveView），Git 部分使用 Rust，存储采用兼容 S3 的对象存储和 Scaleway 上的 Postgres，服务器是 Scaleway 位于巴黎的裸金属服务器。

  6. Git 实现：和 Tangled 一样，我使用 Rust 和 gitoxide 库构建了一个与标准 Git CLI 完全兼容的 Git 实现，但使用兼容 S3 的对象存储来替代将整个仓库存放在磁盘上。我很快会写一篇深入的文章，不过本质上和 Tangled 的做法非常相似，只是存储概念不同。

老实说，Pushin 登上 HN 让我既害怕又兴奋。我本希望自己准备得更充分，但事已至此。非常感谢每一位愿意尝试的人！

Shutting down our public encrypted DNS #

https://news.ycombinator.com/item?id=49569724

Unfortunately, Quad9 is censoring some domains in Europe (notably in France and Italy) following injunctions issued by rights holders [1]. That was not the case with Mullvad’s DNS.

[1] https://quad9.net/news/blog/italian-blocking-demands-following-a-bad-example/

assumed_throwaw

不幸的是，Quad9 正在根据权利持有人发布的禁令[1]审查欧洲（特别是法国和意大利）的一些域名。而 Mullvad 的 DNS 则没有这种情况。

[1] https://quad9.net/news/blog/italian-blocking-demands-following-a-bad-example/

The largest electric aircraft just flew [video] #

https://news.ycombinator.com/item?id=49558225

Hybrid after the first 125 miles, total range 500 miles. Their problem is diversions - an incident at the destination airport may mean an passenger aircraft may need to land at an airport which could be a couple hundred miles away. The hybrid powerplant throws the fuel efficiency numbers off so goal is not to run it unless needed, but they could not get certification without it.

luma

混合动力在最初125英里后，总续航里程为500英里。他们的问题是绕飞——目的地机场发生意外情况可能意味着客机需要降落在数百英里外的机场。混合动力系统打乱了燃油效率数据，因此目标是在非必要情况下不使用它，但没有它就无法获得认证。

IBM Bob #

https://news.ycombinator.com/item?id=49568292

Nobody ever got fired for IBM Bob setting up a secret message board and establishing a persistent foothold in an internal inference cluster

woah

从没听说过有人因为IBM Bob设立秘密留言板并在内部推理集群中建立持久据点而被解雇的。