Viewing profile — sunfish

I work on WASI, and completely agree. A lot of things are not clearly documented right now, and we're working on fixing it.

That cleaner foundation is shared-nothing linking, capability-based security, virtualizable APIs, and more, and a WASI organized around things like streams as first-class types. Th…

It depends on what you mean by "at the bottom". If you mean at the bottom of the wasm, the the answer is, those won't be legacy APIs. The direction we're heading is to provide POSI…

Not yet, at least. But we're working on that :-).

In systems designed for it, communication channels can transmit handles without using a shared namespace or master list. An example of this in the real world is Unix-domain sockets…

It does, but that opens up much more powerful tools to work with. As an example of one such tool in practice, compare the task of "list all open file descriptors in an arbitrary Un…

Typing is nice, and when one is working within an existing system where environment variables are the main way for communicating data between parts of a system (which is many popul…

There are IPC mechanisms today which aren't just bytes. For example, the ability to send file descriptors over unix-domain sockets. Strings of bytes fundamentally can't do that. An…

I have a previous-generation Lemur Pro and suspend/resume on lid close/open works great.

Wasm is Turing-complete. What people typically mean by this is that in a browser context, compiling JS to Wasm does not currently make it run faster than just running the JS as JS.…

This is true, however if we modify the program to print a 4096-byte long string instead of just the "hello world" string, then it's not sufficient again. And of course, the number …

It's indeed possible! I and others are building a Rust version of this: https://github.com/sunfishcode/mustang It supports threads, filesystem, networking, and more! The library fo…

If there's community interest, there is a possible path where Mustang matures to the point where it makes sense to talk about how to incrementally migrate the parts that make sense…

First-class values are values which you can pass as arguments, return as return values, and hold in local variables. Values of type `File` or `TcpStream` are first-class in this se…

It does; the stack pointer starts out aligned, but then the function does a call, and the call instruction adjusts the stack pointer by 8 bytes to push the return address, which wo…

The compiler is using push and pop here just for their side effect of adjusting the stack pointer, to keep the stack pointer 16-byte aligned.

Good catch on that bug! I'll fix that. Beyond that, that file is just a simple example for showing how to work with the toolchain and the sandbox.

As context, at the time of those issues, the control-flow restrictions were a compromise to help get the "MVP" off the ground, with the understanding that "more expressive control …

Unfortunately, we don't actually have data which supports this. The only data that was collected at the time showed that if/else compress better than what wasm has without if/else.…

WASI has some unique goals around extending the WebAssembly sandboxing concepts into the API space using capability-based security, forming one of the key building blocks for nanop…

This is discussed in the blog post; see the discussion of "time protection".

Yes. We know that WebAssembly in its present form doesn't yet have all the functionality we'll want to make all this efficient, so we're active in many areas in the WebAssembly sta…

Wasmtime is being developed to be usable as just such an embedded runtime. We have some demos of this here: https://github.com/bytecodealliance/wasmtime-demos

It's not specifically referring to certification or process, it's more about software architecture. It's referring to how the core WebAssembly instruction set has no I/O instructio…

WebAssembly is expected to be around a long time, so it's not enough to just measure its speed today, because engines aren't very mature yet. As engines mature, it will likely get …