微软宣布已经收购了Express Logic——一家相对低调但有影响力的软件制造商,其技术可以为全球大部分互联网连接的设备提供支持。
微软尚未披露这次收购的交易条款,不过考虑到Express Logic在互联设备生态系统中所扮演的突出角色,收购价格有可能是相当可观的。
Express Logic打造了ThreadX——一种专门用于功率受限的小型电子产品的操作系统,从智能灯泡到工厂中用于生产调度的工业控制系统,大多数应用中都可以找到ThreadX的身影。
ThreadX甚至被用于太空任务中——NASA选择了ThreadX为2005年从卡纳维拉尔角起飞的Deep Impact探测器提供动力。Express Logic方面称,自20多年前首次发布以来,ThreadX已经总计部署在62亿台设备上。
ThreadX平台最显着的特点是占用空间小,只需要几兆的存储空间即可安装,并且启动只需要不到120个处理器周期。
ThreadX将成为补充微软自主开发的Azure Sphere操作系统在互联设备领域的一个补充。Azure Sphere软件也相当轻巧,但对于某些低功耗系统来说可能过于耗费资源,这次收购正好填补了这一空白。
微软Azure IoT总监Sam George在博客文章中解释说:“我们会向客户推荐使用Azure Sphere实现最安全的云连接,但是Azure Sphere在高度受限的设备中无法使用,所以在这个领域我们会推荐使用Express Logic的ThreadX RTOS,而不是其他RTOS选项,因为它具有额外的认证以及与Azure IoT Hub的现成连接。”
IoT Hub是微软Azure公有云中的一套互联设备管理服务。收购完成后,微软可能会在ThreadX及微软云服务之间增加更多集成以推动企业采用Azure。
ThreadX目前也还在为AWS和Google云平台提供连机器,微软方面没有具体说明收购后是否会继续提供这些支持。
好文章,需要你的鼓励
Docker公司通过增强的compose框架和新基础设施工具,将自己定位为AI智能体开发的核心编排平台。该平台在compose规范中新增"models"元素,允许开发者在同一YAML文件中定义AI智能体、大语言模型和工具。支持LangGraph、CrewAI等多个AI框架,提供Docker Offload服务访问NVIDIA L4 GPU,并与谷歌云、微软Azure建立合作。通过MCP网关提供企业级安全隔离,解决了企业AI项目从概念验证到生产部署的断层问题。
中科院联合字节跳动开发全新AI评测基准TreeBench,揭示当前最先进模型在复杂视觉推理上的重大缺陷。即使OpenAI o3也仅获得54.87%分数。研究团队同时提出TreeVGR训练方法,通过要求AI同时给出答案和精确定位,实现真正可追溯的视觉推理,为构建更透明可信的AI系统开辟新路径。
马斯克的AI女友"Ani"引爆全球,腾讯RLVER框架突破情感理解边界:AI下半场竞争核心已转向对人性的精准把握。当技术学会共情,虚拟陪伴不再停留于脚本应答,而是通过"心与心的循环"真正理解人类孤独——这背后是强化学习算法与思考模式的化学反应,让AI从解决问题转向拥抱情感。
PyVision是上海AI实验室开发的革命性视觉推理框架,让AI系统能够根据具体问题动态创造Python工具,而非依赖预设工具集。通过多轮交互机制,PyVision在多项基准测试中实现显著性能提升,其中在符号视觉任务上提升达31.1%。该框架展现了从"工具使用者"到"工具创造者"的AI能力跃迁,为通用人工智能的发展开辟了新路径。