๐Ÿ“ข New post by Andreas Rossberg on the #WebAssembly site in which he announces the #Wasm community's adoption of #SpecTec ๐Ÿ“„, a domain-specific language and toolchain that facilitates both the Wasm specification and the generation of artifacts necessary to standardize new features: https://webassembly.org/news/2025-03-27-spectec/.
SpecTec has been adopted - WebAssembly

WebAssembly (abbreviated Wasm) is a binary instruction format for a stack-based virtual machine. Wasm is designed as a portable compilation target for programming languages, enabling deployment on the web for client and server applications.