Initial Benchmarks show that TML is beating XSB and Souffle

https://github.com/tomasklapka/tml_benchmarking

TML is at least several times faster in speed while using comparable amounts of memory.

TML is also superior in that it offers unstratified negation, something that is extremely useful and whose absence is considered to be one of the biggest limitations of Datalog.

For more information: https://www.reddit.com/r/tauchain/comments/ayydl1/initial_benchmarks_tml_beats_xsb_and_souffle/

Sorry to hear. Your best bet is to contact their support directly to see if anything can be done about it.

Of course for future reference, I don't recommend leaving any substantial amount of tokens on an exchange over an extended period of time.

Nice to see another exchange and it looks like 24 hr volume has been 4x Chaoex. Never used ZB Mega but this looks like only USDT.

Mainnet soon?

I haven't seen an Ohad video in years. Probably 2016.

wuouuuu,,,, i can't waint for a discussion platform working....it will be huge

you can see the roadmap in http://www.idni.org/ ....also,,,the telegram group chat is very active...https://t.me/tauchain

it will take some time but we all expect to be worthit
hope it doesn't take another 4 years tho

Why did you not advertise a long time ago It should have speed up the progress of the project. why just now? what's the reason? Years of experience does not totally reflect once's the ability to perform so Ohad should test them first if they pass.

How many BTC Ohad Asswhore took?
He was selling 10 000 Agoras for 1 BTC...
Thousands of BTC in his pocket and this is the results.
Scamming POS.

Tau Chain July's update video is out!

https://www.youtube.com/watch?v=o3_rDdy-iLo

Fola

- Two very experienced C++ developers are joining the team - Dragan who you've already heard about, and another is being finalized and expected to officially join very soon.

- Changing regulatory conditions have compelled us to adopt KYC measures. We'd really appreciate it if the community will support us by going through KYC if they've brought from Ohad directly, and they'll be asked to if they intend to buy directly from us in the future.

Ohad

- Dragan proved his technical understanding by converting complex recursion found in Ohad's TML code into iteration.

- Tomas has continued to develop the discussion platform. Development of TML and discussion platform have been happening in parallel.

- Caching technique for optimization mentioned in the last update terms out to be deceptively difficult as its actually an NP-Complete problem: conjunctive query minimization/containment. The difficulty of this problem is compounded furthermore by negation which we do want to support. However, the upside is it can potentially improve performance by orders of magnitudes as well as improving consensus detection in the discussion platform - we would not only be able to detect consensus among facts, but to some extent rules as well (which is generally undecidable).

Isar

- We are prioritizing trying to get it listed on a reputable US exchange and KYC will help with this. Unfortunately OpenLedger will be delisting us due to lack of volume, but seeing as we were getting almost no volume on that particular exchange, we anticipate the impact of this to be minimal.

- Community website is in the final stretch, just some legal disclaimers and articles to be linked. So far, most people prefer tau.social to be the domain name. We're open to other suggestions.