Yeah it seems incredibly ambitious. It doesn't seem like there is a clear path to achieving a lot of their goals - especially seeing how difficult some of these goals are having watched rust-lang develop. That said, would love to see them pull the rabbit out of the hat :)