1. 4

Stumbled across this and have a hard time evaluating it given (1) all the jargon and (2) my lack of experience with PLT. Can somebody weigh on whether this is a promising project or a bunch of hoopla?


  2. 2

    It doesn’t look like Hoopla from the readme. Hoopla’s syntax is quite a bit cleaner.


    The Github page seems reasonable enough. Datalog is a logic language. It expresses relations (as tuples) and allows inferences based on them. It’s not a general-purpose programming language. It would be good for constructing and querying a model of reality (what we used to call expert systems.)

    Tau claims to handle negation, where you make a statement like “there does not exist a y such that y = x”. Negation is historically difficult to handle.

    The author makes a claim about evaluation in PSPACE (“can be evaluated by a Turing machine in polynomial space”) instead of P (polynomial time).

    It’s the idni.org site that sets my BS detector jangling.

    1. 3

      It’s the idni.org site that sets my BS detector jangling.

      From the site:

      Tau is a decentralized blockchain network intended to solve the bottlenecks inherent in large scale human communication and accelerate productivity in human collaboration using logic based Artificial Intelligence.

      Well that didn’t take long!

    2. 0

      There is no single best language for all purposes which is why we build the Tau Meta Language (TML): a language intended to define other languages and translate between them while maintaining the same information. TML allows seamless communication and semantic translation between programming languages, knowledge representation languages, visualization and organization formats, domain-specific languages, and more.

      y i k e s

      Agoras will be a fully featured intelligent economy revolving around the production, distribution and pricing of knowledge, thereby aligning monetary incentives with Tau’s capabilities over which it is constructed.

      more y i k e s