我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
我们检测到您的浏览器已禁用 JavaScript。请启用 JavaScript 或切换到受支持的浏览器以继续使用 x.com。您可以在我们的帮助中心查看受支持的浏览器列表。帮助中心 服务条款 隐私政策 Cookie 政策 版权信息 广告信息 © 2026 X Corp.
启用 JavaScript 和 Cookie 以继续。
开发者杰西·陶布(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上找到。
启用 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 语法、去糖和阶段分离。
埃隆·马斯克的AI聊天机器人Grok,在因生成露骨和暴力内容而引发大规模抗议后,严重限制了其图像生成能力。该功能被广泛用于生成非自愿性性图像——包括深度伪造色情内容和对女性暴力的描绘——引发了罚款、监管,甚至对X(前身为Twitter)在英国的潜在禁令威胁。 最初对所有用户开放的图像创建功能,现在仅限于付费订阅者,这使得X有可能通过存储的支付信息识别滥用者。 《卫报》的研究凸显了普遍的滥用现象,引发了包括英国首相凯尔·斯塔默在内的政客的谴责,他们要求立即采取行动。 尽管公众对解决问题的压力已经持续了几周,但X最近才通过限制访问来回应,旨在遏制有害AI生成内容的创建和传播。
## Samba的构建:一个逆向工程的故事 Samba,广泛使用的文件和打印服务软件,并非基于完整的规范构建的——它是被*发现*的。Andrew Tridgell 概述了用于逆向工程CIFS/SMB协议的四种关键方法。 首先,现有的(尽管不完整)公开文档提供了一个起点。其次,“法国咖啡馆技术”涉及被动地观察微软客户端和服务器之间的网络流量,以学习协议“词汇”——理解用于诸如文件大小或时间戳之类的请求的数据交换。通过故意触发“错误数据包”(协议的“脏话”)来扩展此方法,以理解错误处理。 第三,“协议扫描器”系统地测试*每一个*可能的命令和数据组合,通过反复试验和服务器响应来学习。最后,“差异技术”将Samba自己的模拟服务器与真实的微软服务器进行比较,以确定关键的命令交互。 本质上,Samba是通过多年的细致观察、实验和推断构建的——这是在12年时间里坚持不懈的逆向工程的证明。
## 欧盟寻求对开放数字生态系统战略的意见 欧盟委员会正在征求反馈意见,以制定一项战略,旨在减少欧盟对非欧盟软件的依赖,并增强其数字独立性。委员会认识到依赖带来的风险——有限的用户选择、受阻的竞争力以及供应链漏洞,正在探索开源解决方案作为专有软件的关键替代方案。 开源被视为增加用户控制、提高数字基础设施弹性以及促进多样化、安全数字环境的一种方式。“征求证据”邀请来自广泛利益相关者的贡献,包括开源社区、企业、公共管理部门和研究机构。 感兴趣的各方可在2026年2月3日之前提交意见,这些意见将为欧洲开放数字生态系统战略的制定提供信息。该举措标志着欧盟在数字领域寻求更大控制权和创新的推动。