A lot of progress has been made by the TML developers in the past month. The first actual TML app has been written and there is now a TML bot written in TML. This TML bot has a lot of potential strategically to interface with many popular networks and also offers the first proof of concept for what TML is capable of while the meta language is being improved.
The TML Bot works essentially similar to what is called a listener in Prolog. It receives commands under the read, eval, print, loop, paradigm. This paradigm is powerful enough to allow for all the communications necessary to try out Tau and build TML toward practical utility.
The TML Bot also recently achieved consensus detection. The consensus detection feature is a critical feature for scaling discussions and having this achieved is a big milestone for the project. So in 2019 in the final week we got to see the first TML program written in TML (TML Bot) and the first consensus detection. In 2020 we have a major effort going toward getting second order logic achieved in TML so that it's very much easier to communicate and program the TML Bot. The Tau Alpha discussion platform is also still in development as well and finally the effort toward implementing knowledge representation and reasoning.
https://github.com/IDNI/TML
https://github.com/IDNI/Tau-Alpha/blob/master/irc/taubot.tml
https://twitter.com/TauChainOrg/status/1212022094562615296
- TauChainOrg
