You are viewing a single comment's thread from:
RE: The first instance of Tau MetaLanguage (TML) has appeared on Github!
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.
It Works! https://github.com/IDNI/tau/blob/master/example
This is what it computes:
The version TML computes is a slight variation but based on the same concepts.
Also we cannot forget Henrik Imhof's work on partial fixed point logic which seems very relevant for TML. The logic is something I'm unfamiliar with so I don't discuss it in detail in this post but it is something critical for the self defining property of TML. This is something for Ohad to describe best in my opinion because logic is not standard knowledge common for programmers.
The fact that the code works represents a breakthrough because it's a practical implementation where "the proof is in the pudding" as they say.