Okay I had three scientists working all night on three projects. Project 1: Fully self-hosted rustc compiler Project 2: JavaScript -> Wasm compiler Project 3: ProofScript, a formal verification TypeScript-like language I haven't fully verified their results yet, and I still have them working, but they look really promising so far. Project 1 looks like it truly has a rustc Wasm compiler. It requires a custom sysroot, and in the morning it had rustc working but not the whole cargo toolchain and not host build scripts. I mean...if that's all working it's quite impressive right? I have it now working on finishing up with cargo and the host build scripts. It claims to have been able to compile rust-base64, regex, and serde_json so far with the above limitations. They're all still in the thick of it, so these are just preliminary observations. I am extremely excited about this