Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress by dana-edwards

View this thread on steempeak.com
· @dana-edwards · (edited)
$57.23
Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress
Someone asked over social media why anyone would want to hold onto AGRS tokens merely due to faith in Ohad Asor. This is a good question to ask and a good time to ask it. I'll explain first why I'm holding and then explain how it is important to understand what you invest in.

I hold AGRS because I've communicated with Ohad Asor and he is one of the rare people who is better at research and development than I am. In fact, he is the best I've met so far in the crypto community at that specifically. R&D is the most critical component in software design and we see over and over again if they get that wrong projects are doomed. One of the strengths of Steemit, EOS, etc, is that Dan Larimer is very good at conducting both R&D and at writing the code. 

Tauchain currently and unfortunately requires a Phd level understanding of computer science to get very excited about. This is not so good for people who do not really understand their investments but it means that you have the option to ask people who do have Phd level knowledge to either explain Tauchain to you or some aspect of these concepts which I'll list below. 

The concepts to understand in order to see what Ohad is attempting on Github
-----

- [Compiler-compilers](https://en.wikipedia.org/wiki/Compiler-compiler).
- [Partial fixed point logic (necessary to understand TML)](https://en.wikipedia.org/wiki/Least_fixed_point).
- [Tuples](https://en.wikipedia.org/wiki/Tuple) and [N3](https://en.wikipedia.org/wiki/Notation3) (necessary to understand TML).
- [Abstract syntax tree](https://en.wikipedia.org/wiki/Abstract_syntax_tree).
- [Context sensitive grammar](https://en.wikipedia.org/wiki/Context-sensitive_grammar) (necessary to understand the Earler parser).
- [Partial evaluation](https://en.wikipedia.org/wiki/Partial_evaluation). 

 These concepts may be abstract but they all work together to allow for you the user to input both a document and a grammar into TML and receive a useful output. You have the power of partial evaluation with Futamura Projection. Without going into too much detail here, what it will allow is for the user to provide the input document defining the language and a source code. The first document is the "interpreter" to parse the source code.

So if we look at Github we can see Ohad has completed a rough yet functional implementation of the TML with partial fixed point logic and partial evaluation. The [Earley parser](https://github.com/IDNI/tau/tree/master/parser) takes the source code which is always a string, and parses it. This quote from Wikipedia explains it better:

> In computer science, the Earley parser is an algorithm for parsing strings that belong to a given context-free language, though (depending on the variant) it may suffer problems with certain nullable grammars.[1] The algorithm, named after its inventor, Jay Earley, is a chart parser that uses dynamic programming; it is mainly used for parsing in computational linguistics. It was first introduced in his dissertation[2] in 1968 (and later appeared in abbreviated, more legible form in a journal[3]).

In developing compilers we use the grammar to define the syntax of a programming language. TML will require a grammar defining the syntax of the language you want to use and also the source code which are the commands. The AST is an abstract representation of the source code and the logic is applied are part of the syntax analysis phase of compiling. If I did not explain this sufficiently, I apologize as this is again something complicated and requires a lot of prerequisite knowledge.

The point being that if you really want to understand why some of us are so excited about what Ohad Asor is attempting to do then the only way to truly grasp what is at stake is to do the necessary learning. Learn as much as you can about your investment. Study the concepts you have to study in order to keep up with what happens on Github. You don't have to trust the experts if you're willing to gather the knowledge to become an expert yourself. This means reading at minimum all the Wikipedia entries and at maximum it could mean spending hundreds of hours watching Youtube videos, reading academic journals, like some of us have been doing.

If you do not want to invest the time and energy to truly understand Tauchain then maybe it is better that you do not buy a token you cannot understand. Simply wait for it to reach a stage to where you can see what it can do for yourself before making a decision. Do not consider this post or these comments as investment advice but merely a suggestion to use caution with regard to how you spend your money if you do not understand what you are getting into.


References
---
1. http://www.cs.dartmouth.edu/~mckeeman/cs48/mxcom/doc/Grammar.html
2. https://gist.github.com/tomykaira/3159910
3. https://github.com/IDNI/tau

None of this post should be considered to be investment advice. This was posted for educational purposes.
👍  , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , and 174 others
properties (23)
post_id35,414,848
authordana-edwards
permlinktauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress
categorytauchain
json_metadata{"app":"steemit\/0.1","format":"markdown","links":["https:\/\/en.wikipedia.org\/wiki\/Compiler-compiler","https:\/\/en.wikipedia.org\/wiki\/Least_fixed_point","https:\/\/en.wikipedia.org\/wiki\/Tuple","https:\/\/en.wikipedia.org\/wiki\/Notation3","https:\/\/en.wikipedia.org\/wiki\/Abstract_syntax_tree","https:\/\/en.wikipedia.org\/wiki\/Context-sensitive_grammar","https:\/\/en.wikipedia.org\/wiki\/Partial_evaluation","https:\/\/github.com\/IDNI\/tau\/tree\/master\/parser","http:\/\/www.cs.dartmouth.edu\/~mckeeman\/cs48\/mxcom\/doc\/Grammar.html","https:\/\/gist.github.com\/tomykaira\/3159910","https:\/\/github.com\/IDNI\/tau"],"tags":["tauchain","crypto-news","crypto"]}
created2018-02-26 21:44:30
last_update2019-07-10 05:12:54
depth0
children14
net_rshares10,140,788,126,983
last_payout2018-03-05 21:44:30
cashout_time1969-12-31 23:59:59
total_payout_value47.674 SBD
curator_payout_value9.552 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length4,964
author_reputation348,515,599,824,762
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
author_curate_reward""
vote details (238)
@atjehsteemit ·
Very nice post and great article.. Thanks for share it..
properties (22)
post_id35,415,154
authoratjehsteemit
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180226t214634583z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-02-26 21:46:36
last_update2018-02-26 21:46:36
depth1
children0
net_rshares0
last_payout2018-03-05 21:46:36
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length56
author_reputation1,133,559,822,277
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@holybranches ·
Men this thing, the concepts... in fact I choose to follow Tau with **faith.** I've read @trafalgar's analysis of the past, read @kevinwong's and now yours, still doesn't mean I can explain it to a kid but one thing is undeniable: it's a great project. That's the feeling I end up with each time I read any update. I may not get the intricascies but the overall gospel? Hell ya
properties (22)
post_id35,417,581
authorholybranches
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180226t220339217z
categorytauchain
json_metadata"{"app": "steemit/0.1", "users": ["trafalgar", "kevinwong"], "tags": ["tauchain"]}"
created2018-02-26 22:03:45
last_update2018-02-26 22:03:45
depth1
children0
net_rshares0
last_payout2018-03-05 22:03:45
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length377
author_reputation9,073,561,303,305
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@holybranches ·
>This means reading at minimum all the Wikipedia entries and at maximum it could mean spending hundreds of hours watching Youtube videos, reading academic journals, like some of us have been doing.

This just great and golden. Thanks!
properties (22)
post_id35,417,970
authorholybranches
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180226t220618699z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-02-26 22:06:24
last_update2018-02-26 22:06:24
depth1
children0
net_rshares0
last_payout2018-03-05 22:06:24
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length234
author_reputation9,073,561,303,305
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@mickyscofield ·
The skepticisms usually arose from fears and worries about too many tokens popping up by the day.
The strategic tip is not to invest in what you do not understand.
I will check out "tauchain"
properties (22)
post_id35,418,145
authormickyscofield
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180226t220736102z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-02-26 22:07:45
last_update2018-02-26 22:07:45
depth1
children1
net_rshares0
last_payout2018-03-05 22:07:45
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length191
author_reputation1,871,639,586,369
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@dana-edwards ·
Feel free to communicate directly with Ohad and participate in the research if you really want to learn at the deepest level how Tauchain is being built and what it is: https://www.irccloud.com/invite?channel=%23%23idni&hostname=irc.freenode.net&port=6667
properties (22)
post_id35,486,028
authordana-edwards
permlinkre-mickyscofield-re-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180227t052810715z
categorytauchain
json_metadata"{"app": "steemit/0.1", "links": ["https://www.irccloud.com/invite?channel=%23%23idni&hostname=irc.freenode.net&port=6667"], "tags": ["tauchain"]}"
created2018-02-27 05:28:12
last_update2018-02-27 05:28:12
depth2
children0
net_rshares0
last_payout2018-03-06 05:28:12
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length255
author_reputation348,515,599,824,762
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@mrsfox ·
Ohad, when did you begin your career in software development?
👍  
properties (23)
post_id35,418,448
authormrsfox
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180226t220951080z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-02-26 22:09:51
last_update2018-02-26 22:09:51
depth1
children1
net_rshares3,208,481,288
last_payout2018-03-05 22:09:51
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length61
author_reputation1,540,911,788,856
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
author_curate_reward""
vote details (1)
@dana-edwards ·
If you want to communicate with Ohad you may do so by going to this website: https://www.irccloud.com/invite?channel=%23%23idni&hostname=irc.freenode.net&port=6667

, log in and ask for Ohad. 

He usually goes by Naturalog.
properties (22)
post_id35,485,868
authordana-edwards
permlinkre-mrsfox-re-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180227t052659354z
categorytauchain
json_metadata"{"app": "steemit/0.1", "links": ["https://www.irccloud.com/invite?channel=%23%23idni&hostname=irc.freenode.net&port=6667"], "tags": ["tauchain"]}"
created2018-02-27 05:27:00
last_update2018-02-27 05:27:00
depth2
children0
net_rshares0
last_payout2018-03-06 05:27:00
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length223
author_reputation348,515,599,824,762
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@justtryme90 · (edited)
The delisting from bittrex is making now a great opportunity to stack up on agrs. Especially for those who think that Ohad will succeed in developing tau chain.
properties (22)
post_id35,418,661
authorjusttryme90
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180226t221121476z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-02-26 22:11:21
last_update2018-02-26 22:11:42
depth1
children0
net_rshares0
last_payout2018-03-05 22:11:21
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length160
author_reputation140,173,741,834,676
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@carlos0128 ·
Bueno la verdad es que te felicito  @dana-edwards porque yo trate de entenderte, y no pude, por supuesto, es muy profundo para mi este tema
properties (22)
post_id35,428,945
authorcarlos0128
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180226t232828782z
categorytauchain
json_metadata"{"app": "steemit/0.1", "users": ["dana-edwards"], "tags": ["tauchain"]}"
created2018-02-26 23:23:21
last_update2018-02-26 23:23:21
depth1
children0
net_rshares0
last_payout2018-03-05 23:23:21
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length139
author_reputation1,533,047,303
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@mindhawk ·
I guess after reading this I wonder what the problems are the tech is supposed to overcome and what the objectives of the coin are.  I feel that most non-btc coins don't really offer new functionality behind hype. 

I feel btc offers anonymity and resilience, and some mystique.  Most other coins ie LTC, eth, doge, dash all seem to be just trying to be a different form of currency that will be worth a dollar.  bts and steem seem like they offer the ability to make true value transactions based on content.  But all of these coins seems like they will never truly be scarce and their owners, outside of bts who has a community thing going on for devel, are heavily premined meaning the people who got their first are going to be continually dumping. 

Will tau be anon? Will it be scarce?  Is it intended to be a currency or investment that goes 'to the moon?'  All the tech in the world don't mean much if it's just another kindof public dollar or fashion statement.  

So what are the objectives of the project?  Where can i buy besides open.agrs on bts?  (of which currently there are none to buy....)
properties (22)
post_id36,235,308
authormindhawk
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180302t151611685z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-03-02 15:16:15
last_update2018-03-02 15:16:15
depth1
children2
net_rshares0
last_payout2018-03-09 15:16:15
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length1,107
author_reputation1,023,292,992,280
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@dana-edwards ·
Tau is not a coin. TML is a new language. Like how HTML was a language which allowed for the birth of the WWW. TML is a Meta Language which will allow for an advance on a similar scope as the birth of the WWW.  Bitcoin isn't a programming language and is an app. Bitcoin is a great app, but as an app it can be implemented in any language including TML. So now you see the distinction?

Ethereum has a smart contract language called Solidity. Tezos has a smart contract language as well but designed to be more secure. EOS and Cardano will also provide progammability. None of these languages are as powerful or has as much flexibility as TML. So the first goal of Ohad is to produce the best possible language from which to write apps in and then Agoras will be the first app after Tauchain itself.

Tauchain is not Tau. Tauchain is to be written in TML. There are competitors and the main competitors are Cardano and EOS. EOS in specific utilizes Web Assembly but this in my opinion has a lot of unknown risks in and of itself. The problem with EOS and Cardano is that expertise is centralized around core developers. You have to be an expert to do certain things. The advantage TML will have is you will not have to be an expert.

Remember, Tauchain is not a Coin, it's not even a cryptocurrency. Tauchain is more important than cryptocurrency. TML is to be the language Tauchain will be written in.
👍  ,
properties (23)
post_id36,344,401
authordana-edwards
permlinkre-mindhawk-re-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180303t041653549z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-03-03 04:16:54
last_update2018-03-03 04:16:54
depth2
children1
net_rshares1,469,738,027
last_payout2018-03-10 04:16:54
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length1,402
author_reputation348,515,599,824,762
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
author_curate_reward""
vote details (2)
@mindhawk ·
This is informative, thanks.  

This is why the talk of compilers.  

Will TML, tauchain, agoras, offer both anonymity and the ability to be a verified individual?  Will it offer access to the darkweb?  Will it offer the ability to organize into groups similar to B. Brown's Pursuance Project?  

Ultimately I am most concerned about the current extreme difficulty in verifying anything and the current ease with which powerful, wealthy interests subvert every citizen effort, preventing any individual from having any power whatsoever other than their function in a system that is more machine than human.  

Like, I thought when I woke up this morning, how hard would it be for spooks to create some mythical coder as a story to wrap up their next DARPA release.  

I am quite frankly having a difficulty believing anything on the internet at the moment, is assange assange?  Is segwit good or bad?  Has a single actual human read my blog?  

We are truly in age of crisis as pertains to the individual human's attempt to understand the world.
properties (22)
post_id36,383,336
authormindhawk
permlinkre-dana-edwards-re-mindhawk-re-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180303t091112508z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-03-03 09:11:15
last_update2018-03-03 09:11:15
depth3
children0
net_rshares0
last_payout2018-03-10 09:11:15
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length1,045
author_reputation1,023,292,992,280
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@ahmadin8 ·
I like your post
I am follow you
properties (22)
post_id36,571,129
authorahmadin8
permlinkre-dana-edwards-201834t153133575z
categorytauchain
json_metadata"{"app": "esteem/1.5.1", "format": "markdown+html", "community": "esteem", "tags": ["tauchain", "crypto-news", "crypto"]}"
created2018-03-04 08:31:39
last_update2018-03-04 08:31:39
depth1
children0
net_rshares0
last_payout2018-03-11 08:31:39
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length32
author_reputation-13,698,299,792
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries
0.
accountesteemapp
weight1,000
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000
@sciencevienna ·
I love that 
>Simply wait for it to reach a stage to where you can see what it can do for yourself before making a decision.

because we are all experienced to a certin extent, experts in our own field. And our field is always not that easy to explain or grasp. Thanks for that diligent formulated blogpost!! Very appealing
properties (22)
post_id42,952,749
authorsciencevienna
permlinkre-dana-edwards-tauchain-is-not-easy-to-understand-but-here-are-some-concepts-to-know-to-track-ohad-s-progress-20180410t171108764z
categorytauchain
json_metadata"{"app": "steemit/0.1", "tags": ["tauchain"]}"
created2018-04-10 17:11:06
last_update2018-04-10 17:11:06
depth1
children0
net_rshares0
last_payout2018-04-17 17:11:06
cashout_time1969-12-31 23:59:59
total_payout_value0.000 SBD
curator_payout_value0.000 SBD
pending_payout_value0.000 SBD
promoted0.000 SBD
body_length323
author_reputation6,358,187,535,472
root_title"Tauchain is not easy to understand but here are some concepts to know to track Ohad's progress"
beneficiaries[]
max_accepted_payout1,000,000.000 SBD
percent_steem_dollars10,000