What's the time? It's #wasmtime

#Wasmtime has a JIT and a #Wasm runtime that uses a lot of pointers, so it's especially cool that this PR is able to make it preserve strict provenance and run under stacked borrows in Miri:

https://github.com/bytecodealliance/wasmtime/pull/6338

The RFC for the design for #Wasm GC support in #Wasmtime is now up!

https://github.com/fitzgen/rfcs-2/blob/wasm-gc/accepted/wasm-gc.md#summary

Le wild RFC for garbage collection in #Wasmtime appears! 👀
https://github.com/bytecodealliance/rfcs/pull/31
I like the strategy of multiple GC integrations using a trait, including a blazingly fast null GC that doesn't collect (and give a lower bound on throughput speed).

#Wasmtime to support the Debug Adapter Protocol, for debugging languages that compile to wasm in the future? 👀 If it happens, it's a nice choice, as most IDEs can have DAP support these days https://github.com/bytecodealliance/meetings/pull/77/files

🎉 I've gotten the core of my latest project working, after a month or two of hard work!! This project is built on #rust, #webassembly, the #web philosophy, #tokio, #wasmtime, #vello (soon) & #glazier, and more 😁 I can't wait to show off more than just this prototype.

This screenshot demonstrates the process of creating a window, setting its size, and showing the window. All of this is done from a WebAssembly module, enabling this functionality for any language that compiles to WebAssembly.

Side-project from the last two weeks at work: add perf map support to All The Things!

Added it to #wasmtime, so as to have quick call-graph profiling, and in the process of adding it to #samply too, so it'll automatically load perf maps.

Seriously, if you maintain a language runtime that generates code just-in-time, adding perf map support is one of these little effort / high reward tasks for providing user-land profiling 😍

Finally a little lib to write functions for our hobby faas platform, instead of docker mounts shenanigans. I've spent the entire weekend for this mostly learning rust macros, wasmex and wasmtime memory stuff.

#wasm #rust #wasmtime #serverless

Well, trying to integrate wasmex into our project made me discover how much I was ignoring about wasmtime. Imported and exported functions, write to the memory to pass arbitrary datatypes, read from memory to retrieve the output and so on. #wasm #wasmtime #webAssembly

Ok how to make an http request from #wasm (using #wasmtime)?

now we're hearing a bit about #wasmtime and its progress....

#Python module for #WebAssembly

My first code of the day is going to be Python🐍
---
RT @vmwwasm
We released a pre-compiled #Python module for #WebAssembly. In this article, @Assambar shows you how to run a Python script using the WebAssembly module in #Wasmtime, @realwasmedge and @Docker 👇🤩

https://wasmlabs.dev/articles/python-wasm32-wasi/
https://twitter.com/vmwwasm/status/1620092209516404736

Happy to see the #ruby work with #wasmtime for #webassembly. Nice things come in small crates. https://bytecodealliance.org/articles/using-wasmtime-from-ruby

There's a new Ruby gem for using Wasmtime from Ruby!

https://bytecodealliance.org/articles/using-wasmtime-from-ruby

#wasmtime #ruby

@fitzgen posted a very thorough RFC for implementing tail calls in Wasmtime:

Rendered proposal: https://github.com/fitzgen/rfcs-2/blob/tail-calls/accepted/tail-calls.md

RFC PR: https://github.com/bytecodealliance/rfcs/pull/29

#wasmtime

@avanhatt' group has been working on formal verification for Cranelift's instruction selection and found a cool result today. There had been a bug in the aarch64 backend where it zero-extended some 8-bit/16-bit inputs instead of sign-extending them. They demonstrated that their verifier can detect that bug!

That particular bug had already been fixed, but it shows how it's possible to automatically detect subtle bugs like that.

Details: https://bytecodealliance.zulipchat.com/#narrow/stream/217117-cranelift/topic/ISLE.20verification.20found.20previously.20reported.20bug

#wasmtime #wasm

@Perl @plicease's #WebAssembly in #Perl distribution https://metacpan.org/pod/Wasm (using #Wasmtime) now has competition in the form of Felipe Gasper's #Wasmer-based https://metacpan.org/pod/Wasm::Wasmer.

With @PerlFFI's ability to build Perl extensions in C, C++, #Rust, #GoLang, #Pascal (!), #Fortran (!!), and even #assembly (!!!), you can plug just about any high-performance code into Perl.

A great talk around #Wasm integration with @Docker@twitter.com from my favourite #Docker gurus @nigelpoulton@twitter.com & @BretFisher@twitter.com .. Truly #wasmtime :)
#DockerCommunity

@nigelpoulton published a quick overview about https://github.com/deislabs/runwasi that explains well how you can use #webassembly in #kubernetes relatively easily. It's also what Docker Desktop wasm tech preview uses with #wasmedge, and #azure's AKS uses with #wasmtime. Have a look if you're interested: https://nigelpoulton.com/what-is-runwasi/

Very interesting talk by Rainer Stropek (@rstropek)
about WASM and its future

#SAGconf #Rust #dotnet #csharp #Docker #Container #wasmedge #wasmtime

PS: it works!