XiaoMi-AI文件搜索系统
World File Search SystemWASM
将WebAssembly标准标准加速使用Spectec
WebAssembly（WASM）是一种便携式低级字节码语言和虚拟机，在各种生态系统中的使用越来越多。其规范非常严格 - 包括语言的完整正式语义 - 并且必须在本式语义，散文和官方参考解释器中指定每个新功能，然后才能进行标准化。随着语言规模不断增长，这种手动过程及其冗余已变得艰巨且容易出错，在这项工作中，我们提供了一种解决方案。我们提出Spectec，一种特定于领域的语言（DSL）和工具链，可促进WASM规范和标准化新功能所需的工件的产生。Spectec是真理的单一来源 - 从wastm语义的观点定义来看，我们可以生成字体规范，包括正式的定义和散文伪代码描述以及元级解释器。计划了进一步的测试生成和交互式定理的后端。我们评估了Spectec代表最新WASM 2.0的能力，并表明生成的元级口译员通过了适用的官方测试套件的100％。我们表明，Spectec通过检测已纠正的规范中的历史错误以及在五个建议中的五个提案中的十个错误来发现和预防错误非常有效。我们的最终目的是，Spectec应由WASM标准社区采用，并用于指定标准的未来版本。
WebAssembly启用低延迟可互操作的增强和虚拟现实软件
使用增强/虚拟现实（AR/VR）设备特定硬件和基于Web的实现的本机应用程序之间的运行时性能有明显的差异。在这里我们表明WebAssembly（WASM）提供了一个有前途的开发人员解决方案，该解决方案可以为基于Web的应用程序带来近乎本地的低潜伏期性能，从而通过在任何WIFI或蜂窝数据网络启用的AR/VR AR/VR设备上运行的便携式字节码来使硬件 - 稳定的互操作性按比例扩展。许多软件应用领域已经开始意识到WASM作为关键促进技术的潜力，但尚未在AR/VR域中建立强大的影响力。在考虑当前基于Web的AR/VR开发技术（例如WebXR）的局限性时，该技术提供了现有的应用程序编程接口（API），该界面（API）为基于Web的程序提供了AR/VR功能时，WASM可以解决与正当（JIT）汇编，慢速运行时间，大型文件，大型文件，大型数据和大数据等方面所面临的关键问题。使用基于WASM的WebXR的现有应用程序稀疏但增长，并且移植本机应用程序使用此新兴框架的潜力将受益于基于Web的AR/VR应用程序空间，并使其在性能方面更接近其本地对应物。综上所述，针对AR/VR应用程序的这种标准化的“ Write-once-Deploy-everywhere”软件框架有可能巩固各种头部安装的显示器和其他嵌入式设备上的用户体验，以最终创建一个可互操作的AR/VR生态系统（Jacobsson and Will'en（202020））。
云原生人工智能
训练和测试 AI 模型以获得卓越的推理能力需要高质量的数据。云原生基础设施可以通过各种方法访问数据，例如数据湖和仓库。许多云提供商提供块、对象和文件存储系统，非常适合提供低成本、可扩展的存储。例如，模型的大小可以达到 GB。在训练阶段，每次拉取模型的检查点都会对网络和存储带宽造成严重负载。将模型视为容器化工件为将它们托管在 OCI 24 注册表中打开了大门并启用了缓存。它还允许将软件供应链最佳实践应用于模型，例如工件签名、验证、证明和数据来源。此外，容器化模型/工件有助于在 WebAssembly (WASM) 二进制文件中进行捆绑。WASM 是一种独立于平台的高效 CN 推理方法。