News for hackers. Stuff that matters.
Re:I Wrote a WebAssembly VM in C by shpongled on Monday February 03, 2025 @12:32PM (#42920640)
The WASM spec is so well defined presumably because Andreas Rossberg is the editor - and he did a bunch of PL research on extensions to Standard ML, which is famous for it's specification!
Re:I Wrote a WebAssembly VM in C by amw-zero on Tuesday February 04, 2025 @01:43PM (#42936748)
I totally agree. Standard ML set the stage for everyone to finally formally specify a full language, and only WebAssembly has carried the torch as far as I know (other than small research languages).