Ok, jeg hadde tre forskere som jobbet hele natten med tre prosjekter. Prosjekt 1: Fullstendig selvhostet rustc-kompilator Prosjekt 2: JavaScript -> Wasm-kompilator Prosjekt 3: ProofScript, et formelt verifiseringsspråk som ligner TypeScript. Jeg har ikke verifisert resultatene deres fullt ut ennå, og jeg har fortsatt fått dem til å fungere, men de ser veldig lovende ut så langt. Project 1 ser ut til å virkelig ha en rustc Wasm-kompilator. Det krever en egendefinert sysroot, og om morgenen hadde den Rustc som fungerte, men ikke hele cargo-verktøykjeden og ikke host build-skriptene. Jeg mener... Hvis alt fungerer er det ganske imponerende, ikke sant? Nå jobber jeg med å gjøre ferdig cargo og host build-skriptene. Den hevder å ha klart å kompilere rust-base64, regex og serde_json så langt med de nevnte begrensningene. De er alle fortsatt midt i det, så dette er bare foreløpige observasjoner. Jeg er ekstremt spent på dette