Добре, у мене було троє науковців, які працювали всю ніч над трьома проєктами. Проєкт 1: Повністю самостійно розміщений rustc-компілятор Проєкт 2: JavaScript -> компілятор Wasm Проєкт 3: ProofScript, формальна мова верифікації, схожа на TypeScript Я ще не повністю перевірив їхні результати, і вони все ще працюють, але поки що виглядають дуже перспективно. Project 1, здається, справді має rustc Wasm-компілятор. Потрібен кастомний sysroot, а вранці працював rustc, але не весь вантажний інструментарій і не використовував скрипти збірки хостів. Я маю на увазі... Якщо все це працює, це справді вражає, правда? Зараз у мене робота над завершенням роботи з вантажем і скриптами для збірки хоста. Він стверджує, що наразі зміг компілювати rust-base64, regex та serde_json з наведеними вище обмеженнями. Вони всі ще в самому розпалі подій, тож це лише попередні спостереження. Я надзвичайно схвильована цим