I've been somewhat keeping up with Tau and checking the subreddit occasionally and slowly starting to grasp it all. I saw your comment about the IDNI for routers space and that REALLY caught my eye.
You are viewing a single comment's thread from:
I've been somewhat keeping up with Tau and checking the subreddit occasionally and slowly starting to grasp it all. I saw your comment about the IDNI for routers space and that REALLY caught my eye.
Ohad doesn't miss much when it comes to his design
tau is far more advanced and technical than I've given it credit for
a decidable, self defining logical TML is not easy, it'll take someone like me years to even understand that something like this has provable pspace maximum expressiveness
The guy is a super genius. Keep an eye on the github updates and do check out the explanatory blog of Ohad's http://www.idni.org/blog/the-new-tau