Okej, jag hade tre forskare som jobbade hela natten med tre projekt. Projekt 1: Helt självhostad rustc-kompilator Projekt 2: JavaScript -> Wasm-kompilator Projekt 3: ProofScript, ett formellt verifieringsspråk liknande TypeScript. Jag har inte verifierat deras resultat helt än, och de fungerar fortfarande, men de ser riktigt lovande ut hittills. Project 1 verkar verkligen ha en rustc Wasm-kompilator. Det kräver en anpassad sysroot, och på morgonen fungerade Rustc men inte hela cargo-verktygskedjan och inte värdbyggsskripten. Jag menar... Om allt det fungerar är det ganska imponerande, eller hur? Jag har den nu och håller på att avsluta cargo och host build-skripten. Den påstår sig hittills ha kunnat kompilera rust-base64, regex och serde_json med ovanstående begränsningar. De är alla fortfarande mitt uppe i det hela, så detta är bara preliminära observationer. Jag är oerhört exalterad över detta