Hang on, "If Turing completeness is faulty" "there will be no other option than to exit the position of using Turing complete technology."
Which one are you talking about? Unless you mean both? "Turing-completeness" is to "Turing-complete" what "Madness" is to "Mad": just a way to name the quality of something being Turing-complete. From what I've heard, if you believe in Turing completeness, pick Tau-Chain. If you believe in software being Turing Complete, pick Ethereum.
This doesn't make sense to me. Typo? Ok. Well I found where I got that from. It's this: (not the full post) My ideas:
Marketing More interviews explaining how TAU is security (Turing completeness) and expressability (The new Tau language) (correct if this is not true) If you believe in Turing complete: Ethereum If you believe in Turing completeness: Tau If you're not sure: Diversify in both
So I guess that's not a good explanation? (Sorry Rw13enlib88) Actually I think I'm just reading into it way too much. turing complete languages leave you helpless predicting what your code is going to do, except the "wait and see" way
Ohad, can you give us an example of this? Show us how it would work, because I don't understand how it works. I can try to give you an analogy. Let's take cargo ships for instance. [great explanation] Wow, thank you for taking the time to explain that for me. Now I understand very well.
|
|
|
Yes, I have watched this video, but I watched it again. I understand what tau-chain will do, but I just don't understand how. I think i'll need to watch it again. So, that lawyer contract you described at the beginning would be rejected by tau-chain, right? right tau's logic is martin lof type theory http://plato.stanford.edu/entries/type-theory-intuitionistic/Ok, so if you wanted to make a contract like the lawyer one in tau-chain, then would you have to say that if there is a contradiction then the teacher needs to be paid? Or would something else need to be done? Or maybe that contract can't be described in tau's code. (I don't know ) Sorry for the questions. :/
|
|
|
Yes, I have watched this video, but I watched it again. I understand what tau-chain will do, but I just don't understand how. I think i'll need to watch it again. So, that lawyer contract you described at the beginning would be rejected by tau-chain, right?
|
|
|
Hang on, "If Turing completeness is faulty" "there will be no other option than to exit the position of using Turing complete technology."
Which one are you talking about? Unless you mean both? From what I've heard, if you believe in Turing completeness, pick Tau-Chain. If you believe in software being Turing Complete, pick Ethereum. (Someone recently said this but I can't remember who)
if you believe math, pick tau turing complete languages leave you helpless predicting what your code is going to do, except the "wait and see" way Ohad, can you give us an example of this? Show us how it would work, because I don't understand how it works.
|
|
|
Is there a real chance that Tau-Chain can overtake ethereum in the future? I heard Microsoft is using ethereum. Why would it be better for them to use Tau-chain?
This has probably been answered before, sorry.
If Turing completeness is faulty and cannot be used appropriatley there will be no other option than to exit the position of using Turing complete technology. For example you can see some examples of software that are accidentally turing complete my favourite example is Pokemon Yellow: https://en.wikipedia.org/wiki/Turing_completeness#Video_gamesYou can see how it is exploited here: https://www.youtube.com/watch?v=3UnB1fomvAwHang on, "If Turing completeness is faulty" "there will be no other option than to exit the position of using Turing complete technology." Which one are you talking about? Unless you mean both? From what I've heard, if you believe in Turing completeness, pick Tau-Chain. If you believe in software being Turing Complete, pick Ethereum. (Someone recently said this but I can't remember who)
|
|
|
Tauchain seems to be as unsafe as Ethereum. Eth means unlimited sscripting. Tau is even more open. Anybody can do anything with it. I don't understand how this could be more safe. Even if the language is decidable, how can this prevent exploits like "the dao hack"? Anything can be buggy. Only humans (not machines) can distinguish what is a bug and what is a functionality. So I think the problem could be the same in tau - if not worse.
I thought tau-chain meant that code was determinable, as in, it would only do what you wanted and there would be no bugs. That seems to be what this video is saying: https://youtu.be/1SXfYgQxsOA
|
|
|
Have we been marked for delisting for a while or did it just happen? (c-cex)
|
|
|
Is there a real chance that Tau-Chain can overtake ethereum in the future? I heard Microsoft is using ethereum. Why would it be better for them to use Tau-chain?
This has probably been answered before, sorry.
If Turing completeness is faulty and cannot be used appropriatley there will be no other option than to exit the position of using Turing complete technology. For example you can see some examples of software that are accidentally turing complete my favourite example is Pokemon Yellow: https://en.wikipedia.org/wiki/Turing_completeness#Video_gamesYou can see how it is exploited here: https://www.youtube.com/watch?v=3UnB1fomvAwOk, so there is no real reason for Microsoft to switch to Tau-chain at the moment? Speaking of Turing completeness and arbitrary code execution, here is my favourite: https://youtu.be/jnZ2NNYySuEAnd another done without being tool assisted: https://youtu.be/14wqBA5Q1yc
|
|
|
Is there a real chance that Tau-Chain can overtake ethereum in the future? I heard Microsoft is using ethereum. Why would it be better for them to use Tau-chain?
This has probably been answered before, sorry.
|
|
|
Yes but only 1/3 of my mined coins are visible. What is the command to reindex?
Only works with daemon: spreadcoind -reindex If this fails I suggest you erase all blockchain data (except ofcourse your wallet.dat and conf file) and let your wallet create a chain from scratch. @Georgem do you have a bootstrap to help this re-indexing along? I seem to have around 15000 SPR that I can not get to. I have tried the reindex, txindex=1, verify, new wallet - import privkey, and resync blockchain. Nothing works. When I load the old wallet I can see the SPR sitting there however when I go to transfer or consolidate I get the runtime error as shown in the previous post. My wallet only recognized around 7900 SPR. I have been mining it for a couple months now. Do you think it is possible I have been mining a wrong chain? It should work automatically, so I think the bug might be in your wallet or something happened during the mining process. Let's narrow it down: 1) what software did you use for mining? 2) did you mine to the same SPR address always? Or every block its own address? Ok - I am using SP mod #9 and yes it appears that there is a different address for each mined block Curious - how do you make it mine to only one address? Bad news mate. If every block you mined has a different address and you do not keep the exact wallet.dat they were mined to they are lost. If you want to mine to the same address - put a line in spreadcoin.conf with a line like that: miningprivkey=xxxxXXdesired-address-priv-keyXXxx
That is also very NOT secure. If your SPR server's security is breached and the spreadcoin.conf file is accessed maliciously you are done (your address I mean). yup. thats exactly how I've set up my spreadcoin.conf file. yeah, I suppose if I were to be hacked I'd be out a dollar or 2. but so far, my "penny jar" hasnt been attacked (knock on wood) apparently hackers are more interested in 3.5 million ethereum DAO tokens or some such thing so the exact syntax is: miningprivkey-spraddress-sprprivkey - in that order with the hyphens? meaning I need the SPR address and the SPR private key or only the private key? It is confusing with all of the hyphens. Thanks - pokeytex Lol, no it's just the actual private key. That's all. miningprivkey=actualprivatekeyonly
Haha, I see how you could be confused.
|
|
|
Impressive. Will be watching. I just wish there wasn't an IPO. The decentralised casino stuff is really cool. I'm not sure if one exists right now.
|
|
|
Thanks eightspace! Bounty was sent Cheers. Do you like the video?
|
|
|
I made the video today and tomorrow I will upload it. (Everyone in my home was complaining of slow internet when I tried to upload today)
I sent a PM to crowncoin_knight regarding payment.
|
|
|
Hey guys, did you need any more videos/tutorials made? If so please message me. I will be able to reply tomorrow morning. Night.
Hold that thought. I'll contact you very soon. We will 100% want a video doing for Thrones. But we arnt quite ready yet. Most Thrones will be windows/linux vps. So we're going to need windows wallet builds for you to demonstrate hosting a Throne using windows. Cheers man, i'll be intouch Ok cool. I am waiting. In the mean time, didn't you want another video before but I said no? I only said no because I had to study for exams but now I'm on holidays. I also recently had to sell my CRW so I'm not sure if I should be taken of the knight list, though I do plan on making back that investment through making you guys videos. Edit: Ah it's the paper wallet tutorial. Do you guys want that done?
|
|
|
Hey guys, did you need any more videos/tutorials made? If so please message me. I will be able to reply tomorrow morning. Night.
|
|
|
Ok, now I have about 600 AGRS, hopefully that will be enough.
This project looks amazing, I can't wait to see what the future holds.
|
|
|
thx for the info well so few weak hands are dumping becouse the BTC fomo.. is there any kind of plan to give exchanges some liquidity to equal the price with the oficial ICO price? thx Weak hands will sell, but once they understand the technology.... Well.... I knew there was a dump coming....Great tech, I'm holding on for the long run. Hopefully I will be able to buy some this afternoon.
|
|
|
|