You are viewing a single comment's thread from:
RE: The First Million-Person Conversation [Interview Ohad Asor of Tau-Chain]
This is truly a cutting-edge project. All the time I've spent learning about his project all year long has been very fulfilling! There's also a TML playground to check out recently: https://github.com/IDNI/tml_playground / https://tml.klapka.cz/.
Edit: dear readers, please re-read the updated interview here (this post ain't updated): https://thecreativecrypto.com/the-first-million-person-conversation-interview-ohad-asor-of-tau-chain/
it looks like logic programming to me, any more in depth explanation on TML? kinda interesting project to be explore.
Yea it is, can check out the blog http://www.idni.org/blog/, and https://github.com/IDNI/tau. For starters can read up on descriptive complexity, finite model theory, the halting problem, etc. Anyway, the blog posts are good imo and pretty much indicates the range of topics required to dig into it.