This project is very different from anything else out there

A self defining, decidable logic under pspace that acts as a compiler-compiler is very non trivial and took years of research, and now he's achieved the centerpiece that will allow for a lot of extraordinary features to come

Ohad will be releasing a set of explanations soon that will detail this and I'm looking forward to it. 

This guy is truly something else, he's the smartest person with whom I've ever interacted and I'm glad I found out about the project through your posts.