至顶网软件频道消息: 微软的几位前任高管在6月18日成立了一个开放源代码云平添开发平台公司,名为Pulumi。
Pulumi公司的联合创始人Eric Rudder和Joe Duffy都曾是微软Midori团队的成员。
Midori有望成为不是基于Windows内核的新的微软操作系统。Midori团队负责构建的不仅仅是从零开始的操作系统,而是一个完整的软件堆栈,包括浏览器、相关工具等等。
在高峰期,微软在Midori工作的开发人员高达100人。微软最终在2015年左右解散了Midori团队。
Pulumi公司的首席执行官Duffy是这样描述了Pulumi平台的:
“使用Pulumi,你可以使用你最喜欢的语言创作云程序,从底层基础架构即代码跨越到高生产力和现代化的容器和无服务器应用程序。”
Pulumi支持JavaScript、TypeScript、Python、Go以及AWS、Azure和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系统提供了新思路。