Tau-Chain and Agoras Official Thread: Generalized P2P Network - page 24.

that1guywithpants

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?

avandrim

newbie

Activity: 19

Merit: 0

Quote from: cryptowarz on December 20, 2017, 09:00:54 PM

Quote from: avandrim on December 20, 2017, 07:42:37 PM

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

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.

dmitryshech

member

Activity: 116

Merit: 10

Quote from: avandrim on December 20, 2017, 07:42:37 PM

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

check out Enigma, long term potential

cryptowarz

newbie

Activity: 19

Merit: 0

Quote from: avandrim on December 20, 2017, 07:42:37 PM

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

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

Ps *broken english

avandrim

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

maomew

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.

prometheus_project

newbie

Activity: 28

Merit: 0

can't belive ohad finally released the code.

i am so excited

!!!

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

looking forward to 2018 guys

dmitryshech

member

Activity: 116

Merit: 10

Quote from: Eventine on December 19, 2017, 08:39:06 AM

A Steemit whale has just written about Tau

https://steemit.com/cryptocurrency/@trafalgar/what-is-tau-my-only-other-crypto-investment

Excellent article Roll Eyes

wendelllee

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

Good luck to you all.

candymimi007

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.

Eventine

newbie

Activity: 90

Merit: 0

A Steemit whale has just written about Tau

https://steemit.com/cryptocurrency/@trafalgar/what-is-tau-my-only-other-crypto-investment

sprinkles

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.

victorserrano

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.

ballerbudget

newbie

Activity: 16

Merit: 0

More information on steemit...

https://steemit.com/crypto-news/@dana-edwards/the-first-instance-of-tau-metalanguage-tml-has-appeared-on-github

cInfiniteBtcLetsShare

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.

dmitryshech

member

Activity: 116

Merit: 10

Quote from: Eventine on December 18, 2017, 05:03:36 AM

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.

cryptoman77777

hero member

Activity: 2702

Merit: 528

https://moon-bot.com

Quote from: k3006 on December 18, 2017, 09:19:37 AM

everybody ready for moon Mission?

I'm ready. And when will I fly ?

k3006

member

Activity: 71

Merit: 10

everybody ready for moon Mission?

CryptoScalper

brand new

Activity: 0

Merit: 0

Quote from: Eventine on December 17, 2017, 07:23:56 PM

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) .

Eventine

newbie

Activity: 90

Merit: 0

Quote from: PGPpfKkx on December 18, 2017, 05:42:29 AM

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.

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