Nice demo. But unsurprisingly, if something is Turing complete, you can do rendering in it, too. The bigger question is - why did we get into this sad situation

Nice demo. But unsurprisingly, if something is Turing complete, you can do rendering in it, too. The bigger question is - why did we get into this sad situation where "web" and "performance" are antonyms? The standard answer would be that you need full control over the machine to get performance, and you really don't want to give full control over the web for security reasons. But this answer is false. We just need more advances in code validation, e.g. something that would prove a piece of code cannot do system calls.