请启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
这篇 Hacker News 讨论帖探讨了一项近期的研究，指出 AI 聊天机器人能有效改变人们的观点。讨论围绕这些模型为何具有如此强说服力的几个关键主题展开：
* **消除自我意识**：与人类辩论中常见的部落主义、情绪化竞争以及“获胜”欲望不同，与 AI 的互动感觉更为中立。由于用户不将 AI 视为对手，他们更愿意考虑证据，而不会有挫败感。
* **“耐心的专家”**：聊天机器人提供了一个高带宽、不知疲倦且不带评判的深度讨论平台。它们能以令普通人难以招架的速度和信息量呈现事实，或听起来令人信服的伪造信息。
* **信任与权威**：用户往往会将权威性投射到 AI 身上，认为机器生成的回答天生客观。然而，评论者警告称，这些模型可能是“诡辩”机器，它们将自信置于事实之上。
* **影响**：虽然一些人认为这有助于实现信息获取的民主化，但另一些人则担心其可能被用于武器化宣传。共识在于，尽管大语言模型是强大的说服工具，但它们本质上是其训练数据的映射，用户仍应对所接收的信息保持批判态度。
Show HN: Scry，具备拥堵定价机制的可编程互联网搜索 Show HN: Scry, programmable internet search w/ congestion pricing
57 天前
本摘要探讨了现代数据查询（利用高速分析数据库）如何挖掘跨数字生态系统的独特洞见。通过将复杂的 SQL 模式应用于海量数据集，我们可以提取出标准平台界面无法提供的“隐藏”知识。 主要洞见包括： * **LLM “Alpha”：** 通过筛选高收藏点赞比，识别提供高价值技术内容的冷门账号，从而绕过病毒式“赠品”内容的干扰。 * **社区趋势：** 量化 Hacker News 上“代码氛围”（vibe coding）的爆发，并通过映射语义随时间的偏移，追踪 LessWrong 上对齐（alignment）话语的演变。 * **社交图谱与争端：** 揭示如马斯克和奥特曼等意见领袖之间排他的关注重叠，并识别 Hacker News 上特定用户之间持续、高频的争论。 * **学术与预测速度：** 通过分析引文交叉点发现跨学科研究趋势，并利用预测市场数据捕捉公众在地缘政治和人工智能事件上情绪的快速转变。 通过将关注点从虚荣指标（点赞）转向行为信号（收藏、回复、下注），这些查询将原始日志转化为可操作的情报，以前所未有的速度揭示技术和知识话语的脉搏，远超人工策划的效率。
**Scry** 是一个可编程的互联网搜索引擎，利用存储在 ClickHouse 中的 500 TB NVMe 索引运行。与依赖不透明“黑箱”算法的传统搜索引擎不同，Scry 允许用户执行任意 SQL 和 Datalog 查询，从而提供更高的透明度和控制力。
该平台通过一种独特的基于拥堵程度的微型拍卖定价模型来解决资源争用问题。虽然在低负载期间，非商业用途的服务基本免费，但随着服务器需求增加，费用会动态调整，以管理繁重的自动化工作流程。
在 Hacker News 的讨论中，开发者 (Xyra) 将 Scry 定位为谷歌等公司所主导的“自然语言转排名列表”模式的替代品。通过支持用户将前沿大语言模型与结构化数据库查询相结合，Scry 旨在提供一种更具表达力和组合性的搜索体验。
尽管用户对该项目的技术创新和速度表示赞赏，但他们也对网站复杂的界面以及需要更清晰的定价文档提出了担忧。开发者目前正在探索扩展基础设施的方法，并可能将 Scry 的索引能力与小型搜索引擎集成，以挑战大型科技巨头的垄断地位。
NATS 发布 9 月 8 日技术事故的初步报告 NATS publishes preliminary report on technical incident of 8 September
57 天前
英国主要空中交通服务提供商NATS发布了一份初步报告，解释了近期大范围的旅行中断事件。首席执行官马丁·罗尔夫（Martin Rolfe）澄清，此次发生于9月8日的事件是由国家空域系统中的特定软件缺陷引起的，与2023年的系统中断或军事活动无关。
该问题出现在一次针对飞机识别码的手动请求过程中。由于优先级冲突导致请求暂停，在恢复时，编码错误损坏了数据输出。这一故障仅持续了毫秒级，却影响了管制员可获取的信息。因此，英国各地实施了为期六小时的安全限制以重启系统，导致大量航班取消和延误，且耗时两天方才清理完毕。
罗尔夫向受影响的乘客致歉，并强调尽管系统故障是“毁灭性”的，但航空安全从未受到影响。NATS已采取缓解措施，同时永久性修复方案正在进行安全测试。该组织在过去十年中已在技术上投资超过10亿英镑，并计划到2033年再投资10亿英镑，以进一步实现基础设施的现代化。
英国空中交通管制服务机构 NATS 发布了一份关于导致大范围航班中断的技术故障的初步报告。故障原因是“应答机代码”（squawk code）分配过程中出现的竞态条件，特定的软件模块中存在一个一毫秒的脆弱时间窗口。
该问题发生时，一条高优先级的系统消息中断了一次常规的手动应答机代码请求。由于软件未能在此毫秒内正确处理状态变更，导致数据损坏，进而影响了后续的航班数据更新。
Hacker News 的评论者们对该事件展开了讨论，许多人指出，安全关键型系统中出现此类错误表明该系统缺乏形式化验证和稳健的并发处理。虽然有人认为此次故障是由于时间窗口极短而导致的“运气不佳”，但也有人批评该机构的工程设计“业余”，指出系统容易受到单点故障的影响，并认为此类关键基础设施应具备更好的容错性和错误恢复能力。此次事件发生之前已有多起备受关注的故障，这加剧了人们对现代空中交通管制软件老化及可靠性的广泛担忧。
请启用 JavaScript 和 Cookie 以继续。
尽管大型科技公司积极推崇通行密钥（passkeys）为身份验证的未来，但其目前的实施方式更适合企业环境，而非个人使用。
通行密钥通过非对称加密有效防止了网络钓鱼，但也给个人用户带来了重大风险，最显著的就是导致永久性的账号锁定。依赖苹果或谷歌的同步通行密钥，意味着将你的整个数字身份绑定在可能随意封禁你账号的平台提供商身上。与此同时，硬件密钥虽然安全，但价格昂贵、难以扩展，且存储空间有限。
目前的生态系统十分碎片化；第三方密码管理器缺乏必要的集成完善度，而蓝牙或二维码扫描等“混合”登录方式往往不可靠。与传统密码不同——传统密码可以轻松导出、备份和迁移——通行密钥难以独立管理。
对于普通用户而言，失去账号访问权限的风险超过了防钓鱼保护带来的益处。结合稳健的第三方密码管理器和独立的 TOTP 身份验证器，依然是更优越、更灵活的解决方案。在技术成熟并实现真正的互操作性之前，通行密钥对部分人来说是一种便利，但对于追求数字安全完全掌控权的用户而言，则可能是一种倒退。
以下是讨论内容的摘要：
Hacker News 社区对通行密钥（passkeys）持批评态度。他们认为，虽然通行密钥在理论上提供了防范网络钓鱼的安全性，但却带来了显著的可用性和可靠性问题。
**主要批评：**
* **永久无法访问：** 批评者认为，因手机丢失、设备损坏或被大型科技公司意外封禁账号而导致失去访问权限的风险，远大于其带来的好处。与传统密码或 TOTP 不同，通行密钥在恢复或迁移时往往比较困难。
* **围墙花园：** 许多用户将通行密钥视为科技巨头（苹果、谷歌、微软）加强生态系统锁定的策略，这使得用户更难切换平台或使用独立的密码管理器。
* **用户体验不佳：** 其实现方式被描述为“不友好”。用户反映会被反复提醒设置通行密钥，登录流程复杂令人困惑，且在第三方设备或公共电脑上登录时存在困难。
* **无法委派权限：** 传统密码允许“临时委派”（例如与配偶或同事共享访问权限），而通行密钥的设计初衷则旨在禁止这种行为。
**支持者的观点：**
支持者认为，对于普通用户而言，通行密钥提供了更卓越的安全性，因为这些人通常会重复使用弱密码。他们坚持认为，在正确实现的情况下，通行密钥能提供一种“神奇的”、无需密码的体验，且比基于短信的二次验证（2FA）更安全。
上述讨论围绕 2021 年的著作《Warez：盗版的架构与美学》（Warez: The Infrastructure and Aesthetics of Piracy）展开，该书探讨了从早期的电子公告牌系统（BBS）到 90 年代“顶级站点”（topsites）的软件盗版历史与文化。
评论者们分享了关于“场景”（the Scene）黄金时代的怀旧轶事，回忆起硬件的局限性、早期的文件传输协议（如 Xmodem 和 FXP），以及定义了该文化独特美学的复杂“破解启动动画”（cracktros）和 ASCII 艺术。讨论还涉及了从 BBS 时代的业余爱好向 90 年代高度组织化、竞争激烈的盗版团体性质的转变，以及参与者所承担的个人风险，包括美国联邦调查局（FBI）和加拿大皇家骑警（RCMP）的介入。
该讨论串还引发了一场关于黑客行为与软件安全伦理的两极化辩论。一些参与者认为，黑客行为是一场“智力博弈”，安全的责任完全在于管理员；而另一些人则强烈反驳，称这是一种“荒谬”且危险的世界观，忽视了现实世界的危害。最终，这场对话既是技术老兵的回忆之旅，也是对过去 30 年里数字安全和“海盗”精神如何演变的一次哲学思考。
SpaceX 的猛禽（Raptor）发动机自 2016 年首次亮相以来发生了巨大演变，从最初管线错综复杂的 Raptor 1，进化为如今流线型、高性能的 Raptor 3。虽然其核心的“全流量分级燃烧循环”（FFSC）架构保持不变，但该发动机的推力已提升了 35%，同时重量也显著降低。
由于 SpaceX 并未发布官方结构图，这种演变一直由爱好者们通过观察和埃隆·马斯克的评论进行跟踪。主要改进包括：
* **简化：** 以焊接连接取代螺栓法兰，以减轻重量并减少泄漏点。
* **集成：** 利用先进的金属 3D 打印技术将管路内部化，从而省去了笨重的外部隔热罩和灭火系统。
* **精简：** 将阀门整合进一体化板件，去除了冗余传感器，并随着发动机可靠性的提升取消了外部点火器。
尽管取得了这些进展，猛禽发动机依然是一项尖端且复杂的工程。从近期试飞中断的情况可以看出，它目前仍处于积极开发阶段。随着 SpaceX 不断迭代其旗舰产品星舰（Starship）的动力技术，这种外观上的流线化转变，代表了其向更高效、更集成化系统的迈进。
这篇 Hacker News 讨论聚焦于一篇探讨 SpaceX 如何简化“猛禽”（Raptor）发动机设计以降低制造成本的文章。讨论很快分化为关于埃隆·马斯克（Elon Musk）管理风格及其公司生存能力的两种主要观点。
支持者认为，马斯克的“第一性原理”方法——即不断质疑每一个零件和制造步骤的必要性——是 SpaceX 和特斯拉能够实现行业领先的成本削减与创新的驱动力。拥护者将他对 Twitter (X) 的大刀阔斧的重组以及“星舰”（Starship）的研发，视为他推动团队实现他人眼中“不可能之事”的独特能力的证明，并往往认为媒体的质疑并不准确。
反之，批评者则将沃尔特·艾萨克森（Walter Isaacson）等人的传记称为“吹捧文章”，认为马斯克的技术贡献被夸大了，且他“插手干预”往往会阻碍工程团队的工作。批评者强调了反复出现的安全问题，例如特斯拉的事故率和“星舰”缺乏中止系统，同时也对他在收购 Twitter 后的长期成功表示怀疑。辩论还深入探讨了技术细节，包括金属 3D 打印的优劣，以及“猛禽”发动机所使用的全流量分级燃烧循环的复杂性。
发表在《当代生物学》（*Current Biology*）上的一项研究确认了一个新的猫科动物物种——蒂尔卡约猫（*Leopardus tilcayo*），这是百余年来首次发现此类物种。该物种最初被国家地理探险家保拉·诺加莱斯-阿斯卡伦兹（Paola Nogales-Ascarrunz）误认为是虎猫（*Leopardus tigrinus*），她近十年前在玻利维亚首次发现了这种动物。 2019年，在编写玻利维亚野生动物指南时，诺加莱斯-阿斯卡伦兹注意到她拍摄的猫科照片中，其独特的巨大玫瑰花斑与邻国巴西的虎猫不符。这一发现引发了一项为期多年的遗传学调查。通过与遗传学家爱德华多·艾齐里克（Eduardo Eizirik）和乔纳斯·莱斯克罗特（Jonas Lescroart）合作，诺加莱斯-阿斯卡伦兹证实，该动物是一个全新的物种，而非亚种或已知物种的重新分类。 研究团队将其命名为蒂尔卡约猫（*Leopardus tilcayo*），以纪念当地玻利维亚居民代代相传的称呼。这一发现凸显了通过仔细观察和严谨的科学探究，仍能发现令人惊叹的生物多样性。
2004年，数学家们提出了“三明治猜想”，这是一种通过将复杂的随机正则图“夹”在两个更简单、更易于处理的二项随机图之间，从而对其进行分析的巧妙策略。正则图虽然是建模现实世界网络的基础，但由于其结构受到限制，研究起来极其困难。相比之下，二项随机图由于其边是独立形成的，因此更易于分析。 该猜想认为，如果研究人员能够证明这种“三明治”结构的存在——即一个正则图能被有效地包含在一个二项随机图的结构中——他们就可以将二项随机图所证实的性质迁移到正则图上。这将揭示两种不同随机过程之间深层且根本的联系。 二十年来，该领域进展缓慢，完整的证明始终难以实现。最终，在2025年，三位数学家成功将现有技术推向极限，完整地证明了这一猜想。通过完善构建这些分层图的“配方”，研究人员现在可以利用二项随机图的简单性质来解决正则图中的复杂问题，这标志着图论领域的一个重要里程碑。
这篇 Hacker News 讨论聚焦于《量子杂志》（Quanta Magazine）近期发表的一篇关于数学中“图夹心”（graph sandwich）问题取得重大突破的文章。
讨论迅速分化为两个主要方面：
1. **技术探讨：** 用户讨论了该证明的复杂性，特别是质疑为何“夹心”的上层部分比下层部分更难证明，以及该成果是否能在 Lean 证明辅助工具中实现形式化。
2. **形式化验证与人工智能的作用：** 讨论帖中很大一部分在争论形式化证明验证的现状。参与者指出，虽然现在已经有了 Lean 证明的注册库（Palomar），但由于构建基础“机制”需要付出巨大努力，且人类可读的证明在传达概念性见解方面仍具优势，因此大多数数学研究仍未进行形式化。
最后，一些用户强调了讨论中的讽刺意味：尽管这篇论文是一项与机器学习无关的纯组合数学研究，但绝大多数评论却集中在大型语言模型（LLM）和人工智能在辅助形式化方面的潜力上。
针对智谱 AI 编程助手 ZCode 的一项安全调查显示，该应用程序会在后台静默地将整个用户工作区上传至云端。每当用户登录时，该应用便会扫描项目目录（包括敏感的 `.git` 历史记录、LFS 资源及全局配置文件），并将其打包成加密压缩包上传至阿里云 OSS。 调查指出以下几个令人担忧的问题： * **服务端加密**：该应用采用了信封加密技术，但私钥完全由服务器掌控。用户无法解密自己的文件，这表明数据是为服务器端访问而非用户备份所设计的。 * **数据规模巨大**：上传的数据中高达 90% 为 Git 历史记录，这可能导致已删除的 API 密钥、内部分支名称及专有架构泄露。 * **虚假控制**：应用界面中关于“隐私”或“索引”的设置并不能真正停止后台的捕获与上传行为；该行为已被硬编码，只要应用处于活动状态就会运行。 * **未经授权**：隐私政策中并未披露这种持续性的全仓库数据外泄行为。 为了防止这种情况，作者建议对 `~/.zcode/v2/checkpoints` 目录使用操作系统层面的文件锁定（macOS 上使用 `chflags uchg`，Linux 上使用 `chattr +i`），以阻止该应用创建压缩包。
AI 编程工具 **ZCode** 因一项功能而受到指责：该功能在未告知用户的情况下，将用户的完整 Git 历史记录和本地仓库数据上传至云端。尽管 Z.ai 声称这些数据仅用于本地索引和临时维基生成，但由于缺乏透明度和退出机制，此举引发了广泛抵制。
作为回应，Z.ai 发表了道歉声明，承诺将代码库开源以重获信任，并向用户提供额外的每周额度重置作为补偿。
此次事件在 Hacker News 上引发了关于 AI “辅助工具”（编码智能体）安全性的激烈讨论。用户指出，这与近期其他 AI 提供商（如 xAI 的 Grok）面临的未经授权数据外泄指控类似。
开发人员普遍倾向于采取“零信任”策略，并呼吁：
* **放弃闭源辅助工具：** 许多人认为，只有经过社区积极监管的开源工具才值得信赖。
* **实施沙盒隔离：** 专家建议在隔离的容器或虚拟机中运行编码智能体，以防止未经授权的文件访问。
* **使用网络监控：** 建议使用 `mitmproxy` 等技术来审计智能体实际外泄的数据。