Sonair ADAR One：全球首个用 Rust 写出的安全认证产品
ADAR One 是挪威 Sonair 的 3D 超声波传感器产品，面向机器人与机械安全场景：发射全向超声波脉冲，多换能器接收反射并生成 3D 点云；当保护区内出现目标时，通知机器人或设备减速/停机。公司宣布 ADAR One 成为首个以 Rust 实现并完成安全认证的嵌入式系统。
团队原为 C/C++ 嵌入式背景，启动时无人正式交付过 Rust 产品。选型主要针对 C/C++ 内存与并发痛点；当时编译器安全认证尚未完成，需沿 Ferrocene 路径推进。技术负责人 Espen Albrektsen 撰文记录从语言选型、bare metal 实现到最终认证的过程与难点。
原文链接：https://www.sonair.com/journal/how-we-safety-certified-the-worlds-first-rust-implementation
Wasmi 2.0：WASM 解释器相对 1.0 约快 2.2×
Wasmi 是高效 WebAssembly 解释器，用于 IoT、插件系统（Typst、Zellij、Josh）、云主机、智能合约（Soroban、Ripple）与轻量游戏主机（Firefly Zero）等。作者 Robin Freyler 发布 Wasmi 2.0：约 8 个月聚焦执行性能的引擎大改。
在 Apple M2 Pro 上，wasmi-benchmarks 几何均值显示相对 Wasmi 1.0 约快 2.2×，并与 Wasm3、WAMR fast-interpreter、Wasmtime Pulley、Makepad Stitch 等对比。2.0 还提供 validate feature 缩小产物、稳定 fuel metering、WebAssembly deterministic profile 支持与改进 CLI。项目获 Stellar Development Foundation 自 2024-10 起赞助。
原文链接：https://wasmi-labs.github.io/blog/posts/wasmi-v2.0/
Sonora：Rust + GPUI 跨平台原生音乐播放器
Sonora 是学生团队用 Rust 与 GPUI 实现的原生音乐客户端，支持 Spotify、YouTube（可选登录）与本地曲库，并提供虚拟播放列表、收藏、同步/卡拉 OK 歌词（含本地音乐）、罗马化、库内管理、无缝播放、音量归一化、跨平台与自定义主题。
UI 受 Zed/GPUI 启发，并对 GPUI fork 做了效果与 profiling 相关补丁；作者强调相对 Spotify Desktop 更低的内存占用。macOS 可用 Homebrew cask 安装，Linux 提供 AUR 等路径。仓库当前约 95 star，版本到 0.28.1。
原文链接：https://github.com/nolight132/sonora
Rust-GB：用 Pure Rust 写出 Game Boy ROM
Rust-GB 目标是把 Rust 编译为 Game Boy ROM。早期经 SDCC / GBDK；作者现已写出 LLVM-Z80，可将 LLVM IR 直接编到 Game Boy 机器码，并据此构建 Game Boy 侧 Rust 库，从而能用 Pure Rust 编写 Game Boy 程序。
仓库提供 HAL/runtime（rust-gb、gb-rt 等）、cargo-gb 等 host 工具与示例 ROM；相关产物还包括 llvm-z80 / rust-z80。示例 sprite ROM 可下载；作者还在推进 Game Boy 硬件的 safe Rust API。GitHub 约 291 star。
原文链接：https://github.com/zlfn/rust-gb
From Rust中文社区 Mike
社区学习交流平台订阅：
评论区
写评论还没有评论