Bitcoin Forum
September 24, 2018, 08:48:13 AM *
News: ♦♦ New info! Bitcoin Core users absolutely must upgrade to previously-announced 0.16.3 [Torrent]. All Bitcoin users should temporarily trust confirmations slightly less. More info.
 
   Home   Help Search Donate Login Register  
Pages: « 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 [16] 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 ... 160 »
  Print  
Author Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network  (Read 281993 times)
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
October 30, 2015, 01:53:46 AM
 #301

OK, so I created a wallet at omniwallet.org. Do I just send my MSC-TauAgoras to the bitcoin address in the omniwallet? Once that is done, will my omniwallet then show the MSC-TauAgoras asset?

that's right

Tau-Chain & Agoras
1537778893
Hero Member
*
Offline Offline

Posts: 1537778893

View Profile Personal Message (Offline)

Ignore
1537778893
Reply with quote  #2

1537778893
Report to moderator
1537778893
Hero Member
*
Offline Offline

Posts: 1537778893

View Profile Personal Message (Offline)

Ignore
1537778893
Reply with quote  #2

1537778893
Report to moderator
Einax Airdrops and Bounties made easy! List your ERC-20 token
FREE
ETH markets launching soon!
Advertised sites are not endorsed by the Bitcoin Forum. They may be unsafe, untrustworthy, or illegal in your jurisdiction. Advertise here.
1537778893
Hero Member
*
Offline Offline

Posts: 1537778893

View Profile Personal Message (Offline)

Ignore
1537778893
Reply with quote  #2

1537778893
Report to moderator
1537778893
Hero Member
*
Offline Offline

Posts: 1537778893

View Profile Personal Message (Offline)

Ignore
1537778893
Reply with quote  #2

1537778893
Report to moderator
1537778893
Hero Member
*
Offline Offline

Posts: 1537778893

View Profile Personal Message (Offline)

Ignore
1537778893
Reply with quote  #2

1537778893
Report to moderator
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 07, 2015, 08:01:38 PM
 #302

Let's talk Bitcoin https://letstalkbitcoin.com/blog/post/lets-talk-bitcoin-261-understanding-tauchains

Tau-Chain & Agoras
richwang01
Member
**
Offline Offline

Activity: 121
Merit: 10


View Profile
November 09, 2015, 09:06:24 AM
 #303

Where can I buy this coin?
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 09, 2015, 02:45:43 PM
 #304

Where can I buy this coin?

for now, in email ohad@idni.org
soon the coin will get into bittrex and poloniex

Tau-Chain & Agoras
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 10, 2015, 02:35:18 AM
 #305

Token got into trade in Bittrex   https://bittrex.com/Market/Index?MarketName=BTC-AGRS
Poloniex is next

Tau-Chain & Agoras
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 10, 2015, 11:48:53 AM
 #306

Price of the intermediate tokens will stop going up (the weekly 2%) until further notice. For now the price will remain 0.000634 btc per token

Tau-Chain & Agoras
tranzactionezlive
Sr. Member
****
Offline Offline

Activity: 253
Merit: 250


View Profile
November 11, 2015, 02:36:20 AM
 #307

Would it be safe to extract from masterxchange straight to bittrex adress of AGRS ? I need a quick reply, thanks.
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 11, 2015, 11:50:42 AM
 #308

Would it be safe to extract from masterxchange straight to bittrex adress of AGRS ? I need a quick reply, thanks.

I don't see any exceptional risk.

Tau-Chain & Agoras
kjn311
Member
**
Offline Offline

Activity: 170
Merit: 10

SPORT TOKEN PROTOCOL


View Profile
November 11, 2015, 04:02:38 PM
 #309

Any plans for artificial intelligence use cases like Siri on steroids? I'm imagining tau chains in a robot. I'm I way off here?

ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 11, 2015, 04:16:51 PM
 #310

Any plans for artificial intelligence use cases like Siri on steroids? I'm imagining tau chains in a robot. I'm I way off here?

Indeed as someone who deals with artificial intelligence over the last years, I can't think of a more suitable platform for such than tau.

Tau-Chain & Agoras
kjn311
Member
**
Offline Offline

Activity: 170
Merit: 10

SPORT TOKEN PROTOCOL


View Profile
November 11, 2015, 05:41:44 PM
 #311

Any plans for artificial intelligence use cases like Siri on steroids? I'm imagining tau chains in a robot. I'm I way off here?

Indeed as someone who deals with artificial intelligence over the last years, I can't think of a more suitable platform for such than tau.

Ok. Yea I was listening to the Let's Talk Bitcoin podcast and all I kept thinking about as you were describing Tau was A.I. Like some Skynet type ish and everything that was once only considered in science fiction will become real. Scary actually. Ohad you are becoming the real life Dr. Miles Bennet Dyson.

 /applaud




tranzactionezlive
Sr. Member
****
Offline Offline

Activity: 253
Merit: 250


View Profile
November 13, 2015, 06:10:44 PM
 #312

It's been two days and the withdrawal on MasterXchange is still :

Withdrawal history
amount    fee    date    destination    status    
1000.00000000 msctau    17.00000000 msctau    2015-11-11 14:36:50   14NcWzussr4XKk4ZHv5Cq6PHzGHjg33zbc   pending

I wonder, if these tokens get "misplaced", can you track and re/charge me since the platform is not final and operational ?


I've sent them an e-mail yesterday but received no reply.
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 13, 2015, 06:21:52 PM
 #313

It's been two days and the withdrawal on MasterXchange is still :

Withdrawal history
amount    fee    date    destination    status    
1000.00000000 msctau    17.00000000 msctau    2015-11-11 14:36:50   14NcWzussr4XKk4ZHv5Cq6PHzGHjg33zbc   pending

I wonder, if these tokens get "misplaced", can you track and re/charge me since the platform is not final and operational ?


I've sent them an e-mail yesterday but received no reply.

I've heard from several people that masterXchange are being late in one or two days in withdrawals, beyond the promised two days. But they always received their coins. So I suggest waiting a few days more, and recalling that this time is the last time you'll have encounter their delays.

Tau-Chain & Agoras
tranzactionezlive
Sr. Member
****
Offline Offline

Activity: 253
Merit: 250


View Profile
November 14, 2015, 01:56:45 PM
 #314

It's been two days and the withdrawal on MasterXchange is still :

Withdrawal history
amount    fee    date    destination    status    
1000.00000000 msctau    17.00000000 msctau    2015-11-11 14:36:50   14NcWzussr4XKk4ZHv5Cq6PHzGHjg33zbc   pending

I wonder, if these tokens get "misplaced", can you track and re/charge me since the platform is not final and operational ?


I've sent them an e-mail yesterday but received no reply.

I've heard from several people that masterXchange are being late in one or two days in withdrawals, beyond the promised two days. But they always received their coins. So I suggest waiting a few days more, and recalling that this time is the last time you'll have encounter their delays.


It's what i'm hoping, i am however weary of the limit date of 15th november and what may happen if they decide to go offline before processing the withdrawal, hence my question.
redfish64
Newbie
*
Offline Offline

Activity: 32
Merit: 0


View Profile
November 16, 2015, 01:01:18 AM
 #315

I had a dream about the regression theory in reverse.

In the dream, a sheep befriended me and magically teleported us to the end of universe. It was dark and empty.

“Heat death, baaa,” it bleated, “is the end of the universe. Your money is no good here. There is no energy to expend.. nothing can be accomplished no matter how much you want to give. Baaaa….”

The sheep then pulled out a watch it carried in its fur, looked at it for an instance and snapped it shut. The scene subtly changed, just slightly. “A moment before the last. Your money is no good here. In a moment it will be useless… if I take it now, I cannot spend it in the future, therefore it is useless now. Baaaaa.”

The sheep took out its watch, and again we went back a moment, and it repeated, “Baaaa, in moment your money will be useless. I won’t be able to spend your money in the future, therefore its useless now.”

And again and again, we did so, going back one moment in time, each time the sheep repeated the line. I was getting dizzy, so I said “Enough!”

It transported me back to the present, and said “All your kinds of money is useless one moment in the future, therefore it useless now!”

--

Is it possible that one day when there are automated agents in Tau, if I can prove something like "All money is worthless" to one of them, then I would be able to trade it a tiny sliver of computation time for all the wealth that it controls?

Could other bugs of logic similar to this exist in Tau?
BitcoinForumator
Legendary
*
Offline Offline

Activity: 1120
Merit: 1000


View Profile
November 16, 2015, 07:46:15 AM
 #316

I have no idea how to value these coins. What do you people think about the current price?
tobeaj2mer01
Legendary
*
Offline Offline

Activity: 1102
Merit: 1000


Angel investor.


View Profile
November 16, 2015, 10:21:21 AM
 #317

I have no idea how to value these coins. What do you people think about the current price?

It's pretty low, when the beta launches, the price will go to moon.

Sirx: SQyHJdSRPk5WyvQ5rJpwDUHrLVSvK2ffFa
BitcoinForumator
Legendary
*
Offline Offline

Activity: 1120
Merit: 1000


View Profile
November 16, 2015, 10:29:43 AM
 #318

I have no idea how to value these coins. What do you people think about the current price?

It's pretty low, when the beta launches, the price will go to moon.

What is moon in your opinion? Man, I have a hard time understanding even what Bitcoin is capable of. But TauChain, that's a whole different world. If Bitcoin is chinese to an english speaking man, then TauChain is alien language.
ohad
Hero Member
*****
Offline Offline

Activity: 894
Merit: 1000

http://idni.org


View Profile WWW
November 17, 2015, 05:20:12 AM
 #319

I had a dream about the regression theory in reverse.

In the dream, a sheep befriended me and magically teleported us to the end of universe. It was dark and empty.

“Heat death, baaa,” it bleated, “is the end of the universe. Your money is no good here. There is no energy to expend.. nothing can be accomplished no matter how much you want to give. Baaaa….”

The sheep then pulled out a watch it carried in its fur, looked at it for an instance and snapped it shut. The scene subtly changed, just slightly. “A moment before the last. Your money is no good here. In a moment it will be useless… if I take it now, I cannot spend it in the future, therefore it is useless now. Baaaaa.”

The sheep took out its watch, and again we went back a moment, and it repeated, “Baaaa, in moment your money will be useless. I won’t be able to spend your money in the future, therefore its useless now.”

And again and again, we did so, going back one moment in time, each time the sheep repeated the line. I was getting dizzy, so I said “Enough!”

It transported me back to the present, and said “All your kinds of money is useless one moment in the future, therefore it useless now!”

--

Is it possible that one day when there are automated agents in Tau, if I can prove something like "All money is worthless" to one of them, then I would be able to trade it a tiny sliver of computation time for all the wealth that it controls?

Could other bugs of logic similar to this exist in Tau?

Smiley tau can help people make software meet their formal requirements. selecting the requirements themselves is an ethical question already Wink

Tau-Chain & Agoras
klosure
Newbie
*
Offline Offline

Activity: 50
Merit: 0


View Profile
November 17, 2015, 10:52:14 AM
 #320

@HMC
Thanks for the excellent answer, that clears pretty much all my questions so far. I guess next step to understand better Tau is to get familiar with Idris and read Per Martin Lof's Type Theory (BTW for anyone else interested, there is a copy online there. AFAICT this book is out of print, so you will likely not find it in the normal distribution circuit). That's going to keep me busy for a while. I'll come back with more questions once I have digested the underlying theory.

@Ohad
I've been playing a bit with CWM lately, and I'm underwhelmed by how the negation as failure under a closed world assumption is being handled. Unless I've missed something, it seems that the only way to express a negation using basic CWM builtin semantics is to parse a N3 document into a formula with log:semantics and test for the absence of a specific clause in that formula using log:notIncludes. That seems to be confirmed by a few sources: Norman Walsh's blog and some chat he had with Dan Connolly (one of the authors of CWM). These sources are old but CWM hasn't evolved much since and I haven't been able to find any other way by looking at the documentation and test files. If that's still the case, it means that in CWM negation as failure can only be achieved on static documents included in a file and cannot be done on the general context of the reasoner which is always considered to be open world. So much for the so called "Closed World" machine Huh...

Anyway, since your code examples so far have been compatible with CWM, I was wondering how you planned to handle the negation as failure in Tau from a syntactic perspective. If you already have some idea of what the syntax will be, can you please give an example? I'm thinking of a simple case: build a rdf:List of all objects that do NOT have a specific property set. Let's say for instance all objects that are not a fish to continue the example in your (btw very convincing, congrats!) LetsTalkBitcoin interview.

I'm starting to build an application that I will port to Tau as soon as it's functional, and I need a way to express a negation in a closed world. I could move up the food chain to something like OWL and use set semantics to get my way but I'm concerned that this is like going in the wrong direction on the completeness-vs-consistency spectrum and is going to make it more painful to backport the application to Tau in the future. Can you recommand some existing RDF-flavored language that is close to the target in Tau, and that allows to derive negation as failure in a closed world kb without having to rely on static files to do so?

Of the course the ideal would be to start directly with Tau if the reasoner is already functional. But it would also need builtins.. Maybe I can help you with that if you already have a clear idea of what builtins will be available. If you are planning to adopt a subset of the CWM builtins among other things, that could be a good start.
Pages: « 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 [16] 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 ... 160 »
  Print  
 
Jump to:  

Sponsored by , a Bitcoin-accepting VPN.
Powered by MySQL Powered by PHP Powered by SMF 1.1.19 | SMF © 2006-2009, Simple Machines Valid XHTML 1.0! Valid CSS!