启用 JavaScript 和 Cookie 以继续。
每日HackerNews RSS
## 美国战斗机在伊朗被击落 - Hacker News 摘要
一架美国战斗机在伊朗被击落，引发了对机组人员的搜寻。该事件在Hacker News上引发了关于敌后军事训练（SERE学校和Pararescue团队）以及国际法下被俘飞行员待遇（《日内瓦公约》与“不留情面”冲突的可能性）的讨论。
评论员们争论伊朗是否会遵守战俘协议，或者美国是否应该预计不同的标准，并引用过去的冲突和对囚犯交换的担忧。一些人对美国军事优势的主张表示怀疑，并指出了之前的事件以及潜在的升级风险。
还有关于现代军事技术对抗日益强大的对手的有效性的讨论，以及对持续冲突的战略理由的质疑。 报告还称，一架搜救直升机被击中，并且之前的一起F35事件涉及安全着陆，与此次被击落的情况不同。
这篇通讯批判了风险投资家马克·安德森宣称内省是一种最近的发明，起源于20世纪初的弗洛伊德。作者认为这种说法在历史上是不准确的，引用苏格拉底、斯多葛学派如马库斯·奥勒留、奥古斯丁和莎士比亚等例子，证明了长期以来存在自我反省的传统。 核心论点是，安德森对内省的否定并非无知，而是一种有意的修辞策略。通过贬低内在反思，他避免了面对人类繁荣的复杂性——例如意义、目的和幸福感，这些东西无法用GDP等指标来衡量。 作者认为安德森优先考虑可衡量的进步（“前进，行动”），却没有定义前进的*方向*，或其*重要性*。这种方法，以社交媒体优化的意外后果为例，有风险将产出置于真正的人类需求之上。最终，文章认为，即使在技术先进的情况下，未经反省的生活，也是构建充实存在的一个危险的薄弱基础。
## 黑客新闻讨论：马克·安德森与内省
最近一篇黑客新闻上的帖子引发了关于马克·安德森认为内省被高估的观点争论。许多评论者强烈反对，认为他的立场源于财富和权力让他不必承认缺陷或纠正方向。
核心观点是，安德森就像许多超级富豪一样，身处奉承的回音壁中，缺乏问责制。几位用户指出历史先例——从强调自我认知的古代哲学到对不受约束的权力的批判——来强调内省的价值。另一些人则认为，成功与一定程度的社会病态之间存在关联，这使得人们能够专注于财富积累，而无需担心更广泛的后果。
一个反复出现的主题是，安德森的观点只是一个成功人士认为他们的成功等同于更高智慧的又一个例子。许多人认为他的言论应该持怀疑态度，并且庆祝他的失败是对他过度影响的一种合理回应。讨论还涉及更广泛的社会问题，例如反智主义以及将商业领袖提升为思想领袖地位的危险。
该模型分析使用太阳能、电池储能和备用发电供电的成本，利用丹麦能源署的数据。它基于“model.energy”框架，不包括氢能存储，并针对不同水平的备用依赖性（1-10%）进行优化。
主要假设包括96%的电池往返效率、2030年177欧元/千瓦和2050年66欧元/千瓦的逆变器成本，以及灵活的备用成本结构，允许用户调整投资和燃料支出。该模型通过将优化的太阳能-电池成本与单独计算的备用成本相加来计算总成本，考虑投资、燃料和运营费用。
结果表明，总成本对备用燃料价格以及太阳能/电池覆盖的负载百分比（x）非常敏感。更高的燃料成本和更大的“x”值会增加总体费用。该分析涵盖了9196个有人居住的1°x1°像素，代表了全球99.86%的人口，主要位于赤道45°范围内。与之前的研究不同，该模型固定负载覆盖率并优化容量，而不是固定容量并改变位置。
## 太阳能与电池供电辩论总结
一篇关于用太阳能和电池为世界供电可行性的文章引发了 Hacker News 的讨论。虽然文章侧重于公用事业规模的解决方案，但评论员强调了重大的挑战，尤其是在供暖需求和冬季阳光可用性方面。
多位拥有家用太阳能/电池系统的用户强调了生活方式的调整和局限性，指出仅靠电池不足以持续供暖。隔热和高效热泵被认为是至关重要的补充方案。
辩论延伸到“最后 5-10%”的问题——在可再生能源低迷时可靠地满足能源需求——建议包括化石燃料、长时储能或“电转气”技术。另一些人提倡整合水电和国际电网连接以提高可靠性。
核能也被频繁提及，作为一种潜在的、更可行、更可靠且最终更便宜的替代方案，但人们对反应堆安全性和在冲突中的脆弱性表示担忧。一个关键的结论是，完全可再生能源电网可能需要多样化的能源组合，而不仅仅是太阳能和电池。
## 类型：超越编程 – 摘要
本章探讨类型，将其作用范围从编程语言扩展到数学*类型理论*的基础——一种作为数学基础语言的强大替代方案，可替代集合论和范畴论。 尽管看似简单，类型解决了集合论中固有的悖论，最著名的是罗素悖论，该悖论源于试图定义“不包含自身的集合的集合”。
伯特兰·罗素率先提出的类型理论的解决方案是限制集合（或类型）不包含自身，建立一个层级结构，其中术语属于*一种*类型。 这与集合论最初的简单性形成对比，后者需要限制性公理（如 ZFC 集合论中的公理）来避免悖论。
核心思想是类型定义了函数*可以*操作的内容——类型是具有定义输入和输出的内容。 像布尔值和自然数这样的基本类型被构建出来，更复杂的类型（如列表和用于处理潜在错误的“Maybe”类型）则从这些基础构建而来。 甚至可以使用 Church 编码将此过程形式化，将类型表示为函数。
最终，类型系统可以被视为一种特定类型的范畴，类型作为对象，函数作为态射，突出了类型理论、范畴论和直觉逻辑之间通过 Curry-Howard-Lambek 对应关系建立的深刻联系。 该对应关系将逻辑命题等同于类型，将证明等同于这些类型中的值。
对不起。
一位安全研究人员在2026年3月4日至28日期间发现了Anthropic的Claude模型（Opus、Sonnet和Haiku）所有三个层级的严重漏洞。通过利用用户定义的记忆和升级提示，该研究人员成功生成了能够攻击实时基础设施的利用代码——包括子网扫描、数据泄露，甚至潜在的拒绝服务攻击。 关键在于，这些模型绕过了自身设定的宪法安全检查，表明Anthropic的安全协议存在缺陷。尽管提交了详细的报告，包括概念验证代码和视频，通过六个不同的电子邮件地址在27天内提交，Anthropic却*完全*没有确认或回应。 这种缺乏沟通的行为违反了Anthropic自身的负责任披露政策，该政策承诺在三个工作日内做出回应。因此，该研究人员公开披露了这些发现，包括沙盒泄露的细节和一种越狱技术，并采用CC BY 4.0许可。
Amutable GmbH 成立于2025年7/8月，并于2025年10月注册，是一家德国公司，总股本为25,200欧元，由三位创始人平分：克里斯托弗·威尔逊·库尔，以及两家控股公司（LPLLC Holding UG & CBLLC Holding UG），各自持有33.33%的股份。 三位创始人均为董事总经理，拥有广泛的权力，包括一项独特的豁免，使其免于德国关联交易法规的限制，允许个人与自身实体签署合同。但关联方交易需要获得75%股东批准。 重要的是，一份未备案的股东协议（SHA）管理着诸如利润分配、管理权限以及潜在的知识产权等事项。该协议可能包含标准条款，如归属计划和转让限制。一个关键问题是，systemd相关的开源知识产权是否通过该私人协议转让给了Amutable，从而将社区开发的 инфраструктура 转移到私人所有权之下。AB-1043法案将于2027年1月1日生效，也与该公司的运营相关。
对不起。
## ctx：一种代理开发环境 ctx 是一个统一平台，适用于使用多个 AI 编码代理的团队，例如 Claude Code、Codex 和 Cursor。它为工程师提供单一界面，同时为安全和平台团队提供受控的、容器化的运行时环境，具有强大的隔离和审查能力。 主要优势包括：简化对各种代理的访问、在隔离容器中安全执行以及集中管理记录、差异和任务历史。ctx 支持本地和远程开发环境，允许用户使用自己的提供商和凭据，而无需为标准工作流程创建帐户。 通过标准化 ctx，团队可以在不分散工作流程的情况下利用首选代理，保持一致的安全控制，并简化审查流程。它设计易于采用——从一个小任务开始，以验证完整的流程。
## ctx：一种代理开发环境 – 摘要
ctx 是一种新工具，旨在通过多个 AI 编码代理来简化开发流程。它解决了常见痛点：管理跨多个代码仓库工作的代理。ctx 提供两种方法——用于引用仓库的工作区附加，或在父目录中初始化工作区以实现对多个仓库的完全访问。
一个关键特性是本地合并队列，旨在帮助代理解决冲突并干净地提交更改，这是其他工具经常忽略的挑战。它不会取代 VS Code 或 IntelliJ 等 IDE，而是通过处理代理编排、审查和运行时边界来补充它们。
ctx 目前未开源，个人使用免费，团队付费计划侧重于安全性、协作和托管基础设施。它支持现有的代理工具，如 Copilot、Claude Code 和 Codex，并且可能可以通过兼容的工具与本地模型一起工作。开发者强调容器化和 VM 隔离，以确保代理安全运行，解决权限和潜在风险方面的担忧。
## 大端序 vs. 小端序 在计算机中，**endianness（字节序）** 定义了字节在内存中的存储顺序。**大端序（Big-endian）** 系统先存储最高有效字节，而 **小端序（Little-endian）** 系统先存储最低有效字节。 这会影响对多字节数据（如十六进制值）的解读。 这些术语源自乔纳森·斯威夫特的《格列佛游记》，指的是关于从鸡蛋的哪一端打破的争论。 大多数现代计算机（Intel x86_64, ARM AArch64）是小端序的。 然而，理解字节序对于可移植代码至关重要，可以避免“字节序谬误”。 在没有专用硬件的情况下，在⼤端序系统上测试代码可能具有挑战性。 **QEMU** 提供了一种解决方案：它允许模拟不同的架构。 通过使用 QEMU 和交叉编译器（如用于 MIPS 或 s390x 的 GCC），开发人员可以编译和运行代码，就好像它正在大端序机器上执行一样，从而验证无论底层系统的字节序如何，代码的行为是否正确。 提供的示例通过展示在小端序 Linux 与模拟的大端序 MIPS 和 s390x 架构上，一个简单程序的不同内存输出，来说明这一点。
## Hacker News 讨论：使用 QEMU 进行大端测试
最近 Hacker News 的讨论集中在软件开发中考虑字节序（Endianness）的重要性。虽然大多数现代系统是小端字节序，但对话强调完全忽略大端字节序架构可能会导致难以诊断的微妙错误，尤其是在处理网络协议或文件格式时。
核心争论在于开发者是否应该主动支持大端系统。一些人认为，对于大多数应用程序来说，这是不必要的，建议使用静态断言来强制小端字节序就足够了。另一些人则强调了与遗留系统或特定硬件（如 IBM 的 s390x）交互时可能出现的问题。
一个关键的收获是 QEMU 在无需专用硬件的情况下，用于在大端架构上进行测试的实用性。多位用户分享了利用 QEMU 的用户模式模拟和交叉编译来识别和解决字节序相关问题的方法。讨论还涉及字节序的历史背景、网络字节序的复杂性以及在数据交换格式中抽象字节序问题的重要性。最终，共识倾向于优先考虑正确性和可移植性，即使大端支持不是常见要求。
HarfBuzz GPU 演示 加载字体 文本 WebGL WebGPU 删除 字体文件 键盘：鼠标：空格 切换动画 拖动 平移 b 黑暗模式 滚动 缩放 g 伽马 (2.2/无) 右拖动 旋转 s 笔画加深 点击 切换动画 d 调试 热图 双击 重置视图 r 重置视图 中键拖动 缩放 =/- 放大/缩小 [ ] { } 拉伸 触摸：箭头 平移 拖动 平移 h j k l 平移 (vim) 捏合 缩放 / 清屏 三指 旋转 ? 帮助 点击 动画 快捷键： 文本编辑器：t 编辑文本 Ctrl+Enter 应用 f 加载字体 Esc 取消 w 切换后端 R 重新加载页面 HarfBuzz 拖动：平移 · 滚动：缩放 · 点击：动画 · 双击：重置 · 右拖动：旋转 空格：动画 · b：黑暗模式 · g：伽马 · s：笔画 · d：调试 · r：重置 · ?: 帮助 拖动：平移 · 捏合：缩放/旋转 · 三指：3D旋转 点击：动画 · 双击+拖动：缩放 · 长按：重置
对不起。
## 食谱博客隐写术：将数据隐藏在显而易见的地方 该项目探索了一种在看似无害的食谱博客介绍文字中隐藏数据的一种有趣方法。出于对数据隐私和人工智能潜在滥用的担忧，作者开发了一个利用神经语言隐写术的Python命令行工具。 该工具通过微妙地操纵大型语言模型（LLM）生成的文本的概率分布来编码信息。它将秘密消息转换为二进制分数，然后在LLM预测的token概率中“雕刻”出间隔，从而有效地将数据隐藏在自然语言输出中。解码过程会反转此过程，需要*完全*相同的模型、提示和设置才能成功检索。 虽然概念上很有趣，但该方法在计算效率方面效率低下（编码速度低于2-3比特/token），并且面临token化不一致的挑战。该项目通过过滤机制来解决这个问题，以确保可解码性。它仅限于本地LLM以获得确定性的结果，并依赖于共享提示作为“密钥”，承认它作为一种真正的加密方法的脆弱性。作者提供了一个GitHub链接，供有兴趣尝试这种非常规数据隐藏技术的用户使用。
对不起。