我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
每日HackerNews RSS
## 黑客新闻讨论摘要：美国与英国关于X（推特）的争端
一场黑客新闻讨论围绕着美国众议员安娜·保利娜·卢娜威胁立法制裁英国及其首相，如果他们禁止X（前身为推特）。这源于对X处理非法内容（特别是AI生成的非自愿图像和潜在的儿童性虐待内容）的担忧。
这场争论凸显了言论自由、企业影响力以及国家主权之间的紧张关系。许多评论员批评美国干涉他国法规，并质疑鉴于美国国内对X平台审查的担忧，这种干涉是否虚伪。一些人认为美国正在将企业利益（特别是埃隆·马斯克的利益）置于国际法和公共安全之上。
一些用户指出，美国政客将注意力集中在国外对美国公司的 perceived 冒犯上，而忽视了国内问题。 还有人指出英国已经有关于在线色情的法律，并质疑X是否合规。 讨论还涉及极端观点抬头和美国全球影响力下降的问题，一些人认为这种干涉进一步削弱了国际信任。
启用 JavaScript 和 Cookie 以继续。
## 狼如何变成狗：摘要
一篇《经济学人》文章引发了Hacker News的讨论，探讨了人类与狗之间的协同进化关系，并质疑这种影响是否是相互的。 尽管人类通过驯化将狼塑造成狗是显而易见的，但评论员们思考狼可能如何塑造了*人类*社会——可能影响部落结构，甚至影响人类心理。
对话深入探讨了超越简单陪伴的理论，包括共享狩猎技巧（追逐猎物至疲惫）和提供安全保障（警惕危险、守护资源）可能推动了共同进化的想法。 一些人认为，早期人类受益于狼的清道夫能力和卓越感官，从而培养了一种共生关系。
其他讨论点包括谷物驯化对人类行为的影响、基于宠物偏好可能导致的不同进化路径（“猫派”与“狗派”）、以及选择性育种在创造差异巨大的犬种中的作用。 讨论还涉及驯化的伦理以及狗可能被视为对现代人类生活产生“寄生”影响的可能性。 最后，几位评论员指出，正在进行的研究正在挑战关于狗的祖先的传统叙述。
开发者杰西·陶布（Jesse Taube）成功地在树莓派Pico 2的RP2350微控制器上启动了一个精简的Linux发行版，实现了里程碑式的突破。这得益于RP2350的开源Hazard3 RISC-V核心，允许原生RISC-V代码执行——这是相对于需要模拟的RP2040的重大升级。 虽然在微控制器上运行Linux面临挑战，例如内存有限，但RP2350通过520kB SRAM以及对高达16MB的PSRAM和16MB闪存的支持来解决这些问题。陶布使用了一个基于Buildroot的Linux发行版，目前需要带有PSRAM扩展的开发板，例如SparkFun Pro Micro RP2350，无法在基础Pico 2上运行。 这项成就展示了微控制器的日益增强的功能以及RISC-V架构的潜力，为传统上硬件受限的设备上运行更复杂的软件应用打开了大门。构建说明可在陶布的GitHub上找到。
## Raspberry Pi RP2350 上的 Linux 及 iPad Sidecar 的可能性
最近的进展显示，Linux 正在 Raspberry Pi 的 RP2350 RISC-V 核心上运行，引发了对其潜力的讨论。虽然 Raspberry Pi 上运行 Linux 很常见，但在 RP2350 的微控制器核心（缺乏 MMU）上运行它是一项更具新意的成就。
一个关键的应用是使用运行 Linux 的 Pi Zero 作为 iPad 的紧凑“Sidecar”。该设置利用 USB gadget 模式来提供有线以太网连接，直接由 iPad 供电，提供一个可作为控制台访问的完整 Linux 环境。
讨论强调了对更小、更经济的基于 RISC-V 的解决方案的需求，未来可能取代 ARM 在 Raspberry Pi 模型中的地位。用户还讨论了使用低功耗 Linux 设备进行离线内容镜像、文件托管以及绕过 Apple 对外设连接限制等更广泛的可能性。 多个项目，如 Milk-V Duo，被提及为潜在平台，但可用性和软件支持仍然是挑战。
启用 JavaScript 和 Cookie 以继续。
## MCP 的兴起与可能的衰落
MCP（多智能体对话平台）由于其易于实施以及最初被认为是解决“NxM问题”的方案——连接大量智能体与各种工具集的复杂性，迅速成为人工智能集成的流行标准。然而，这种流行很可能难以为继。
MCP 并不 *需要* 函数调用，这是一个常见的误解。它主要通过抽象模式生成和调用来解决智能体之间工具集的重用问题。但这需要付出代价：不透明的资源管理、对工具执行失去控制以及来自进程边界的性能开销。
虽然 MCP 定义了提示和资源的原始要素，但工具是其主要用途。然而，其架构导致“不连贯的工具箱”——即使有建议保持工具集小型化，智能体仍然难以处理大型、无序的工具集。此外，MCP 缺乏标准化的运行时/依赖管理，导致频繁的设置问题和安全漏洞（例如最近的 Anthropic 文件系统服务器逃逸事件）。
最终，MCP 除了序列化函数调用之外，提供的价值有限，而编码智能体在这方面表现出色。它最初的吸引力在于为公司提供了一条快速获得“人工智能信誉”的途径，并为工具开发者提供了一个低成本的营销渠道。更简单的替代方案，如直接脚本调用、第一方工具以及利用现有的 OpenAPI 等标准，可以提供更好的安全性、控制力和效率。Claude Skills 等替代方案的出现表明，即使是模型提供商也认识到 MCP 的局限性，预示着其重要性可能会下降。
监控观察：他们知道你是谁
## 揭秘 1ML：一种用于模块化编程的类型系统 本系列旨在以比原始学术论文更易理解的方式解释 Andreas Rossberg 的 1ML 类型系统——被认为是将 ML 风格的模块集成到新语言中的有力候选者。1ML 从根本上来说，是作为对 System Fω 的一种复杂的“语法糖”，System Fω 是带有显式多态性的 lambda 演算的强大扩展。 核心思想是将 1ML 代码翻译成 Fω，然后进行类型检查。一个关键的挑战在于理解“表面”类型（如在 1ML 中编写的类型）与它们内部 Fω 表示形式之间的区别。作者的实现侧重于表示大型语义类型，而将小型类型视为不变式，而不是独立的数据类型。 本系列将深入研究 1ML 的推理规则的复杂性，力求完全理解，并讨论论文中未涵盖的实际实现问题，例如将类型推断与层次集成。它*不会*涵盖形式元理论（健全性证明），但会针对编译器作者，对论文的呈现方式提出批判性观点。未来的条目将涵盖 1ML 语法、去糖和阶段分离。
## 1ML：一种类型系统的新方法
一篇Hacker News讨论围绕着Andreas Rossberg创建的1ML类型系统展开。与“机器学习”不同，这里的“ML”代表“元语言”。1ML独特地将核心语言元素与其模块系统融合，提供了一种更精简的语言设计，并具有与Standard ML (SML)相当的严格类型安全证明。
对话强调了类型系统理论研究与实际编译器开发之间的一种脱节。一些人认为，专注于语言语义的学者不一定需要优先构建编译器，因为编译器需要持续维护。有人建议将目标设为LLVM IR或使用Prolog进行实现。
然而，另一些人强调，即使是一个基本的编译器也是一种沟通工具，并能激发更广泛的采用。一个研究原型解释器确实存在，但尚未达到生产就绪状态。讨论涉及更广泛的问题，即学术研究仍然孤立，以及更注重工程的语言设计方法的好处，以及类型系统在编译器之外的更广泛应用。
埃隆·马斯克的AI聊天机器人Grok，在因生成露骨和暴力内容而引发大规模抗议后，严重限制了其图像生成能力。该功能被广泛用于生成非自愿性性图像——包括深度伪造色情内容和对女性暴力的描绘——引发了罚款、监管，甚至对X（前身为Twitter）在英国的潜在禁令威胁。 最初对所有用户开放的图像创建功能，现在仅限于付费订阅者，这使得X有可能通过存储的支付信息识别滥用者。 《卫报》的研究凸显了普遍的滥用现象，引发了包括英国首相凯尔·斯塔默在内的政客的谴责，他们要求立即采取行动。 尽管公众对解决问题的压力已经持续了几周，但X最近才通过限制访问来回应，旨在遏制有害AI生成内容的创建和传播。
## Grok图像生成器争议 - 摘要
在对人工智能生成图像（特别是深度伪造和潜在的儿童性虐待内容）的性化和剥削性内容引发强烈抗议后，X（前身为Twitter）已将Grok AI中的图像生成和编辑功能限制为仅付费订阅者可用。一些人认为这是对可预见危机的软弱回应，并且可能受到成本因素的影响，而不仅仅是公众压力。
讨论强调了对人工智能图像生成可访问性的担忧，对个人（尤其是关于非自愿深度伪造）的潜在危害，以及不受限制的人工智能的伦理影响。有人认为，将访问权限限制为付费用户只会转移问题，使犯罪者更容易追踪，但不能消除问题。
争论的中心在于，生成*合成的*有害图像本身是否具有问题，以及操纵*真实人物*图像的危险。此外，还存在关于科技公司控制有害内容的责任以及过度干预与必要保障措施之间潜在冲突的更广泛讨论。许多评论员对埃隆·马斯克所声明的“不受限制的人工智能”目标表示怀疑，鉴于该平台的行动和历史。
## Samba的构建：一个逆向工程的故事 Samba，广泛使用的文件和打印服务软件，并非基于完整的规范构建的——它是被*发现*的。Andrew Tridgell 概述了用于逆向工程CIFS/SMB协议的四种关键方法。 首先，现有的（尽管不完整）公开文档提供了一个起点。其次，“法国咖啡馆技术”涉及被动地观察微软客户端和服务器之间的网络流量，以学习协议“词汇”——理解用于诸如文件大小或时间戳之类的请求的数据交换。通过故意触发“错误数据包”（协议的“脏话”）来扩展此方法，以理解错误处理。 第三，“协议扫描器”系统地测试*每一个*可能的命令和数据组合，通过反复试验和服务器响应来学习。最后，“差异技术”将Samba自己的模拟服务器与真实的微软服务器进行比较，以确定关键的命令交互。 本质上，Samba是通过多年的细致观察、实验和推断构建的——这是在12年时间里坚持不懈的逆向工程的证明。
## 欧盟寻求对开放数字生态系统战略的意见 欧盟委员会正在征求反馈意见，以制定一项战略，旨在减少欧盟对非欧盟软件的依赖，并增强其数字独立性。委员会认识到依赖带来的风险——有限的用户选择、受阻的竞争力以及供应链漏洞，正在探索开源解决方案作为专有软件的关键替代方案。 开源被视为增加用户控制、提高数字基础设施弹性以及促进多样化、安全数字环境的一种方式。“征求证据”邀请来自广泛利益相关者的贡献，包括开源社区、企业、公共管理部门和研究机构。 感兴趣的各方可在2026年2月3日之前提交意见，这些意见将为欧洲开放数字生态系统战略的制定提供信息。该举措标志着欧盟在数字领域寻求更大控制权和创新的推动。