Viewing profile — tlively

This is partially true, but the standard text format also allows the instructions to be nested as S-expressions, for example: (i32.add (i32.const 0) (i32.const 1)) Many projects, i…

Yes, this is all part of Wasm GC. WebAssembly needs to know the structures of heap objects so that a GC can trace them and also to preserve type safety when accessing them. Treatin…

Andy jests, but I would actually like to add nominal types to Wasm (along with type imports to make them usable). No proposal yet, but maybe later this year. This blog post mention…

The WebAssembly tail call proposal has been accepted, finished, and implemented for over two years now. https://github.com/WebAssembly/meetings/blob/main/main/2023/...

The end of the related work section cites both wasm-smith and the Binaryen fuzzer ( https://github.com/WebAssembly/binaryen/wiki/Fuzzing ) and says, "They both provide a fuzzer tha…

The GC proposal recently moved to phase 2 and has a lot of momentum. Teams working on compiling Java, Kotlin, and Dart to Wasm are closely involved in the standardization effort an…

The simplest way to get involved is to start attending the biweekly standardization meetings. The agendas are organized here: https://github.com/WebAssembly/meetings To attend the …

One of the precursors of WebAssembly was Portable Native Client (PNaCl)[1], which did use a frozen subset of LLVM IR as its program representation. But LLVM IR was designed to be a…

Yes, although part of the fun the demo is that the LLVM tools are themselves running in the browser. Note that the demo is from 2015, so it predates WebAssembly.

I am currently working on multivalue in both LLVM and Binaryen. Watch for celebratory tweets when I finish ;) Rust will be able to benefit immediately once LLVM has multivalue func…

I just about died when I read, 'He formulated the algorithm "context-free grammar"...'