3 ms·

Yep. It's a high-risk project, but the pay-off could be huge (both for programming languages and browsers) if they pull it off.