Pages:
Author

Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network - page 24. (Read 309759 times)

newbie
Activity: 11
Merit: 0
Why does the website seem completely basic and un-updated for over 2 years? Am I looking at the correct website?
newbie
Activity: 19
Merit: 0
I have done lots of research to find this coin and since there are so many new coins and icos which I can't follow I wonder if fellow agoras holders have any good coins to recommend Smiley


Only skycoin, i knew it because someone in tauchain's thread mention it as a long(time) project.

Ps *broken english

Thanks man, I've added nice christmas stash to my longterm portfolio. Smiley
member
Activity: 116
Merit: 10
I have done lots of research to find this coin and since there are so many new coins and icos which I can't follow I wonder if fellow agoras holders have any good coins to recommend Smiley

check out Enigma, long term potential
newbie
Activity: 19
Merit: 0
I have done lots of research to find this coin and since there are so many new coins and icos which I can't follow I wonder if fellow agoras holders have any good coins to recommend Smiley


Only skycoin, i knew it because someone in tauchain's thread mention it as a long(time) project.

Ps *broken english
newbie
Activity: 19
Merit: 0
I have done lots of research to find this coin and since there are so many new coins and icos which I can't follow I wonder if fellow agoras holders have any good coins to recommend Smiley
newbie
Activity: 56
Merit: 0
this is a huge project. i can foresee it hitting $1,000 in years to come! Ohad is a true genius, no doubt.
newbie
Activity: 28
Merit: 0
can't belive ohad finally released the code.

i am so excited Smiley !!!

following this project almost for one year and finally this moment has come.

looking forward to 2018 guys
sr. member
Activity: 672
Merit: 250
DeepOnion
I collected 3000 AGRS and I will come back to see the value one year later. 100$ for each AGRS? 50$ Probably. Grin Grin
Good luck to you all.
full member
Activity: 244
Merit: 100
I am so excited that Tau codes out .Thanks Ohad for your hard work. Looking forward to the next new future.
sr. member
Activity: 397
Merit: 250
Luckily for me I happened to check in just as this got announced and doubled down on my Agoras.
Still underwater in BTC terms for now but I know this isn't going to matter when Tauchain comes to fruition.
newbie
Activity: 30
Merit: 0
I leave my summary of TML.

TML (Tau Meta-Language) is the main language of the Tau platform whose function is to allow the developers to create other languages ​​that will be used by normal users. TML is a language of language processing and you can translate the format to the relationships and from there to any other format or program.

TML can also be explained as the simple reasoner or meta language of Tau able to reason about many languages ​​across the entire network in a decidable way. It is like a special programming language with decidable and self-defined logic under the expressiveness of pspace that was only designed to translate from the X language to the Y language through the definition of the logical relationship between languages.

It is as if Tau is structured Pipes that in this case would be the languages ​​that connect and make up the internet of languages.

Tau will be like a kind of translator for the machines so that they can understand each other and through TML process languages ​​that will have to be taught to the individuals that use Tau.

This is the core on which everything else will be built, including the blockchain network, which will happen as Tau approaches completion. Thanks to TML, languages ​​can evolve and be updated.

Advanced users develop languages ​​using TML as a tool and normal users will use those languages ​​within the Tau platform, since until now no one knows how to formalize natural languages.

The Tau network will be able to translate from one language to another and as more languages ​​are developed, advanced users will be able to develop languages ​​that are easier for normal users to use. The advantage that normal users learn one of these languages ​​and use them within Tau is that they can communicate with each other with the machine, as Tau can understand them and learn from them to help them later. Ohad Asor, main developer of Tauchain, names this phenomenon as the internet of languages.

The internet of languages ​​will be only the lower layer of Tau. The upper layers are discussion (Alpha), collaboration and automatic code programming (Beta), self-amendment (Tau) and later the knowledge economy (agora).

Conclusion: We could explain TML as a generic language processor or a language for language.
newbie
Activity: 42
Merit: 0
Agoras Token seems to have all the elements necessary to compete with the best with the kind of exciting Project they are working on and also Coin Structure is great. Money flow is missing and it is the essence for creating higher Market Cap and Visibility. Getting listed to more exchanges like Binance and so on will help. Maybe name change / Rebranding? AI Market/Artificial intelligence Platform / Network? or some word which is very catchy and easy to remember could help creating much-needed visibility. Investors are more interested to know about the application of the technology. In simple words Market potential / Value. Let us Hope things will turn around.Thank you Mr.Ohad for this opportunity and for all your hard work.
member
Activity: 116
Merit: 10


Honestly just depends on how well we can get the word out

Tau has IMMENSE potential, far more than any other project out there

And now with the code release, this is very tangible and experts should be able to to draw a straight line between the code and the incredible features which will be highlighted in the explanations

I also think it really depends on how we spread the word. First most important step done, thanks to Ohad. Code it's a real breakthrough, we could't go any further without this first step but most of people doesn't understand it anyways. Now it's not less important to let the world know about it and here comes the concept I already mentioned here before. The idea must be "spreadable" in order to spread. And being spradable means framed in audience worldview, translated to language they understand. After the release of explanation materials I will (and everyone in community should) do my best to simplify it even more and make the story investors, enthusiasts, newbies friendly so they can spread it further, being even able to explain it to they grandmas. It shouldn't take much effort to average non-tech crypto YouTuber to explain the idea behind Tau in 5-10 minutes video.  Not an easy task I think but we will see better after the explanation materials release.
hero member
Activity: 2744
Merit: 530
https://moon-bot.com
everybody ready for moon Mission?

I'm ready. And when will I fly ?
member
Activity: 71
Merit: 10
everybody ready for moon Mission?
brand new
Activity: 0
Merit: 0
From IRC

my code just computed a transitive closure of a graph for the first time. i mean, it read a tml program that does it, and partially-evaluated it till the correct final result

Exciting times lie ahead for Tau/Agoras

Quote
~/tau$ ./tml < example

-4:1,0
-1:0,0 1,1
4:0,1 1,2
1:0,0 1,0 2,0

unifying edge(?x,?y) with edge(1,2) given  output ?y=2 ?x=1

unifying edge(?y,?z) with edge(1,2) given  output ?z=2 ?y=1
finished iteration 1 program len 2

unifying edge(?x,?y) with edge(2,3) given  output ?y=3 ?x=2

unifying edge(?y,?z) with edge(2,3) given  output ?z=3 ?y=2
finished iteration 1 program len 2

unifying edge(?x,?y) with edge(3,4) given  output ?y=4 ?x=3

unifying edge(?y,?z) with edge(3,4) given  output ?z=4 ?y=3
finished iteration 1 program len 2

unifying path(?x,?y) with path(1,2) given  output ?y=2 ?x=1

unifying path(?x,1) with path(1,2) given
unifying path(?x,2) with path(1,2) given  output ?x=1

unifying path(?x,3) with path(1,2) given finished iteration 1 program len 2

unifying path(?x,?y) with path(2,3) given  output ?y=3 ?x=2

unifying path(?x,1) with path(2,3) given
unifying path(?x,2) with path(2,3) given
unifying path(?x,3) with path(2,3) given  output ?x=2
finished iteration 1 program len 2

unifying path(?x,?y) with path(3,4) given  output ?y=4 ?x=3

unifying path(?x,1) with path(3,4) given
unifying path(?x,2) with path(3,4) given
unifying path(?x,3) with path(3,4) given finished iteration 1 program len 2

unifying path(?x,?y) with path(1,3) given  output ?y=3 ?x=1

unifying path(?x,1) with path(1,3) given
unifying path(?x,2) with path(1,3) given
unifying path(?x,3) with path(1,3) given  output ?x=1
finished iteration 1 program len 2

unifying path(?x,?y) with path(2,4) given  output ?y=4 ?x=2

unifying path(?x,1) with path(2,4) given
unifying path(?x,2) with path(2,4) given
unifying path(?x,3) with path(2,4) given finished iteration 1 program len 2

unifying path(?x,?y) with path(1,4) given  output ?y=4 ?x=1

unifying path(?x,1) with path(1,4) given
unifying path(?x,2) with path(1,4) given
unifying path(?x,3) with path(1,4) given finished iteration 1 program len 2

unifying edge(?x,?y) with edge(1,2) given  output ?y=2 ?x=1

unifying edge(?y,?z) with edge(1,2) given  output ?z=2 ?y=1

unifying edge(2,?z) with edge(1,2) given
unifying edge(3,?z) with edge(1,2) given
unifying edge(4,?z) with edge(1,2) given
unifying edge(3,?z) with edge(1,2) given
unifying edge(4,?z) with edge(1,2) given
unifying edge(4,?z) with edge(1,2) given finished iteration 2 program len 11

unifying edge(?x,?y) with edge(2,3) given  output ?y=3 ?x=2

unifying edge(?y,?z) with edge(2,3) given  output ?z=3 ?y=2

unifying edge(2,?z) with edge(2,3) given  output ?z=3

unifying edge(3,?z) with edge(2,3) given
unifying edge(4,?z) with edge(2,3) given
unifying edge(3,?z) with edge(2,3) given
unifying edge(4,?z) with edge(2,3) given
unifying edge(4,?z) with edge(2,3) given finished iteration 2 program len 11

unifying edge(?x,?y) with edge(3,4) given  output ?y=4 ?x=3

unifying edge(?y,?z) with edge(3,4) given  output ?z=4 ?y=3

unifying edge(2,?z) with edge(3,4) given
unifying edge(3,?z) with edge(3,4) given  output ?z=4

unifying edge(4,?z) with edge(3,4) given
unifying edge(3,?z) with edge(3,4) given  output ?z=4

unifying edge(4,?z) with edge(3,4) given
unifying edge(4,?z) with edge(3,4) given finished iteration 2 program len 11

unifying path(?x,?y) with path(1,2) given  output ?y=2 ?x=1

unifying path(?x,1) with path(1,2) given
unifying path(?x,2) with path(1,2) given  output ?x=1

unifying path(?x,3) with path(1,2) given finished iteration 2 program len 11

unifying path(?x,?y) with path(2,3) given  output ?y=3 ?x=2

unifying path(?x,1) with path(2,3) given
unifying path(?x,2) with path(2,3) given
unifying path(?x,3) with path(2,3) given  output ?x=2
finished iteration 2 program len 11

unifying path(?x,?y) with path(3,4) given  output ?y=4 ?x=3

unifying path(?x,1) with path(3,4) given
unifying path(?x,2) with path(3,4) given
unifying path(?x,3) with path(3,4) given finished iteration 2 program len 11

unifying path(?x,?y) with path(1,3) given  output ?y=3 ?x=1

unifying path(?x,1) with path(1,3) given
unifying path(?x,2) with path(1,3) given
unifying path(?x,3) with path(1,3) given  output ?x=1
finished iteration 2 program len 11

unifying path(?x,?y) with path(2,4) given  output ?y=4 ?x=2

unifying path(?x,1) with path(2,4) given
unifying path(?x,2) with path(2,4) given
unifying path(?x,3) with path(2,4) given finished iteration 2 program len 11

unifying path(?x,?y) with path(1,4) given  output ?y=4 ?x=1

unifying path(?x,1) with path(1,4) given
unifying path(?x,2) with path(1,4) given
unifying path(?x,3) with path(1,4) given finished iteration 2 program len 11
edge(?x,?y)  -> path(?x,?y) .
path(?x,?y) edge(?y,?z)  -> path(?x,?z) .
path(?x,1)  -> path(?x,2) .
path(?x,2)  -> path(?x,3) .
path(?x,3)  -> path(?x,4) .
edge(2,?z)  -> path(1,?z) .
edge(3,?z)  -> path(2,?z) .
edge(4,?z)  -> path(3,?z) .
edge(3,?z)  -> path(1,?z) .
edge(4,?z)  -> path(2,?z) .
edge(4,?z)  -> path(1,?z) .

 -> edge(1,2) .
 -> edge(2,3) .
 -> edge(3,4) .
 -> path(1,2) .
 -> path(2,3) .
 -> path(3,4) .
 -> path(1,3) .
 -> path(2,4) .
 -> path(1,4) .



 Cool

newbie
Activity: 90
Merit: 0
tau certainly can compete with other smart contracts projects at the top and even more because it's a breakthrough.

Smart contracts are honestly <1% of what Tau offers, and even here, it's far superior because it has decidability.

This means that something like the Dao hack or the Parity wallet problem can't happen over Tau because coders can foresee all the outcomes of their programs.

But Tau is so much more than just a decidable smart contract platform.
Pages:
Jump to: