The Hacker Daily

Statichost.eu 主打「100% 欧洲」静态网站托管：不仅服务器在欧洲，连公司、Git 部署、构建、CDN 等基础设施也承诺由欧洲企业运营，不依赖 AWS、Cloudflare 等美国云服务。产品支持从 Git 仓库部署、Webhook 触发重建、自定义域名与免费 SSL、即时回滚，并计划提供分支与 PR 预览和全球 CDN。创始人 Eric Selin 将其定位为对过度复杂、过度依赖美国供应商的现代 Web 基础设施的替代方案。争议主要集中在定价偏高、带宽计费、是否真正「100% 欧洲」以及静态托管是否需要如此完整的托管构建能力。

OpenRouter 上线 OpenAI 旗舰模型 GPT-6 Astra，定位于高级分析、软件工程、深度研究、科学工作和文档创作，尤其强调长周期智能体任务、电脑与浏览器使用能力。模型上下文约 105 万 token，最高输出 12.8 万 token，支持工具调用、结构化输出、文件输入和文本输出。标价为每百万输入 10 美元、输出 50 美元，缓存读写和 Web Search 另计；由 OpenAI 与 Azure US 两家提供商承载，OpenRouter 可按均衡、速度或工具调用准确性路由并故障切换。争议主要集中在价格高昂、与竞品及中国模型的性价比，以及其视觉、SVG、前端生成等真实任务表现是否足以抵消成本。

CodeRabbit 评估称，OpenAI 的 GPT-6 Astra 在可操作缺陷覆盖率上比 GPT-5.6 Sol 高约 4%，比 Opus 5 高 22%；在更难的跨文件审查中优势扩大到 20% 和 33%。文章认为其价值不在单纯长上下文，而在从分散证据中建立关联，但结果仍属早期方向性指标，不能等同总体审查质量。Astra API 价格明显更高，需按任务成功成本衡量是否值得。作者还以用 Astra 开发并平衡 Godot 游戏 NIGHTSHIFT 为例，展示其跨系统推理能力。社区争议集中在评估场景是否可信、速度和成本是否过高，以及 AI 代码审查工具本身是否制造噪音。

EEBench 团队借 OpenAI 展示 GPT-6 Astra 操作 KiCad 的例子，讨论如何客观衡量 AI 电子设计能力。文章认为，模型懂很多电子学知识，但让它在 GUI 里画线效率低；用 atopile 这类声明式电路代码，更适合让模型迭代设计、仿真和修错。EEBench 通过真实器件、BOM 成本、SPICE 仿真和容差角落来评分，覆盖掉电保持、滤波器等任务。目前 Claude Opus 5、Grok 4.6 表现领先，OpenAI 已测模型较低，Astra 尚待测试。作者认为 AI 已能解决一部分有用电路问题，但离完整 PCB 布局、制造和调试仍有距离。

作者从「git worktree」与子模块冲突说起，指出子模块看似具备包管理器的部件：gitlink 是锁文件，.gitmodules 是清单，update 是安装；但实际体验在解析、安装、存储、更新上都很粗糙。它把 URL 硬编码进配置，仓库迁移会破坏固定提交；初始化与分支切换容易留下空目录、脏状态或错误版本；存储分散在工作树、配置和 modules 目录，删除麻烦，多个 worktree 或重复依赖又会复制状态和对象。相比 Cargo、pnpm、Go 等共享缓存和版本解析机制，子模块只有精确提交和分支跟踪，缺少版本范围、统一缓存与友好工作流，因此常被项目采用后又放弃。

Mullvad 宣布将于 2026 年 11 月 2 日前关闭其自 2022 年运行的公共加密 DNS 服务，转而资助 Quad9。公司称，使用 Mullvad VPN 时 DNS 已由内部系统处理，公共 DoH 主要服务于 Mullvad Browser 非 VPN 场景和外部免费用户。Mullvad 认为运营隐私导向公共 DNS 是高度专业化工作，Quad9 更适合承担，因此不再重复建设。默认 Mullvad Browser 用户将自动迁移到 Quad9，手动配置 DoH 或 iOS、macOS 配置文件的用户需自行更换。争议集中在 Quad9 是否真正等价替代，尤其是广告拦截、审查压力、延迟和服务集中化问题。

作者回顾在 Cisco 工作 25 年后被裁员的一年：标准化电话、HR 脚本和长期不确定的裁员季，让他感到被当作可替换项处理。虽早已厌倦公司、也为离开做过准备，但缺少一句感谢、身份被工作吞没、童年创伤被触发，使打击远超理性预期。他把这段经历比作「明知会吞人的隧道仍继续开车」，并尝试写作、谈话乃至荷兰的迷幻松露疗愈。文章价值在于坦诚呈现企业裁员对人造成的心理伤害，以及愤怒、羞耻和重建自我的复杂过程。

Artificial Analysis 发布 Intelligence Index v4.2，作为 v5 前的过渡更新：新增私有评测「AA-Briefcase」衡量复杂知识工作代理能力，加入 Surge AI 的「GDP.pdf」长文档推理任务，移除已趋饱和的 GPQA Diamond，并把私有留出测试权重提高到 40% 以降低刷榜空间。结果显示 Anthropic 的 Claude Fable 5.1 领先，OpenAI GPT-6 Astra 紧随且在输出 token 效率和 GDP.pdf 上表现突出。社区争议集中在评测是否因近期模型表现而调整、私有基准透明度不足、SciCode 可靠性，以及不同任务下模型优劣并不一致。

文章称，AI 编程代理的大量成本并非来自推理，而是读文件、生成样板代码、补文档等低价值 I/O。作者用 Spotify Portal 的 AiKA Modes 建了两个低成本代理：「bulk-reader」负责读取大文件并输出结构化摘要，「code-writer」按参考文件生成测试、配置或类型桩；再用 Claude Code 插件「shunt」通过钩子拦截大文件读取，强制改走 Portal CLI。作者在 Java 单体仓库测试中声称 bulk-read 平均节省约 90% Claude token。但文章也承认不能委托编辑和复杂推理，便宜模型会漏掉细微并发 bug，且延迟和调用上限会抵消小任务收益。社区主要质疑这是常见多模型/子代理模式，缺少质量与真实成本对照。

uutils coreutils 0.11.0 开始为部分命令的解析错误加入类似编译器的诊断展示：当 stderr 是终端时，会回显命令参数，用插入符标出出错字符或片段，并附带语法帮助。文章以 tr、cut、chmod、sort、env -S、test、head、numfmt、csplit 等例子说明，这类命令的参数本质上是小型语言，单行报错常无法指出问题位置。新机制覆盖 28 个工具，基于 ariadne 渲染，支持本地化、NO_COLOR，可通过 UUTILS_DIAG 设为 always、never 或 auto，也可在编译时关闭。作者强调兼容性优先：脚本、管道和测试中仍保持 GNU 风格单行 stderr 与原退出码，避免破坏既有用法。

OpenTrail Paper 是一款开源电子墨水自行车码表，主打阳光下可读的 4.7 英寸屏、SD 卡离线地图与路线、GPS、触控、前灯、电池和 USB-C 集成，以及通过蓝牙 5 连接心率、功率和踏频传感器；固件可用桌面 Chromium 经 USB 安装。作者也坦诚硬件取舍：没有气压计和磁力计，爬升依赖地图高程估算，静止时地图无法靠指南针定向；GPS 模块较基础，树荫和城市环境下表现有限；实测约 7.4 小时续航，按钮偏弱且无防水外壳。评论总体赞赏开源替代和电子墨水可读性，但集中担心防水、抗震、续航、手套雨天操作、UV 损伤，以及与 Garmin、Wahoo、手机方案相比的实用差距。

Charles Petzold 从一本关于音乐与对数逻辑的书封面出发，检验吉他品格是否真能像计算尺一样做乘法。吉他品格按十二平均律排列，第一到第十二品看似与计算尺上 1 到 2 的对数刻度吻合，因此把吉他切成两半滑动后，确实能演示 7/6×3/2=7/4 等一部分例子。但扩展到 24 品电吉他后，问题暴露出来：第二个八度并不对应计算尺上从 2 到 4 的刻度，3/2×2 也无法正确得到 3。文章借此说明，音乐音高、弦长和对数刻度之间有相似性，但不能简单等同；封面类比只在有限区间内近似成立。

RSA 数字挑战中的 RSA-260 已被成功分解，并很快更新到维基百科。评论区关注点集中在分解所用方法、软件、硬件、CPU 核数和耗时，但原帖未提供细节。有评论给出一个因子，并推测这次更可能依赖实现优化和更快硬件，而非重大算法突破；相比 2020 年 RSA-250 记录，RSA-260 约难 2 到 3 倍。讨论也延伸到 RSA 安全性：有人认为 RSA 在数学上仍可用，但 1024 位密钥面对国家级资源并不稳妥；另有人指出生产环境中 RSA 实现复杂、易出错，椭圆曲线虽也有坑，但密钥更小、现代实践更常用。

Pushin.eu 主打「代码永不离开欧洲」的 Git 托管服务，强调仓库完全托管在欧盟境内，受 GDPR 和欧洲法律约束，避免美国 CLOUD Act、跨境平台政策和远程封号风险。平台宣称不使用用户代码训练模型，也不让合作方训练；产品方向上反对到处堆 AI 功能，转而强调开发者体验、可用性和屏蔽低质量自动化贡献。它提供从 GitHub 导入仓库、议题、标签、已关闭和已合并 PR 及评论的 CLI 工具，并提供部分兼容 GitHub 形状的 REST API。不过评论区质疑其缺少价格、公司信息、团队介绍和法律页面，信任信号不足。

这篇 Ask HN 讨论如何提升电子焊接能力。社区共识是焊接主要靠大量练习：先买廉价练习套件、废板、直插元件和 SMD 练习板，把焊上、拆下、再焊回作为训练；维修昂贵设备前，应先在垃圾板上犯够错误。工具方面，评论强调温控烙铁、好焊锡、助焊剂、铜编织带、放大镜、热风枪和拆焊枪的重要性。争议集中在含铅焊锡与无铅焊锡：多数人认为含铅更易上手，但也有人推荐 SN100C 等表现较好的无铅材料。资源上，PACE、EEVblog、NASA/NAVAIR 手册、YouTube 维修频道和本地 makerspace 被多次推荐。

Anthropic 发布了用 Lean 4 形式化费马大定理的项目，显示自动化证明、交互式定理证明器和大语言模型辅助数学形式化正在取得进展。评论者普遍认为结果令人印象深刻，但也关心这些 Lean 代码是否能沉淀进现有库，成为未来证明的基础，而不只是一次性成果。讨论焦点还包括 LLM 在大型证明中的局限：它们擅长借助 LSP 补全局部证明树，但在长程结构化证明上仍会遇到类似大型代码库开发的问题。另一个争议是形式化证明的信任基础：Lean 本身无法被绝对证明无错，只能依赖小型「kernel」和可检查的依赖类型理论，把可信计算基压到尽可能小。

IBM Bob 是 IBM 推出的企业级 AI 开发伙伴，主打代码库内多代理并行协作、自然语言驱动开发、命令行集成、企业级分析「Bobalytics」以及面向 Java、IBM i、RPG、COBOL、主机现代化等场景的付费技能包。官网强调它不是简单补全工具，而是帮助企业现代化、保障合规并提升交付速度的开发平台，并列出多位客户称其能加速 Java 升级、理解遗留代码、生成文档和辅助部署。争议点在于页面更像营销材料，未清楚说明底层模型、真实编码能力和差异化价值，社区也质疑其品牌、定价和可信度。

Quad9 是由瑞士 Quad9 Foundation 运营的免费递归 DNS 服务，主打恶意域名拦截与高隐私保护。它通过 25 多家威胁情报来源实时阻断恶意软件、钓鱼、间谍软件和僵尸网络相关域名，并声称日均拦截 6.7 亿次请求，拥有 110 多个国家的 230 多个解析集群。其隐私卖点是正常使用时不记录包含用户 IP 的数据，支持加密连接，并受 GDPR 与瑞士数据保护法律环境约束。争议焦点在于：把所有 DNS 查询交给中心化第三方是否真能称为高隐私，以及 Quad9 在延迟、CDN 节点选择和可用性上是否优于本地递归解析或其他公共 DNS。

Decompiler Explorer（Dogbolt）宣布开源，并邀请开发者在 GitHub 上 fork。该项目定位类似「反编译器探索器」，用于对比不同反编译工具的输出，帮助研究人员、逆向工程师和安全开发者更方便地理解二进制代码。原文内容非常简短，核心信息集中在开源发布本身；社区讨论也未展开技术细节，主要补充这是一个此前已在 HN 多次出现过的项目或相关讨论。

据盖洛普原文 https://news.gallup.com/poll/713933/record-high-say-government-corruption-widespread.aspx ，美国成年人中认为政府腐败普遍存在的比例升至89%，为20年来最高，比去年高10个百分点。民主党人该比例从2024年的57%升至91%，独立选民为90%，共和党人为83%，显示两党虽原因不同但感受接近。文章称，美国在经合组织中已明显偏离多数发达经济体，2025年腐败感知高于OECD中位数20个百分点；同时，认为商业腐败普遍的比例为71%，低于政府18个百分点，凸显公众对政府层面的担忧更强。

Rietta 记录了一起 Rails 8+ ActiveStorage 高危漏洞「CVE-2026-66066」的真实应急过程：补丁发布当天漏洞评分升至 9.5，公司连夜为医疗和州政府客户更新并部署。一个州政府客户在补丁完成 8 小时后即遭恶意 BMP 文件探测，早于官方取证工具和研究团队详解公开。作者认为，补丁 diff 和公开 PoC 让攻击者可在数小时内复现漏洞，传统细节 embargo 已难为防守方争取时间；敏感数据系统必须假设补丁发布即进入实战窗口，依赖 WAF 或延后维护都不可靠。

文章介绍 Vite 8 与 @vitejs/plugin-react 6.1.0 开始实验性支持 Rust 版 React Compiler，只需启用 compiler: true；React Router framework mode 等场景也可用 @acusti/vite-plugin-react-compiler 接入。作者在 1036 个文件的 React Router 代码库中测得编译器阶段从 14.3 秒降到 0.81 秒，约 17.6 倍加速，整体构建从 22.1 秒降到 9.3 秒。Rust 版还修复了 Babel 版在 try/catch、解构 props 重赋值、计算属性键等模式上的跳过问题，并让 lint 与构建使用同一编译器，减少覆盖缺口。评论区争议集中在这是否是 Web 过度工程化，部分人认为提速不是问题本身。

荷兰央行近期将原存于美国和加拿大的部分黄金转至伦敦，理由是地缘政治不确定性上升，需要在严重危机中更快动用储备。文章认为这并非预示迫在眉睫的灾难，而是央行在战争、贸易摩擦、通胀和利率变化下重新管理储备资产。伦敦因黄金交易流动性强、英格兰银行托管规模大而受青睐。法国、德国此前也曾迁回或调整海外黄金。与此同时，全球央行近年大幅增持黄金，推高金价；但本土存储也带来安保、审计和保险成本。争议焦点在于美国资产冻结风险、美元信用和盟友信任是否正在下降。

TERMy 是一个不使用 LLM 的终端助手，主打确定性、低资源占用和即时响应。根据评论和作者回应，它更像一个「懂英语的计算器」：通过模板匹配、传统 NLP 和预先整理的 NPC-Forge 配方，将自然语言提示转换为可执行命令，例如创建文件并写入内容，而不只是显示速查表。社区认可其隐私、速度和可预测性优势，尤其适合不信任 LLM 在生产环境中执行命令的用户。争议集中在能力边界：有人希望它能回答本机已安装工具能完成什么任务，或结合历史自学习生成新配方；也有人建议对低置信查询回退到 LLM。作者表示曾移除 LLM fallback，但愿意讨论自动更新与扩展数据集。

Val Town 作者指出，应用互联的根本瓶颈不是 OAuth 授权本身，而是每个应用都要手工注册到每个服务，形成 n² 成本。MCP 生态推动的「动态客户端注册」和「客户端 ID 元数据文档」让应用可在用户发起连接时自动注册或直接自托管客户端信息，Val Town 已用它实现无需配置的登录与 3613 个连接器演示。但作者也强调现实限制：不少所谓动态注册仍要求预登记，DCR/CIMD 可能只适用于 MCP 而非稳定 REST API，且生态还缺公共注册表与开源工具。核心价值在于，AI 工具接入 MCP 的热潮意外降低了应用彼此连接的门槛。