Wasmtime and Cranelift in 2023

Posted on 2023-11-23: https://bytecodealliance.org/articles/wasmtime-and-cranelift-in-2023

cool blog post about a very modern compiler! really goes to show what you can do when you build from scratch. they formally verified their instruction lowering which i think is very cool https://www.cs.cornell.edu/~avh/veri-isle-preprint.pdf