至顶网软件频道消息: 微软的几位前任高管在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云平台云。
好文章,需要你的鼓励
Anthropic发布SCONE-bench智能合约漏洞利用基准测试,评估AI代理发现和利用区块链智能合约缺陷的能力。研究显示Claude Opus 4.5等模型可从漏洞中获得460万美元收益。测试2849个合约仅需3476美元成本,发现两个零日漏洞并创造3694美元利润。研究表明AI代理利用安全漏洞的能力快速提升,每1.3个月翻倍增长,强调需要主动采用AI防御技术应对AI攻击威胁。
NVIDIA联合多所高校开发的SpaceTools系统通过双重交互强化学习方法,让AI学会协调使用多种视觉工具进行复杂空间推理。该系统在空间理解基准测试中达到最先进性能,并在真实机器人操作中实现86%成功率,代表了AI从单一功能向工具协调专家的重要转变,为未来更智能实用的AI助手奠定基础。
Spotify年度总结功能回归,在去年AI播客功能遭遇批评后,今年重新专注于用户数据深度分析。新版本引入近十项新功能,包括首个实时多人互动体验"Wrapped Party",最多可邀请9位好友比较听歌数据。此外还新增热门歌曲播放次数显示、互动歌曲测验、听歌年龄分析和听歌俱乐部等功能,让年度总结更具互动性和个性化体验。
这项研究解决了现代智能机器人面临的"行动不稳定"问题,开发出名为TACO的决策优化系统。该系统让机器人在执行任务前生成多个候选方案,然后通过伪计数估计器选择最可靠的行动,就像为机器人配备智能顾问。实验显示,真实环境中机器人成功率平均提升16%,且系统可即插即用无需重新训练,为机器人智能化发展提供了新思路。