KeyMaster
Newbie
Offline
Activity: 89
Merit: 0
|
|
January 08, 2019, 12:00:41 AM |
|
Yes, there are continues updates of the code. But the problem here is how can we know if it is doing what it really intends to do? Having a ballpark status of the tml coding would be great for the community. Thanks!
|
|
|
|
ohad (OP)
|
|
January 08, 2019, 12:30:30 AM |
|
Yes, there are continues updates of the code. But the problem here is how can we know if it is doing what it really intends to do? Having a ballpark status of the tml coding would be great for the community. Thanks!
the status is that the part equivalent to datalog has no more known bugs except performance bugs. in other words, two more things are left to be done: 1. support negation (correctly as the code now handles it incorrectly) 2. improve performance after those two steps tml will be released. i expect it to be highly appealing to various technical groups and needs, e.g. bdd-based (binary decision diagrams) database (cf. datalog with bdd and its advantages), and, apparently the first implementation ever of partial fixed point logic over finite domains, and, a metalanguage that can redefine itself (not easy to come up with such which is decidable!), and, a language adequate to be the language of law. to be the language of law we require 3 things: decidability, self reference (to be able to tell which law or legislation is legal), and ability to change laws with time (i.e. deletion). btw can see the license to use tml in the first lines here https://github.com/IDNI/tau/blob/master/tml.cpp and i intend to ask for payment for commercial/blockchain license in AGRS where applicable. this all in very short. can refer to the last 3 blogposts for more information, or to ask me anything on irc (##idni at freenode), or here.
|
Tau-Chain & Agoras
|
|
|
panzer88
Member
Offline
Activity: 129
Merit: 22
|
|
January 08, 2019, 06:55:38 PM |
|
Yes, there are continues updates of the code. But the problem here is how can we know if it is doing what it really intends to do? Having a ballpark status of the tml coding would be great for the community. Thanks!
the status is that the part equivalent to datalog has no more known bugs except performance bugs. in other words, two more things are left to be done: 1. support negation (correctly as the code now handles it incorrectly) 2. improve performance after those two steps tml will be released. i expect it to be highly appealing to various technical groups and needs, e.g. bdd-based (binary decision diagrams) database (cf. datalog with bdd and its advantages), and, apparently the first implementation ever of partial fixed point logic over finite domains, and, a metalanguage that can redefine itself (not easy to come up with such which is decidable!), and, a language adequate to be the language of law. to be the language of law we require 3 things: decidability, self reference (to be able to tell which law or legislation is legal), and ability to change laws with time (i.e. deletion). btw can see the license to use tml in the first lines here https://github.com/IDNI/tau/blob/master/tml.cpp and i intend to ask for payment for commercial/blockchain license in AGRS where applicable. this all in very short. can refer to the last 3 blogposts for more information, or to ask me anything on irc (##idni at freenode), or here. HAHAHAHHA The taliban Jihad Asshor has come out of hiding with more blah blah lies. Year 2017 he said : 15:25 < naturalog> high quality innovative and useful (for various industries) code will be on github this year that's for sure Now year 2019 he says: "and i intend to ask for payment for commercial/blockchain license in AGRS where applicable." February 2018 he said: 6:16 < naturalog> we got Liaomiao karov isar judith handling lots of things including finding new exchange Any exchange ? What is going on with the thousands BTC you took ? You hired devs?You payed for exchange? You updated your website thats it. Same old 5 clowns parade, Jihad,Karov, Dana Edwards,Miao and Victorc.
|
|
|
|
klipeto
Newbie
Offline
Activity: 3
Merit: 0
|
|
January 19, 2019, 08:46:55 AM |
|
For those who do not know how to compile TML to try it themselves I've created a simple TML playground online with a short introduction and some examples. As Ohad mentioned, only the negation hasn't been supported properly yet, so it gives an error. Stay tuned for new releases The playground is open source.
|
|
|
|
|
KeyMaster
Newbie
Offline
Activity: 89
Merit: 0
|
|
January 21, 2019, 12:58:37 PM |
|
Hi Ohad, that's good news! Another question, how do we know you have achieved your benchmark for improved performance? Thanks!
|
|
|
|
panzer88
Member
Offline
Activity: 129
Merit: 22
|
|
January 21, 2019, 05:25:10 PM |
|
Hi Ohad, that's good news! Another question, how do we know you have achieved your benchmark for improved performance? Thanks!
Dont you think that you can trust him? LOL This guy has fullfilled everything he has said and promised for years now. Dont doubt the great mind , just blindly follow, like the other 15 cult members.
|
|
|
|
ohad (OP)
|
|
January 21, 2019, 06:36:10 PM |
|
Hi Ohad, that's good news! Another question, how do we know you have achieved your benchmark for improved performance? Thanks!
well there are two main measures: 1. if writing the same task in another programming language results in much much faster program, then there's much less of a reason for people to use it, as they could do the same task with another language and better performance. 2. a second measure is to compare to existing datalog implementations. the datalog+bdd combination already proved itself to be better, cf. e.g. here https://www.youtube.com/watch?v=-KZY15tItgQ (note that tml is not datalog but the overlapping part should be competitive)
|
Tau-Chain & Agoras
|
|
|
|
KeyMaster
Newbie
Offline
Activity: 89
Merit: 0
|
|
January 25, 2019, 11:57:42 AM |
|
Let me clear my question, it was a follow-up for the second thing before tml launch.
So after 1. negation is done, next is 2. improved performance,
the improved performance is.. you will test it by yourself and see how fast it is then be satisfied then tml release? or
.. people will test it thru tml playground (thank you klipeto), personally by themselves, and see how fast it is then satisfied and demand it, tml to be release?If yes, are there requirement like for x number of people, then the mark is reach/ the threshold is reached, then the performance is improved, then you will release it.
Sorry I sound not so clear..
Thank you!
|
|
|
|
ohad (OP)
|
|
January 25, 2019, 02:41:14 PM |
|
Let me clear my question, it was a follow-up for the second thing before tml launch.
So after 1. negation is done, next is 2. improved performance,
the improved performance is.. you will test it by yourself and see how fast it is then be satisfied then tml release? or
.. people will test it thru tml playground (thank you klipeto), personally by themselves, and see how fast it is then satisfied and demand it, tml to be release?If yes, are there requirement like for x number of people, then the mark is reach/ the threshold is reached, then the performance is improved, then you will release it.
Sorry I sound not so clear..
Thank you!
i can test it myself, it's not so hard
|
Tau-Chain & Agoras
|
|
|
|
daviidalpert
|
|
January 30, 2019, 08:28:31 AM |
|
I only know that it is a very early cryptocurrency. bittrex is a great exchange.Why does bittrex remove it?Is the team no longer working for it?Is there any other reason?Will the agoras be added to bittrex again?
|
|
|
|
klipeto
Newbie
Offline
Activity: 3
Merit: 0
|
|
January 30, 2019, 10:46:31 AM Last edit: February 01, 2019, 10:15:27 PM by klipeto |
|
I only know that it is a very early cryptocurrency. bittrex is a great exchange.Why does bittrex remove it?Is the team no longer working for it?Is there any other reason?Will the agoras be added to bittrex again? They delisted AGRS about a year ago because it has no utility yet. This time they just removed the wallets. It's just a followup process of delisting. It is expected that once the AGRS gets utility it will be listed again (and wallets will be enabled again). If I understand it well, this is about giving AGRS utility before main net:
|
|
|
|
cybterpunk
|
|
February 03, 2019, 04:14:22 PM |
|
so where the coin been traded now?
|
|
|
|
cybterpunk
|
|
February 03, 2019, 04:33:21 PM |
|
where to trade this coin?
|
|
|
|
mescalito
|
|
February 05, 2019, 10:17:07 PM |
|
where to trade this coin?
One possibility is in this thread
|
|
|
|
|
Eventine
Newbie
Offline
Activity: 90
Merit: 0
|
|
February 19, 2019, 10:08:58 AM |
|
We're happy to announce that Agoras will be listed on ChaoEX in a few days Official Announcement: https://chaoex-en-us.udesk.cn/hc/articles/82905?api_name=ChaoEX is a reputable exchange and is currently top 30 in terms of trade volume on CoinMarketCap Interested investors should consider checking them out and opening a trading account there https://www.chaoex.com
|
|
|
|
Eventine
Newbie
Offline
Activity: 90
Merit: 0
|
|
February 21, 2019, 11:50:59 PM |
|
|
|
|
|
|