tlively

5 ms·

1.
by tlively 7mo ago
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, including the official spec test suite and the
2.
by tlively 7mo ago
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. Treating the heap objects as uninterpreted bags of bytes wouldn&#x2
3.
by tlively 7mo ago
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 mentions that you can kind of emulate nominal types by putting all
4.
by tlively 2y ago
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/...
5.
by tlively 3y ago
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 that turns a stream of bytes
6.
by tlively 4y ago
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 and implementations are under way in V8 and other Web engines.
7.
by tlively 4y ago
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 meetings, first join the W3C WebAssemb
8.
by tlively 6y ago
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 compiler IR, not a program binary format. WebAssembly was s
9.
by tlively 6y ago
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.
10.
by tlively 7y ago
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 function support since they use their own ABI internally. But C,
11.
by tlively 9y ago
I just about died when I read, 'He formulated the algorithm "context-free grammar"...'