А что такое PyPy.js? Я правильно понял, что это интерпретатор питона, написанный на питоне, крутящийся на интерпретаторе питона RPython, который странслированн в js и крутится в интерпретаторе JavaScript?
В двух словах: js-бэкэнд для pypy (через emscripten). И этот пропагандист расширяющих сознание веществ пропустил сам интерпретатор pypy через него, получив 139 метров отборнейшего жабоскрипта и назвав их pypy.js. Через год доведено до 25 метров и достигнут сабж.
Надо добавить в JS возможность выполнить произвольный блок кода на C/C++, и всем будет счастье (а дистрибутивы браузеров распухнут на 200MiB за счёт clang+llvm, да).
Отлично, просто великолепно. А то, я гляжу, нас такими темпами в скором времени ждёт что-то вроде ASP.Mono.asm.js, а движок JS будет единым для всех браузеров и динамически подгружаемым из сети. Он будет скомпилирован в LLVM IR и выполняться в песочнице под NaCl.
И по сравнению с этим какие-нибудь ОС в managed-коде будет казаться детской игрушкой. (Хотя нет, они будут на этом всём выполняться.)