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 |
|
|
|
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) |
|
|
|
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. |
|
|
|
interesting
Dev, could you please give us more information about TC
you mean turing complete? the point is the tradeoff between "the ability to say" and "the ability to get answers". turing completeness means maximum expressiveness, can say anything, but even things such that it'll be impossible to get all answers about, even in theory. however if we restrict ourselves only to settings in which we can answer all relevant questions, we have to restrict what we're able to say. the following two blogposts contain some explanations about the proposed alternative (as there can be many non-turing-complete languages): http://www.idni.org/blog/the-art-of-self-reference.htmlhttp://www.idni.org/blog/the-new-tau.html |
|
|
|
|
The new website is finally replacing the old one on idni.org
Amazing work done by many people, all began by Isar deciding to complete the mission no matter what.
So many thanks to Isar and all participants:
Web Development: Frank Thelemann (@FrankFunk) and Jason K
Web Design: CapitanArt and Jason K
Content Development: Miao (@littlemiao), Kevin (@etherpunk)
Spanish translation: Dani Navarro Leiva (@HippieCycling)
Chinese translation: dzfx, agrsfans, niudongxiao and Yann Wang
Other elements: Ethan Chen, Felix Forster
|
|
|
|
This project is very professional team. I like their idea and I'm sure that the project will be successful.  The Dev/Ohad is very knowledgeable and very professional. I need to buy more but the current exchange does not have a lot of liquidity. I'm still waiting for the alpha version hopefully this year If I read the title generalized p2p network, what would be another variant of a p2p network if it is not generalized as per your terms? well the title wasn't touched since back then (and back then it made a lot of sense i guess), but is a good exercise to think of a new title. probably something like "knowledge society, knowledge economy, scaling discussions", the ideas from the last two blogposts |
|
|
|
We are pleased to announce that OMNI and its assets have been added to OpenLedger, media will cover this incoming weeks. The assets are OPEN.OMNI, OPEN.We are pleased to announce that OMNI and its assets have been added to OpenLedger, media will cover this incoming weeks. The assets are OPEN.OMNI, OPEN.MAID, OPEN.AGRS, OPEN.AMP, the Tether OPEN.EURT as the first place anywhere, and OPEN.USDT. You may enter a market simply following this link to https://bitshares.openledger.info/?r=openledger#/market/OPEN.BTC_OPEN.AGRSAccessing any other markets simply exchange OPEN.AGRS with any of the above mentioned and you have just accessed a new BTC market on OpenLedger. Follow us on socials for latest news and updates Facebook :: LinkedIn ::TwitterMAID, OPEN.AGRS, OPEN.AMP, the Tether OPEN.EURT[/b] as the first place anywhere, and OPEN.USDT. You may enter a market simply following this link to https://bitshares.openledger.info/?r=openledger#/market/OPEN.BTC_OPEN.AGRSAccessing any other markets simply exchange OPEN.AGRS with any of the above mentioned and you have just accessed a new BTC market on OpenLedger. Follow us on socials for latest news and updates Facebook :: LinkedIn ::Twitterthanks again Ronny, to all, after a conversation with Ronny being openledger's manager (appeared on our public telegram group and then we spoke some more in private), things should work, should be able to trade agrs on openledger just fine, and given volume it'll also appear on coinmarketcap |
|
|
|
hello dear. All NON Bittrex Account Holder can buy now directly over Omni Dex https://www.omniwallet.org/dex/overview IDNI Agoras (#58) with TetherUS(#31) You can check the Orderbook here https://omniexplorer.info/lookupmarket.aspx?spa=58&spb=31Both IDNI Agoras and TetherUS are Omni tokens and using also the same wallet, so perfect for exchanging... Because the delisting form bittrex soon there will be maybe no exchange for a while until tauchain community have a new one. OmniDex for sure not a solution for high volume/day trading but for serious buyers a chance to get finally agoras tokens. I hope until the exchange problems have solved it will give to some people a chance to get a decent amount before the alpha is out and the price will go up north  To make trades on Omnidex you need a small amount in BTC to Transactions(1-2$) per transaction Howto: 1. Buy TetherUS(USDT) on any exchange 2. Go to https://www.omniwallet.org an create a wallet. 3. Sent your TetherUS from your exchange to your omniwallet address 4. Login to Omniwallet and goto Omnidex https://www.omniwallet.org/dex/overview5. Choose as Market Currency: TetherUS #31 form the big Select 6. Then click on IDNI Agoras #58 7. Here you will see then all Sell orders 8. buy Agoras with the amount you want with your TetherUS After that your Agoras Tokens are already stored in your OMNI Wallet. the best place for agoras. thanks, now officially confirmed with the omni team, moreover, they'll add agrs-btc and be listed on coinmarketcap in about 1-2 weeks. but NOTE THAT TOKEN ID 35 IS STILL TRADED THERE
DO NOT TRADE TOKEN #35
OUR ID IS #58ofc i sent message to omni to fix that |
|
|
|
as part of the new (or new new new grr) website efforts now managed by Isar, we offer two bounties of 1000 AGRS each, one for a new tau logo and one for a new agoras logo. can contact Isar for any related topic isar@idni.org and also best to share your sketches on the telegram group ( https://t.me/tauchain ) and by that let the community pick |
|
|
|
i think i'm getting paranoid as i suspect your intentions. is it me or your intentions? |
|
|
|
For every investor ,if you didnt know you have won in terms of BTC. I am not sure if the ones Ohad is talking are the investors from 4 years ago lmao.But hey he operates on much higher logic than everyone here. Doesnt matter what your cashier shows , you have more BTC than you have put when you invested in Agoras. 16:00 < naturalog> we didnt die for 4 years 16:00 < naturalog> we grew 16:00 < cryptico> you didnt bitcoin price is still the same as 4 years ago from a btc investor those are shitty returns16:01 < cryptico> in nthe biggest bull market crypto ever had 16:01 < naturalog> many if not majority of our investors have a modest revenue even in btc termsSpeaking about "THE TEAM" : 16:15 < cryptico> who is in your team atm? 16:16 < naturalog> we got Liaomiao karov isar judith handling lots of things including finding new exchange 16:19 < cryptico> are you the only dev on the project? 16:19 < naturalog> yes 16:19 < cryptico> why are you not hiring other people? they cannot help? 16:19 < naturalog> we're hiring 16:20 < naturalog> that's what the sign says 16:20 < naturalog> doesnt help much If you dont know Ohad is hiring , ofcourse you dont know if you are qualified for whatever he is hiring ,cause noone knows what is going on and what are the plans.But still he is "hiring" staff. I guess he couldnt find a single person good enough to help him yet. Except the 2 people he is chatting on daily basis on IRC. Still he doesnt give a single F about the investors.He couldnt even be bothered to get listed in a backup exchange for 3 years .Now he is looking ,ops sorry, he cant be bothered with that stupid stuff some of his "Team" is looking for options.But hey i guess his BTC are fine. 19:36 < naturalog> and they also said that once we have a product that uses the tokens they'll list it again Investors dont worry Bittrex gonna list Agoras again when .... ::)something. 1st April coming month early. 19:46 < naturalog> the one i spoke with had no clue about us 19:47 < naturalog> she just went to the website and said "tau, agoras, routers.space, is any of this using the token now?" How the hell someone will do such a stupid thing like going to the official website of the coin.Mind blowing stuff....  I remember someone was asking some questions in the not so distant past.The most important thing is that his 5 groupies are still making noise and calming down the "community". "Development is unaffected by delisting. Progress is good and Ohad is as confident as ever." Time to fill my bags with this gem cause "it is on a fire sale right now"  https://www.reddit.com/r/tauchain/comments/7zu972/development_is_unaffected_by_delisting_progress/dut75lb/Apparently the team member Econome/liaomi is saying that Ohad is " Meeting all milestones" . That just made my day "only Upbit and localbitcoincash.org which is not very user friendly. It's a fire sale right now. Ohad is as committed as ever. Meeting all milestones" Milestones are being hit people and you can now BUY it at localbitcoincash sir, im not as sophisticated as you, can you please ELI5 the problem? |
|
|
|
Thanks for your replies guys. How can I understand it... if I get a wallet on https://www.omniwallet.org, this is like if I get one on myetherwallet? And after I transferred there any amount of BTC, I am able to send AGRS too? Asking this, because I didn't see any possibility to "show tokens" or stuff, like I am able to do with mew. Still looking for help on this one. Can someone give me a link to a guide or anything, so I know where I can transfer my funds to? Thanks in advance! yes, the wallet calls it "bitcoin address" for correct reasons, but can send there agrs or any omni token just fine, that's the right address |
|
|
|
|
as i wrote on irc right after the phone call with bittrex was finished,
and after a week or two of a process of passing their legal due-diligence and mutually signing a listing contract afterwards which made me think it's all over,
they told me (a nice girl who didn't seem to know anything about the project) that they don't allow pre-sale tokens, but only tokens that are actually used over the running promised platform. as such they'll happily list us once the tokens are used. they also delist maidsafe at the same opportunity, which is another omni token, and the omni foundation is trying to negotiate with both bittrex and additional exchanges.
that's all today's news, no more, no less.
[this reminded me the old plans of using the tokens over the alpha already (some limited use)]
|
|
|
|
|
agreed eventually for 0.1 btc
|
|
|
|
10. For the Angoras investors this move double the chance for return on their investment. Let me describe that in more details: A. Assuming both chains would end up working out and on each a different Agoras based app would work then this would be like splitting the supply of the coins between two application. ( I hope that the math is clear to all ) . B. On the other hand since assuming a failure to construct a rootchain is an option , the chances for such failure, having two active teams working on two different approaches to this yet unresolved problem, just been reduced to half (I hope that this math is also clear to all  ). C. I have great respect both for Ohad and HMC, I know both to be at the top of this game and to devote themselves for what they believe is the right way to achieve the same goal. However since both are yet to prove which is design is right. (maybe both would end up being complementary to each other) We as the investors are now put back in the position of gaining from the work of both teams despite the split and the distrust created along that fault line. Interesting... I would be the first who support that approach if not that sentence from Ohad: autonomic "project", is much less of a competitor, and much more of a vandalist enemy (specifically hmc's behind-the-back operations that didn't stop till nowadays). so take into account that 100k tokens are now allocated to them thanks to nili
so idk how that helps us just ignore, that post is too disconnected from reality to worth even reading |
|
|
|
- u guys have any funding?
We are an open, voluntary collaboration. We do not generally seek funding or offer any vestment vehicle, as we find it antithetical to the aims of the project. (You are of course welcome and encouraged to support the project in other ways, including funding individual developers directly at your discretion - we just don't promise any sort of monetary ROI from the project on such.)
This brunch (of the tauchian split) s now supported by the Agoras tokens as well. namely as an act of betrayal nili decided to give from the tokens i gave her (for supporting the project ~3 years long) to support the autonomic "project", which is much less of a competitor, and much more of a vandalist enemy (specifically hmc's behind-the-back operations that didn't stop till nowadays). so take into account that 100k tokens are now allocated to them thanks to nili. this ofc will be deduced from the 0.5% of the tokens i promised to hmc once he reveals his identity to the community (the latter requirement came after he showed maliciuous behavior) |
|
|
|
Hello.This is the Bitcoin evolution: Bitcoin: blockchain POW. Expensive and slow Ethereum:blockchain POW>POS IOTA :Tangle without miners, without order and without fees.It's very fast. Hashgraph:The Tree (IOTA evolution),with order and faster. Agoras-Tauchain?  Thank you. tau is a continuous process of development of tau. (with every block) |
|
|
|
|
Show Posts
