Julien Cretin

Thanks! So ignoring fixed costs (which are negligible), we have that the text section of the cwasm is 52% bigger than the complete wasm, and 25% bigger than the extended...

Thanks a lot @alexcrichton and @tschneidereit for your help! I've finished integrating Wasmtime into Wasefire. It is not possible to build a platform and applets with Pulley. The footprint is...

> Would you be ok if we link this usage from our documentation and cite you on those numbers? Sure, with pleasure, you can go ahead :-)

> Do you just mean libusb via rusb Yes, I mean getting rid of the libusb dependency. > do you mean 'getting rid' of global dependencies like libusb while still...

A PR would be welcome. I don't know yet what's best for reproducibility, this might not suffice or help that much. So this issue can also be seen as an...

> > To investigate why a particular invariant does not work. In Why3, the only way to debug an invariant is to read a rather unreadable goal. While in a...

> just go into the "command line" in the IDE Thanks! That's what I was missing. I've only read the doc of the IDE [here](https://www.why3.org/doc/starting.html#getting-started-with-the-gui) which doesn't mention the "command...

The `ort` documentation is the reference on that matter. As they suggest, you can compile ONNX Runtime yourself (and either link it dynamically or statically). We actually do this when...

I'm not sure I fully understand the initial question. There's at least 2 ways to interpret it for someone like me unfamiliar with Python: - Provide a dynamic library of...

Thanks, so it looks like for the Golang use-case, we have something planned: Providing a C API to the Rust library (ideally as both a static and dynamic library). But...