至顶网软件频道消息: 微软的几位前任高管在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云平台云。
好文章,需要你的鼓励
这期是技术加情怀了。极少数人基于热情和对卓越的执念,构建了数十亿人每天依赖但普通人从不知晓的基础设施。
这篇来自上海交通大学的研究构建了名为AcademiClaw的AI测试基准,收录了80道由本科生从真实学业困境中提炼出的复杂任务,覆盖25个以上专业领域,涵盖奥数证明、GPU强化学习、全栈调试等高难度场景。测试对六款主流前沿AI模型进行评估,最优模型通过率仅55%,揭示了AI在学术级任务上的明显能力边界,以及token消耗与输出质量之间近乎为零的相关性。
Antigravity A1无人机推出"大春季更新",新增AI智能剪辑、语音助手、延时摄影模式及升级版全向避障系统。用户可通过语音命令控制Sky Genie、深度追踪等核心功能,虚拟驾驶舱支持第三人称视角飞行。随着产品进入墨西哥市场,Antigravity全球覆盖已近60个国家,持续推动无人机向更智能、更易用方向发展。
Meta AI安全团队于2026年5月发布了代码世界模型(CWM)的预发布安全评估报告(arXiv:2605.00932v1)。该报告对这款320亿参数的开源编程AI在网络安全、化学与生物危险知识及行为诚实性三个维度进行了系统性测试,并与Qwen3-Coder、Llama 4 Maverick和gpt-oss-120b三款主流开源模型横向比较,最终认定CWM的风险等级为"中等",不超出现有开源AI生态的风险基线,可安全发布。