Wasmer发布了Wasmer 7版本,这是其WebAssembly运行时的重大升级,引入了实验性异步API,为Python提供完整的异步支持。此次更新还为WASIX带来了动态链接支持,大幅扩展了平台对Python包的支持范围。
1月30日发布的Wasmer 7引入了实验性异步API,为Python中的异步函数提供一流支持,解锁了SQLAlchemy等强大库以及其他此前无法运行的Python包。该异步API目前在Singlepass、Cranelift和LLVM后端中均可使用。
Wasmer 7还在WASIX中启用了动态链接支持,WASIX是该平台对WASI(WebAssembly系统接口)的扩展,这一改进为更广泛的Python包和原生模块生态系统提供了支持。WASIX中的动态链接支持解决了Wasmer中Python支持仅限于核心解释器的问题,此前许多原生库如Numpy或Pydantic都无法得到支持,Wasmer 7消除了这一限制。
Wasmer 7还将Cranelift编译器升级到最新版本,并使用Cranelift的新异常处理API增加了对WebAssembly异常的完整支持。为实现这一目标,Wasmer的构建者与标准libunwind库进行了集成,填补了缺失的部分,因为Cranelift编译器依赖自己的展开实现。通过这种方式,Wasmer为所有使用WebAssembly异常的编译器使用相同的展开机制。
在Wasmer 7中,当首次使用更重型的LLVM编译器构建模块时,Wasmer现在会显示编译进度条。此外,在构建Python或PHP等大型包时,会有选择地禁用极大函数的优化,从而显著缩短编译时间。例如,Python构建时间从约90秒降至约10秒。
Wasmer 7还通过增加Singlepass支持来加强RISC-V支持。之前的Wasmer版本通过LLVM和Cranelift支持RISC-V。Wasmer 7还引入了LLVM RV32gc目标。
Q&A
Q1:Wasmer 7的异步API有什么特别之处?
A:Wasmer 7引入的实验性异步API为Python中的异步函数提供一流支持,能够解锁SQLAlchemy等强大库以及其他此前无法运行的Python包。该API目前在Singlepass、Cranelift和LLVM三个后端中均可使用。
Q2:WASIX中的动态链接支持解决了什么问题?
A:动态链接支持解决了Wasmer中Python支持仅限于核心解释器的问题。此前许多原生库如Numpy或Pydantic都无法得到支持,现在可以为更广泛的Python包和原生模块生态系统提供支持。
Q3:Wasmer 7在编译性能方面有哪些改进?
A:Wasmer 7显示编译进度条,并在构建大型包时有选择地禁用极大函数的优化,显著缩短编译时间。例如,Python构建时间从约90秒降至约10秒。同时还加强了RISC-V支持。
好文章,需要你的鼓励
微软在年度Build开发者大会上一次性发布7款AI新模型,涵盖推理、编程、图像生成、语音及转录等多个领域。其中首款推理模型MAI-Thinking-1拥有350亿参数,基于商业授权数据训练,在盲测中击败Anthropic Sonnet 4.61;编程模型MAI-Code-1已上线Copilot与VS Code。微软还宣布与梅奥诊所合作,共同开发医疗领域前沿AI模型。
香港中文大学联合华为提出UI-KOBE框架,通过预先构建手机应用知识图谱,让4B轻量级模型在手机GUI任务上超越多个更大规模模型,兼顾效率与隐私保护。
微软在Build 2026大会上宣布,其多模型智能安全扫描系统MDASH已从私有预览升级为扩展预览,并整合进企业级安全控制平台,连接Defender、GitHub Code Security、Agent 365及Purview。MDASH通过100余个专用AI代理协同运作,聚焦可利用漏洞的优先排序,有效降低安全告警噪声。该系统在CyberGym基准测试中得分已达96.55%,标志着AI漏洞发现正式进入企业级生产部署阶段。
这项研究提出LaRA框架,通过分析大型语言模型内部各层的几何结构变化,检测强化学习训练中的数据污染问题,比传统输出层检测方法更可靠。