RE: Demo coming soon? Tau Meta Language in C++ updated on Github. by bobinson

View this thread on: hive.blog | peakd.com | ecency.com

Viewing a response to: @kevinwong/demo-coming-soon-tau-meta-language-in-c-updated-on-github

blockchain · @bobinson · Oct 1 '18

$0.47

so, we have the language of langues.  I am new to Tao - but after going through many things like eSML for the smart contract "translation" this looks interesting. Thank you for sharing!

👍 kevinwong, etherpunk, maxhodl, capitanart

`author`	bobinson
`permlink`	re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t120317993z
`category`	blockchain
`json_metadata`	{"tags":["blockchain"],"app":"steemit/0.1"}
`created`	2018-10-01 12:03:21
`last_update`	2018-10-01 12:03:21
`depth`	1
`children`	5
`last_payout`	2018-10-08 12:03:21
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.354 HBD
`curator_payout_value`	0.116 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	185
`author_reputation`	55,343,141,313,811
`root_title`	"Demo coming soon? Tau Meta Language in C++ updated on Github."
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	72,408,952
`net_rshares`	238,458,066,867
`author_curate_reward`	""

properties (23)vote details (4)

voter	rshares	pct
kevinwong	211,272,856,887	3%
etherpunk	24,262,351,799	100%
maxhodl	1,535,447,606	100%
capitanart	1,387,410,575	100%

@bitcointip · Oct 1 '18

I always find your posts refreshful and immaculately clean of the contrived eagerness of some Steemit advocates and honestly filled with genuine enthusiasm. I also appreciate the deeper, more open-minded and philosophical way you look at things and your passion for truth.

👎 etherpunk

`author`	bitcointip
`permlink`	re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t212205895z
`category`	blockchain
`json_metadata`	{"tags":["blockchain"],"app":"steemit/0.1"}
`created`	2018-10-01 21:22:06
`last_update`	2018-10-01 21:22:06
`depth`	2
`children`	0
`last_payout`	2018-10-08 21:22:06
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.000 HBD
`curator_payout_value`	0.000 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	272
`author_reputation`	-596,771,209,212
`root_title`	"Demo coming soon? Tau Meta Language in C++ updated on Github."
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	72,438,439
`net_rshares`	-7,395,431,563
`author_curate_reward`	""

properties (23)vote details (1)

voter	weight	wgt%	rshares	pct	time
etherpunk	0 B		-7,395,431,563	-31%

@kevinwong · Oct 1 '18 (edited)

$0.02

TML is definitive for "smart contracts" as it's a hypothesized language of law, in that it needs:-
1. To be able to refer to itself (self-reference)
2. To be decidable (this rules out turing-complete languages)
3. To support negation (With 1 & 2, we end up with two possibilities when it comes to choosing the type of logic which is [FO[PFP]](https://en.wikipedia.org/wiki/FO_(complexity)) and [FO[LFP]](https://en.wikipedia.org/wiki/FO_(complexity)). Requirement 3 is only possible with FO[PFP])

Which is why TML is based on FO[PFP]. It's also worth noting that TML is not one single universal language as it can redefine itself and change over time, from block to block.

Check out these blogposts in regards to language:
- http://www.idni.org/blog/tau-and-the-crisis-of-truth.html
- http://www.idni.org/blog/the-art-of-self-reference.html
- http://www.idni.org/blog/the-new-tau.html

👍 bobinson

`author`	kevinwong
`permlink`	re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t143649222z
`category`	blockchain
`json_metadata`	{"tags":["blockchain"],"links":["https://en.wikipedia.org/wiki/FO_(complexity)","http://www.idni.org/blog/tau-and-the-crisis-of-truth.html","http://www.idni.org/blog/the-art-of-self-reference.html","http://www.idni.org/blog/the-new-tau.html"],"app":"steemit/0.1"}
`created`	2018-10-01 14:36:48
`last_update`	2018-10-01 14:40:36
`depth`	2
`children`	3
`last_payout`	2018-10-08 14:36:48
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.016 HBD
`curator_payout_value`	0.005 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	886
`author_reputation`	621,253,570,295,288
`root_title`	"Demo coming soon? Tau Meta Language in C++ updated on Github."
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	72,417,589
`net_rshares`	11,566,779,176
`author_curate_reward`	""

properties (23)vote details (1)

voter	weight	wgt%	rshares	pct	time
bobinson	0 B		11,566,779,176	100%

@bobinson · Oct 1 '18 (edited)

I need to call “Ullman and Aho” for help!

I remember reading something about Tau in a discussion regarding WREN and Smart contracts in STEEM

Quick question: formal verification of this language with something like F* will be possible ?

properties (22)

`author`	bobinson
`permlink`	re-kevinwong-re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t145435005z
`category`	blockchain
`json_metadata`	{"tags":["blockchain"],"app":"steemit/0.1"}
`created`	2018-10-01 14:54:36
`last_update`	2018-10-01 14:55:57
`depth`	3
`children`	2
`last_payout`	2018-10-08 14:54:36
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.000 HBD
`curator_payout_value`	0.000 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	237
`author_reputation`	55,343,141,313,811
`root_title`	"Demo coming soon? Tau Meta Language in C++ updated on Github."
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	72,418,629
`net_rshares`	0

@kevinwong · Oct 1 '18

Yup ultimately it depends on the nature of F*, here's the excerpt about internet of languages taken from the website:-

> There is no single best language for all purposes, which is the reason we're building the Tau Meta Language (TML): a language intended to define other languages and translate between them while maintaining the same information. TML allows seamless communication and semantic translation between programming languages, knowledge representation languages, visualization and organization formats, domain-specific languages, and more.

properties (22)

`author`	kevinwong
`permlink`	re-bobinson-re-kevinwong-re-bobinson-re-kevinwong-demo-coming-soon-tau-meta-language-in-c-updated-on-github-20181001t153951350z
`category`	blockchain
`json_metadata`	{"community":"busy","app":"busy/2.5.6","format":"markdown","tags":["blockchain"],"users":[],"links":[],"image":[]}
`created`	2018-10-01 15:39:51
`last_update`	2018-10-01 15:39:51
`depth`	4
`children`	1
`last_payout`	2018-10-08 15:39:51
`cashout_time`	1969-12-31 23:59:59
`total_payout_value`	0.000 HBD
`curator_payout_value`	0.000 HBD
`pending_payout_value`	0.000 HBD
`promoted`	0.000 HBD
`body_length`	552
`author_reputation`	621,253,570,295,288
`root_title`	"Demo coming soon? Tau Meta Language in C++ updated on Github."
`beneficiaries`	`[]`
`max_accepted_payout`	1,000,000.000 HBD
`percent_hbd`	10,000
`post_id`	72,421,455
`net_rshares`	0

1 reply