微软宣布已经收购了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云平台提供连机器,微软方面没有具体说明收购后是否会继续提供这些支持。
好文章,需要你的鼓励
在“PEC 2025 AI创新者大会暨第二届提示工程峰会”上,一场以“AIGC创作新范式——双脑智能时代:心智驱动的生产力变革”为主题的分论坛,成为现场最具张力的对话空间。
人民大学团队开发了Search-o1框架,让AI在推理时能像侦探一样边查资料边思考。系统通过检测不确定性词汇自动触发搜索,并用知识精炼模块从海量资料中提取关键信息无缝融入推理过程。在博士级科学问题测试中,该系统整体准确率达63.6%,在物理和生物领域甚至超越人类专家水平,为AI推理能力带来突破性提升。
Linux Mint团队计划加快发布周期,在未来几个月推出两个新版本。LMDE 7代号"Gigi"基于Debian 13开发,将包含libAdapta库以支持Gtk4应用的主题功能。新版本将停止提供32位版本支持。同时Cinnamon桌面的Wayland支持持续改进,在菜单、状态小程序和键盘输入处理方面表现更佳,有望成为完整支持Wayland的重要桌面环境之一。
Anthropic研究团队开发的REINFORCE++算法通过采用全局优势标准化解决了AI训练中的"过度拟合"问题。该算法摒弃了传统PPO方法中昂贵的价值网络组件,用统一评价标准替代针对单个问题的局部基准,有效避免了"奖励破解"现象。实验显示,REINFORCE++在处理新问题时表现更稳定,特别是在长文本推理和工具集成场景中展现出优异的泛化能力,为开发更实用可靠的AI系统提供了新思路。