ZD至顶网软件频道消息: 在微软Build大会的所有消息中,让Bash在Windows 10平台上运行这件事可以说是最大的新闻之一。从那时起,对于微软到底怎么做的猜测不绝于耳。
微软也开始通过博客和一个新的Channel 9视频提供更多的细节,透露了一些在表面之下到底发生了什么的信息。
剧透警告:Windows 10之中并没有隐藏什么秘密的Linux内核。相反,是Windows内核团队开发的Windows Subsystem for Linux(WSL)成了让Linux二进制程序运行在Windows平台之上的基础。
微软在4月22日指出,WSL包括用户模式会话管理器,它是由PICO供应商提供的,它模拟了Linux内核和PICO进程,托管在未调整的用户模式Linux之上,例如Bash。
微软表示:“它是存在于用户模式Linux二进制程序和Windows内核组件之间的空间,神奇的事情正是在这里发生的。”该公司表示,“通过将未经调整的Linux二进制程序放入PICO进程之中,我们让Linux系统调用进入Windows内核。lxss.sys和lxcore.sys将Linux系统调用翻译成NT APIs并模拟Linux内核。”
对于那些关注过微软研究院的Drawbridge项目的人来说,PICO组件可能听起来有点耳熟。开发Drawbridge的团队中的成员大部分都是开发微软Singularity微内核操作系统的团队成员。
Channel 9的概述视频和相关的博客文章都表示Windows内核并不包含Drawbridge PICO进程/PICO驱动概念。而正是这些PICO进程和驱动“为Windows Subsystem for Linux提供了基础。”
好文章,需要你的鼓励
Snap 推出 Lens Studio 的 iOS 应用和网页工具,让所有技能层次的用户都能通过文字提示和简单编辑,轻松创建 AR 镜头,包括生成 AI 效果和集成 Bitmoji,从而普及 AR 创作,并持续为专业应用提供支持。
这项研究提出了ORV(占用中心机器人视频生成)框架,利用4D语义占用作为中间表示来生成高质量的机器人操作视频。与传统方法相比,ORV能提供更精确的语义和几何指导,实现更高的时间一致性和控制精度。该框架还支持多视角视频生成(ORV-MV)和模拟到真实的转换(ORV-S2R),有效弥合了虚拟与现实之间的差距。实验结果表明,ORV在多个数据集上的表现始终优于现有方法,为机器人学习和模拟提供了强大工具。
这项研究由Writer公司团队开发的"反思、重试、奖励"机制,通过强化学习教导大型语言模型生成更有效的自我反思内容。当模型回答错误时,它会生成反思并二次尝试,若成功则奖励反思过程。实验表明,该方法在函数调用和数学方程解题上带来显著提升,最高分别改善18.1%和34.7%。令人惊讶的是,经训练的小模型甚至超越了同家族10倍大的模型,且几乎不存在灾难性遗忘问题。这种自我改进技术为资源受限环境下的AI应用开辟了新方向。