启用 JavaScript 和 Cookie 以继续
每日HackerNews RSS
**摘要：美国将氦列为关键材料**
美国在供应担忧加剧的背景下，将氦列为关键材料，这些担忧因伊朗战争和霍尔木兹海峡封锁而加剧。氦对半导体制造、MRI 设备以及除派对气球之外的其他工业用途至关重要。
美国曾维持战略氦储备，但国会通过《1996 年氦私有化法案》（由克林顿签署）和《2013 年氦管理法案》（由奥巴马签署）下令出售。向 Messer 的最终储备销售已于 2024 年 12 月完成。两项法案均获得了广泛的两党支持。
氦是一种不可再生资源，从天然气矿藏中提取，主要来自重元素的放射性衰变。由于回收基础设施成本高且常常不经济，大量提取的氦被直接排放为废物。美国在氦方面技术上自给自足，但国内加工能力和配送基础设施仍有限。
自 2006 年以来，氦短缺反复发生，因乌克兰战争而加剧，现在又因伊朗冲突而加剧；该冲突扰乱了卡塔尔的供应（占全球需求的 25%）。加拿大已成为替代来源，North American Helium 正在那里开采。评论者就出售储备的政治责任、氦提取经济学以及该列名是否会刺激国内生产展开了辩论。
约翰·冯·诺伊曼（1903–1957）是一位匈牙利裔美国通才，其53年的人生在数学、物理到计算与经济学等领域播下了种子。他出身布达佩斯的神童，由父亲和家庭教师教育；在希尔伯特空间中形式化了量子力学，创立了博弈论和期望效用理论，发明了存储程序计算机架构，共同创造了蒙特卡洛方法，开创了数值天气预报、容错计算和元胞自动机，并为长崎原子弹的内爆透镜作出了贡献。他的“超能力”是“抽象的艺术”——在混乱的问题中找到最小结构。尽管他以冷酷、鹰派战略家著称，曾主张先发制人的核打击，但个人十分慷慨，指导过布莱克威尔等人物，并为奥本海默辩护。他热爱思考、聚会和跑车。死于辐射诱发的脑癌时，他经历了心智的丧失并接受了洗礼，很可能出于帕斯卡的赌注。在其1955年论文《我们能幸存技术吗？》中，他拒绝禁止技术，转而主张“日常的机会主义措施”、耐心、灵活性与智慧，以应对文明风险。
这篇 Hacker News 帖子讨论了一篇题为《A Man from the Future: Why Johnny Can't Stop Abstracting》的文章，内容关于约翰·冯·诺伊曼。评论者推荐了乔治·戴森的《Turing’s Cathedral》和本杰明·拉巴图的《Maniac》等书籍，争论他关于记忆和数学能力的传奇轶事，并提到布达佩斯的天才群体。其他讨论涉及帕斯卡尔的赌注、零和博弈论、核战略以及形式化模型的局限。一些评论者区分事实与神话，还有一些讨论记忆壮举、超忆症，以及早期计算领域如何让重大贡献更容易。最后的讨论澄清，文章并不主张禁止 AI；它认为技术无法被自动保证安全，只有持续、智能、渐进的判断才能有所帮助。总体而言，这条帖子将对冯·诺伊曼的敬佩与对夸大故事的怀疑，以及对进步、风险和不确定性下决策的更广泛反思结合在一起。
TSP 是一种用于查询 Python 类型服务器的 JSON-RPC 协议。它使用 LSP 的形状和约定、字符串 URI 和 `typeServer/` 方法。版本使用语义化版本；在 0.x 中，次版本更改可能破坏兼容性。客户端初始化工作区/文档状态，验证协议版本，获取快照，然后使用该快照发送请求。服务器在快照变化时发送通知。可选的多连接模式在 LSP 初始化期间协商；主连接拥有可变状态和连接控制，而额外的只读连接处理允许的 TSP 请求。额外通道通过 `typeServer/connection` 打开/关闭。快照是非负整数，且从不减小；过时的快照请求应失败并返回可重试错误。位置遵循 LSP 从零开始的 UTF-16 约定。类型查询标识节点或声明，并返回对所提供快照有效的带标签 `Type` 对象。其他请求包括搜索路径和导入解析。错误使用标准 JSON-RPC 代码。服务器必须实现协商的消息，并拒绝额外连接上的不允许流量。
微软宣布了 Type Server Protocol（TSP），这是 Language Server Protocol（LSP）的一项扩展，用于结构化的 Python 类型查询。此举旨在让编辑器能够将 Pyrefly 或 Astral 的 ty 等第三方类型检查器与 Pylance 一起使用，将类型检查与其他 IDE 功能分离。
该公告引发了争议。basedpyright 维护者 DetachHead 批评 TSP 是微软保持 Pylance 功能独占并增加不必要复杂性的策略，敦促其他服务器不要采用它。其他人质疑它为什么不能只是 LSP 扩展。与此同时，Astral 的 ty 计划支持 TSP，微软也在博客中介绍了 VS Code 中的 Pylance-Pyrefly 集成。
更广泛的讨论转向了 Python 本身：支持者提到了其易用性、生态系统和机器学习主导地位，而批评者称其为“灾难”，指出打包差、动态类型和性能慢，并认为存在更好的语言。有人指出 AI 可能加速向静态类型语言的转变。其他人则捍卫 Python 在粘合 C/Rust 库和快速原型开发方面的实用性。一个反复出现的主题是，大型科技公司的自由开源软件贡献究竟是慈善还是利己。
作者调查了能在 Windows 11 上原生运行的最古老 GUI 应用程序。由于 64 位 Windows 缺少 NTVDM，16 位应用程序被排除。一个来自 1993 年 2 月的早期 Win32s FREECELL.EXE 可以运行。进一步挖掘 NT 3.1 预发布版本，发现了 1992 年 11 月的 CDPLAYER.EXE，它能在 Windows 11 上运行，因为它使用了仍随系统提供的 crtdll.dll；一个 DLL 可以模拟 CD-ROM 来播放音频。更早的 1991–1992 年应用程序因 PE 格式或调用约定差异而失败。使用 otvdm，来自 Windows 1.01 的 1985 年 REVERSI.EXE 也可以运行，尽管这算作模拟/作弊。
文章指出，Windows 3.1（1992年11月）中的 FreeCell 是仍在 Windows 11 上未经修改运行的最古老 GUI 应用程序——约 33 年——这要归功于微软的 Win32 兼容层。评论分享了怀旧故事，包括在无数次升级中保留母亲的 FreeCell 分数，并称赞微软与 Linux 和 macOS 相比的长期向后兼容性。讨论还涉及经典桌面 UI 的衰落：菜单栏消失、滚动条隐藏、扁平设计，以及 Ribbon 与菜单的对比。用户提到其他仍在运行的老应用（EasyToon、CD Player、Orly's Draw-a-Story），并讨论现代框架与原生 Win32 的取舍。总体而言，该帖庆祝 Windows 卓越的兼容性，同时哀叹不一致、基于 Electron 的界面以及功能可预测的桌面设计的流失。
请启用 JavaScript 和 Cookie 以继续
OpenAI 发布了 GPT-6.1 Terra，一款介于 Luna 和 Sol 之间的中端模型，面向成本敏感的 API 使用场景。它更便宜、更快，在技术沟通、视觉和计算机使用方面有报告称有所提升，一些基准测试显示它在较低成本下接近更大模型。然而，TerminalBench 和其他对比显示，在更难的任务上它可能不如 Sol 具有成本效益，使其定位尚不明确。
Hacker News 讨论主要集中在 OpenAI 混乱的模型命名和版本控制、在模型大小和推理级别之间进行选择的困难，以及要求更清晰的指南或评测上。评论者争论 Terra 是否适用于自动化、文档和常规任务，而其他人根据成本和性能偏好 Sol 或 Luna。一名 OpenAI 员工解释了基于大小的命名和多维度性能，同时承认存在混淆。用户还讨论了定价、订阅价值、基准 cherry-picking 以及与 Anthropic 和其他模型的对比。总体而言，Terra 被视为一个有用但可能略显尴尬的中间选项，而非突破性的前沿发布。
Nietzschian Debugger 是一个从不提供修复方案的 CLI 调试工具；相反，它通过提出尖锐问题帮助开发者自行发现根因。可通过 npm（Node.js 20+）或 Python 3.10+ 获取，需要 Anthropic API 密钥。用户可从三种强度——苏格拉底、尼采或查拉图斯特拉——中选择，并可引用真实代码文件。它会在本地保存会话、总结长对话并追踪调试技能增长。示例展示了四个问题如何引导开发者从“部分用户出现 403”定位到因最近 TTL 变更导致的 JWT 令牌过期。专为希望提升调试直觉而非快速复制粘贴答案的开发者和团队而构建。采用 MIT 许可证。
一段 Hacker News 帖子讨论了 “Nietzschian Debugger”，一个使用 LLM 提问苏格拉底式问题而非直接给出答案的工具，旨在引导开发者自行获得调试洞察。评论者就 Nietzsche 名称展开争论：有人指出 Nietzsche 批判过苏格拉底式辩证法，Adorno 或 Hegel 可能更贴切；其他人则讨论 AI、权威，以及该工具是否真正“反 AI”——尽管它需要 Anthropic API 密钥并使用 AI 生成的资源。多条评论认为该概念有用，但也提出担忧：LLM 经常给出提示或变得学究气，苏格拉底式提示仍可能为用户代做过多思考。其他人建议将其做成可移植的提示或技能，提到橡皮鸭调试，并拿拼写和哲学开玩笑。总体而言，该帖混合了哲学批判、对 AI 辅助调试的怀疑，以及对鼓励开发者自行调查证据的欣赏。
Meta员工通过英国通信工人工会科技分支，对巴西选举期间据称偏袒博尔索纳罗家族表示担忧。他们说公司领导层的政治倾向自2016年起已为人所知，但称这是首次把这种偏袒以用户可见的方式呈现。员工警告，干预可能破坏对选举、政客以及Meta自身技术的信任，开创危险先例。他们呼吁尊重公平与民主。针对Meta在巴西选举中角色的抗议也发生在公司伦敦总部外。
Hacker News 的讨论围绕一份报告展开：Meta 员工谴责在巴西选举中涉嫌干预。评论者争论员工应辞职抗议还是留下反抗，涉及举报、职业风险、共谋以及替代者是否更糟糕等论点。有些人引用 Meta 的历史，认为高薪激励留下；另一些人说离开可减少共谋。几条评论描述了据称有利于博索纳罗的“技术故障”，如卢拉账号限制、搜索问题、AI 偏见和 WhatsApp 频道不匹配，而另一些人则说证据模糊、传闻多于已验证事实。观察者还提到联合国关切以及可能的制裁或禁令。总体而言，该帖凸显了科技工作者的伦理困境以及对 Meta 中立性的怀疑。
404 Media 收到了许多由 AI 生成的线索，来自有普通技术问题的人，例如被封禁的 Instagram 账号或手机服务问题。ChatGPT 经常建议联系记者 Jason Koebler，并代写邮件，有时还附带“证据档案”。虽然一些线索可能具有新闻价值或揭示更广泛的平台问题，但大多数是科技公司难以解决的常规支持问题。文章指出，ChatGPT 也鼓励用户就 AI 偏见对话联系记者，即使问题并不特别值得注意。作者认为，随着技术支持变得自动化且难以接触，人们转向 AI，这把常规问题夸大成看似调查，并向记者涌入大量请求。
Hacker News 用户讨论一篇关于 ChatGPT 误将技术支持问题引导至 404 Media、导致出版商被大量请求淹没的文章。评论者讨论 AI 的更广泛影响：降低请求成本导致垃圾信息和积压，挤占正当用户；平台支持薄弱促使人们转向媒体；AI 生成内容和机器人降低信任；监管或市场适应可能随之而来。一些人指出 AI 帮助个人但带来社会成本，另一些人则指责企业摩擦和资金不足的支持系统。总体而言，该讨论将 AI 描绘为放大低努力请求、并给人力注意力与支持系统带来压力。
启用 JavaScript 和 Cookies 以继续
Hacker News 上的一篇讨论帖讨论了 ACM 关于逐步构建 JIT 编译器的论文。评论者描述了在首次调用时按参数类型特化函数、将 JIT 与字节码解释器结合，以及部分展开函数。论文作者解释目标是在本科编译器课程中教授 AOT+JIT，并且许多学生实现了首次调用特化。参与者还分享了课程链接、SICP 阅读材料和讲座视频。
Entire 是一个面向智能体与人类协作的新 Git 托管平台，围绕三大核心能力构建：Trails、分布式 Git 托管和持续记忆。Trails 用每次推送计算的评估分数、发现和合并门禁替代传统 PR 审查；工作可跨仓库，智能体或人类可处理这些发现。Entire 通过 Buildkite 和 Depot 集成 CI，检查可阻止合并。其源码控制服务器兼容 Git，推送速度最高比 GitHub 快 89 倍、比 Cursor Origin 快 6 倍，支持区域托管、镜像和从 GitHub 迁移，并具备区域冗余。持续记忆让智能体知识持久化：entire-graph 映射代码结构与依赖，entire-brain 索引智能体会话并将其关联到代码，降低 token 用量并保留上下文；记忆可跨团队共享，并展示在 Trails 中。Entire 现已向开发者与 AI 原生团队开放，拥有开放生态，并欢迎社区反馈。
Hacker News 用户讨论 Entire.com，这是一个面向代理与人类协作的 Git 代码托管平台。该产品强调 AI 辅助代码审查、以“Trails”作为传统 PR 的替代、用于检测漂移的自动化“Runners”，以及将代理会话与提交一起存储。评论者反应不一：有人称赞其基础能力和 AI 审查功能，也有人觉得营销味道浓厚的文档令人困惑，并质疑会话是否能增加审查价值。Entire 代表回应称，会话保留意图与推理过程，存储在仓库 refs 中，CLI 采用 MIT 许可证，存储后端正在走向开源；计费仅针对代理，并提供 100 美元注册积分。更广泛的讨论指出 SCM 工具在增长，并对高 AI 信任工作流表示担忧。