Bitcoin Forum
December 16, 2017, 05:04:22 PM *
News: Latest stable version of Bitcoin Core: 0.15.1  [Torrent].
 
   Home   Help Search Donate Login Register  
Pages: « 1 ... 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 67 68 [69] 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 ... 146 »
  Print  
Author Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network  (Read 274813 times)
LiskEnterprise
Sr. Member
****
Offline Offline

Activity: 258


View Profile
September 21, 2016, 04:11:00 AM
 #1361

Targeted effort should be Poloniex, but more exchanges means more liquidity:

https://poloniex.com/coinRequest

You can do it people..


-----------------------------------

If this can be done lets do it.

Best in a combined team effort.

Lets release a time and day and twitter, FB, email etc everyone involved with TauChain.

With the answers all clear as to how to submit.

https://poloniex.com/coinRequest

Name of token, Token symbol, Forum thread address, Blockchain info, website url, innovations over other coins,

If we a couple of hundred do it over a few day span we will get attention and not lost in the noise.



http://heatledger.com LIVE ICO 3.0 GENERATION CRYPTO WITH COMPANY STOCK IPO OPTIONS
1513443862
Hero Member
*
Offline Offline

Posts: 1513443862

View Profile Personal Message (Offline)

Ignore
1513443862
Reply with quote  #2

1513443862
Report to moderator
Advertised sites are not endorsed by the Bitcoin Forum. They may be unsafe, untrustworthy, or illegal in your jurisdiction. Advertise here.
1513443862
Hero Member
*
Offline Offline

Posts: 1513443862

View Profile Personal Message (Offline)

Ignore
1513443862
Reply with quote  #2

1513443862
Report to moderator
MrWhiteBites
Hero Member
*****
Offline Offline

Activity: 588


DOVU Blockchain Powered Mobility


View Profile
September 22, 2016, 05:26:40 PM
 #1362

Targeted effort should be Poloniex, but more exchanges means more liquidity:

https://poloniex.com/coinRequest

You can do it people..


-----------------------------------

If this can be done lets do it.

Best in a combined team effort.

Lets release a time and day and twitter, FB, email etc everyone involved with TauChain.

With the answers all clear as to how to submit.

https://poloniex.com/coinRequest

Name of token, Token symbol, Forum thread address, Blockchain info, website url, innovations over other coins,

If we a couple of hundred do it over a few day span we will get attention and not lost in the noise.




Poloniex will ask what special features this coin has EG: what makes it special/different.  This is the most highly technical coin i have ever seen, i really would not know how to answer this.

Would be great if there was a web designer here also, could really do with a nice looking website.


 
 
 
 
 
██████████▄▄              ▄███████▄           ██▄       ▄██        ███       ███
███▀▀▀▀▀▀▀███▄          ▄██▀▀   ▀▀▀           ▐██▄     ▄██▀        ███       ███
███        ▀██▌        ██▀         ▐██         ▐██▄   ▄██▀         ███       ███
███         ███       ███           ██▌         ▀██▄ ▄██▀          ███       ███
███         ██▌       ▐██           ██▌          ▀██▄██▀           ███       ███
███       ▄███         ▀█▀        ▄███            ▀███▀            ███▄     ▄███
████████████▀             ▄██▄▄▄████▀              ▀█▀              ▀███▄▄▄███▀
▀▀▀▀▀▀▀▀▀▀                 ▀▀▀▀▀▀▀                  ▀                 ▀▀▀▀▀▀▀




▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬
.TOKEN PRESALE.
SEPTEMBER 3

▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬



 
 
 
                 ▄████▄▄    ▄
██             ████████████▀
████▄         █████████████▀
▀████████▄▄   █████████████
▄▄█████████████████████████
██████████████████████████
  ▀██████████████████████
   █████████████████████
    ▀█████████████████▀
      ▄█████████████▀
▄▄███████████████▀
   ▀▀▀▀▀▀▀▀▀▀▀

 
 
 
 
                  ▄▄██▄
              ▄▄█▀▀  ██
          ▄▄█▀▀      █▌
      ▄▄█▀▀   ▄▀    ██
 ▄▄▄█▀▀    ▄█▀     ▐█
██      ▄██▀       █▌
 ▀▀██▄███▀        ██
     ██▀▀█▄▄▄     █▌
      █▄  ██▀▀▀█▄██
       █▄█▀
Rando
Member
**
Offline Offline

Activity: 76


View Profile
September 23, 2016, 09:46:55 AM
 #1363

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?
ohad
Hero Member
*****
Offline Offline

Activity: 878

http://idni.org


View Profile WWW
September 23, 2016, 10:54:17 AM
 #1364

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?

his status is up to him. he's welcome to collaborate on tau as much as he wants, and was always so.

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

Activity: 281



View Profile
September 24, 2016, 12:42:38 AM
 #1365

Targeted effort should be Poloniex, but more exchanges means more liquidity:

https://poloniex.com/coinRequest

You can do it people..


-----------------------------------

If this can be done lets do it.

Best in a combined team effort.

Lets release a time and day and twitter, FB, email etc everyone involved with TauChain.

With the answers all clear as to how to submit.

https://poloniex.com/coinRequest

Name of token, Token symbol, Forum thread address, Blockchain info, website url, innovations over other coins,

If we a couple of hundred do it over a few day span we will get attention and not lost in the noise.




Poloniex will ask what special features this coin has EG: what makes it special/different.  This is the most highly technical coin i have ever seen, i really would not know how to answer this.

Would be great if there was a web designer here also, could really do with a nice looking website.
Personally I like the way the site looks. It's straight and too the point about the technology and Ohad's thoughts, without all the bells and whistles and animation. It just has a feel of like Ohad legitimately working and believing, vs lets say a scam coin paying someone for a flashy website.


▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓░░░▓▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒░░▓▓▒▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒░▓▓▓▓░▓▒▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓░▓▓▓▓▓░▒▓░▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒▒▓▒░▒▓▓▓▓▓░▒▓░▒░░▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓░░▓▒░▒▒▓▓▓▓▓▒▒▓░▒▓░░▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▒░▒▓▒▒▓▓▓▓▓▓▓▓░▓▓▓▒▒▒▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓░░▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒░▓▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▒░░▓░▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒░▓▓▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▒░░▓░░▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓░░▓▓▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▒░░▓▒░░▒▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒░░▓▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▒▓▒▒▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒░▒▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓░░▓▓░░▓░▒▓▓▓▓▓▓▓▓▓▓▓▓▓░▒░▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▒░░▓▓▓░▒▓░░▓▓░▓▓░▓▓▓▓▓░░░░▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓░░░▓▓▓░▓▓░░▓▓▒░▒▓░░░░▓░░░▒▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓░░░▓▓▓▓▓▓░░▓▓░░░▒▓▒░░▓▓░░▒▒▓▓▓▓▓▓▓
▓▓▓▓▓▓░░░░▓▓▓▓▓░░▓▓▒░▓▒░▓▓░░▓▓▒░░▓▓▓▓▓▓▓▓
▓▓▓▓▓░░▓░░░▓▓▓▓░▓▓▒▓▓▓▓▒▓▓▓░▒▓▓░░▓▓▓▓▓▓▓▓
▓▓▒▒▓▓▒░▓▒░░▓▓▓▓▓▓▓▓▒▓▓▓▓▓▓░░▓▓░░▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▒░░░░▓▓▓░░▓▓▓▓▓▓░▓▓▓░░▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓░░░▓▓▓▓▒░▒▓▓░▒▓░▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▒░▓▓▒▓▓▓▓▒▓▓▒░▒▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓░▓▓▓▓▓▓▓▓
▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓▓




H.O.W.L Awoo~
No ICO  ◊  Mobile  ◊  Howl Market
infovortice2013
Legendary
*
Offline Offline

Activity: 1176



View Profile WWW
September 24, 2016, 01:58:41 PM
 #1366

the team is very busy working on proyect. and well financiated, dont see the reason to add the coin to other exchanges at this moment and waste his precious time helping to install wallet and explain to use it etc... BItrex is working fine at this time.
dx5
Sr. Member
****
Offline Offline

Activity: 275


View Profile
September 25, 2016, 01:24:43 AM
 #1367

Will Tau Chain be like the Wolfram language?

                                 
                  █████████████████████████████▒
               ▒███████████████████████████████▓░
             ▒████▓                         ░▓███▒░░
         ░▒▓████▓░                            ░▓███▓▓▒▒░░
▓▓▓▓▓████████▓▒               ░░░▒▒▒▒▒░         ░▒█████████▓▓▓▓▓
████████▓▒▒░              ░▒▓▓▓▒▒▒▒▒▒▒▓▓▓▓▒         ░░▒▒████████
▓██▓                   ░▒▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▓███▒░             ███▓
▒███                 ░▓█▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓█████▒░         ▓▓█░
░█▓█░               ▓█▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓▓▓▓█████▓██░     ▓███░
 ▓██▓             ▒██▒▒░▒▒▒▒▒▒▒░▒▒▒▒▒▒▒▒▒▒▒░▒▒░  ░▓█▓      ███▓
 ▒█▓█░           ▓█▓▒▒▒▒▒▒▒▒▒▒░▒░▒░░░░░▒▒░ ░▒░░▓███▓      ▒███▒
  █▓█▓          ▓█▓▒▓▒▒▒▒░░░░░░░░░░░░▒▓▒▒░░▒▒▓█████░      ███▓
  ▒█▓█░        ░██▓▓▒░░░░░░░░░▒▓▒░ ░░░ ░░▒▒▓▓▓▓▓█▒█░     ▓███▒
   ▓▓▓▓        ███▒░░░░░▒░░░▒▒▒▒▒░░░░░▒▒▒▒▒▒▒▒▒▓▓ █░    ▒███▒
   ░▓▓▓▓   ░▒▒ █▓▒▒▒▒▒▓▓▓▒░▒░░░░░░░▒▒▒▒▒▒▒▒▒░▒▒▓ ▒█    ░████▒
    ░▓▒▓▒ ░▓████▓▓▓▒▒▒▓▒░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒  ██   ░████▒
     ▒▓▓██  ▓████▓▒▒░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒░▒░▒▒░ ░██▒  ░████▒
      ▓████  ░██████▓▓▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░  ░███▓  ░████░
       ▒████   ▓█▓░█████▓▓▒▒▒▒▒▒▒▒▒▒░░░░░░▒▓████░  ▒████▒
        ░████▒  ▒░   ▒██████▓▓▓▒▒▒▒▒▒▒▓██████▓░   ▓████▒
          ████▓         ░▒▓██████████████▓░░    ░████▓
           ▒████▒                              ▓████░
             ▓████░                          ▒████▒
              ░████▓░                      ▒████▓
                ░████▓░                  ▒████▓░
                  ░████▓░              ▒████▓░
                     ░▓████▒          ▓████▒░
                       ░▒████▓░    ▒████▓▒
                          ░▓████▓▓████▓░
                             ▒█████▓░
                               ░▒▒░
✬✬✬✬✬

LiskEnterprise
Sr. Member
****
Offline Offline

Activity: 258


View Profile
September 25, 2016, 02:31:45 AM
 #1368

Will Tau Chain be like the Wolfram language?

Also is there any clear write up on how this project is different from MaidSafe and Synereo?

They seem to be very active with a lot of Devs.


http://heatledger.com LIVE ICO 3.0 GENERATION CRYPTO WITH COMPANY STOCK IPO OPTIONS
dx5
Sr. Member
****
Offline Offline

Activity: 275


View Profile
September 25, 2016, 03:11:44 AM
 #1369

Will Tau Chain be like the Wolfram language?

Also is there any clear write up on how this project is different from MaidSafe and Synereo?

They seem to be very active with a lot of Devs.



It's completely different than those. It's more like a super computer, and the storage is not to store videos and pictures, but rather rules.

                                 
                  █████████████████████████████▒
               ▒███████████████████████████████▓░
             ▒████▓                         ░▓███▒░░
         ░▒▓████▓░                            ░▓███▓▓▒▒░░
▓▓▓▓▓████████▓▒               ░░░▒▒▒▒▒░         ░▒█████████▓▓▓▓▓
████████▓▒▒░              ░▒▓▓▓▒▒▒▒▒▒▒▓▓▓▓▒         ░░▒▒████████
▓██▓                   ░▒▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▓███▒░             ███▓
▒███                 ░▓█▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓█████▒░         ▓▓█░
░█▓█░               ▓█▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▓▓▓▓▓▓█████▓██░     ▓███░
 ▓██▓             ▒██▒▒░▒▒▒▒▒▒▒░▒▒▒▒▒▒▒▒▒▒▒░▒▒░  ░▓█▓      ███▓
 ▒█▓█░           ▓█▓▒▒▒▒▒▒▒▒▒▒░▒░▒░░░░░▒▒░ ░▒░░▓███▓      ▒███▒
  █▓█▓          ▓█▓▒▓▒▒▒▒░░░░░░░░░░░░▒▓▒▒░░▒▒▓█████░      ███▓
  ▒█▓█░        ░██▓▓▒░░░░░░░░░▒▓▒░ ░░░ ░░▒▒▓▓▓▓▓█▒█░     ▓███▒
   ▓▓▓▓        ███▒░░░░░▒░░░▒▒▒▒▒░░░░░▒▒▒▒▒▒▒▒▒▓▓ █░    ▒███▒
   ░▓▓▓▓   ░▒▒ █▓▒▒▒▒▒▓▓▓▒░▒░░░░░░░▒▒▒▒▒▒▒▒▒░▒▒▓ ▒█    ░████▒
    ░▓▒▓▒ ░▓████▓▓▓▒▒▒▓▒░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒▒▒▒  ██   ░████▒
     ▒▓▓██  ▓████▓▒▒░░░░░░░░░▒▒▒▒▒▒▒▒▒▒▒░▒░▒▒░ ░██▒  ░████▒
      ▓████  ░██████▓▓▓▓▓▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒▒░░  ░███▓  ░████░
       ▒████   ▓█▓░█████▓▓▒▒▒▒▒▒▒▒▒▒░░░░░░▒▓████░  ▒████▒
        ░████▒  ▒░   ▒██████▓▓▓▒▒▒▒▒▒▒▓██████▓░   ▓████▒
          ████▓         ░▒▓██████████████▓░░    ░████▓
           ▒████▒                              ▓████░
             ▓████░                          ▒████▒
              ░████▓░                      ▒████▓
                ░████▓░                  ▒████▓░
                  ░████▓░              ▒████▓░
                     ░▓████▒          ▓████▒░
                       ░▒████▓░    ▒████▓▒
                          ░▓████▓▓████▓░
                             ▒█████▓░
                               ░▒▒░
✬✬✬✬✬

MrWhiteBites
Hero Member
*****
Offline Offline

Activity: 588


DOVU Blockchain Powered Mobility


View Profile
September 25, 2016, 03:54:17 AM
 #1370

the team is very busy working on proyect. and well financiated, dont see the reason to add the coin to other exchanges at this moment and waste his precious time helping to install wallet and explain to use it etc... BItrex is working fine at this time.

Fully Agree!   Looking at Bittrex, i see the price has been bought up to 27K   as more and more people learn about the "futuristic"  (i think is an appropriate word) developments happening, the more the coin will grow, which is great for investors and developers, its always nice to see your hard work and dedication get the recognition it deserves in reflection of the price.

Looking forward to the Tau-Chain release, which i believe will be the next and biggest release?


Also. NOTE: To anyone wanting to ask questions about Comparing this project against others.

There is a really simple answer to this.  Simply, You cant.  
So please dont ask, there are a couple of videos, pod casts with Ohad talking about the whole project, i will try and find link, its amazing to listen to and will make you understand more, although it is highly technical and advanced whats happening here, i am not ashamed to hold my hands up by saying i only understood about 30% of what was said.


 
 
 
 
 
██████████▄▄              ▄███████▄           ██▄       ▄██        ███       ███
███▀▀▀▀▀▀▀███▄          ▄██▀▀   ▀▀▀           ▐██▄     ▄██▀        ███       ███
███        ▀██▌        ██▀         ▐██         ▐██▄   ▄██▀         ███       ███
███         ███       ███           ██▌         ▀██▄ ▄██▀          ███       ███
███         ██▌       ▐██           ██▌          ▀██▄██▀           ███       ███
███       ▄███         ▀█▀        ▄███            ▀███▀            ███▄     ▄███
████████████▀             ▄██▄▄▄████▀              ▀█▀              ▀███▄▄▄███▀
▀▀▀▀▀▀▀▀▀▀                 ▀▀▀▀▀▀▀                  ▀                 ▀▀▀▀▀▀▀




▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬
.TOKEN PRESALE.
SEPTEMBER 3

▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬



 
 
 
                 ▄████▄▄    ▄
██             ████████████▀
████▄         █████████████▀
▀████████▄▄   █████████████
▄▄█████████████████████████
██████████████████████████
  ▀██████████████████████
   █████████████████████
    ▀█████████████████▀
      ▄█████████████▀
▄▄███████████████▀
   ▀▀▀▀▀▀▀▀▀▀▀

 
 
 
 
                  ▄▄██▄
              ▄▄█▀▀  ██
          ▄▄█▀▀      █▌
      ▄▄█▀▀   ▄▀    ██
 ▄▄▄█▀▀    ▄█▀     ▐█
██      ▄██▀       █▌
 ▀▀██▄███▀        ██
     ██▀▀█▄▄▄     █▌
      █▄  ██▀▀▀█▄██
       █▄█▀
LiskEnterprise
Sr. Member
****
Offline Offline

Activity: 258


View Profile
September 26, 2016, 12:06:57 PM
 #1371

Initially all i asked was can this token fit into c-cex.com -the answer was "YES"

I still hope the founder does it as it is more than likely it will be accepted there.

And as i see from HEAT LEDGER it will get more activity than on Bittrex.

Then some of the community shits on the idea.

Why? Becasue it is uncouth?

More exchanges the better, more publicity the better. more financing the better.

Then the devs get the finance and get the time and talent to make it HAPPEN.

Here is my mind set.

Can i easily throw my resources at TAU or a close comparison MAID.

Maid is ten years in the making TAU i am not sure.

I get some differences but who knows as even now the foundation logic language has been dispelled.

All good i say, go to the best.

MAID went from C++ to RUST.

TAU is also growing in its maturity and admitting it needs to alter course.

BUT..

its public financing and growth in people numbers can occur while this is happening.

Again i would suggest there is no downside in more than ONE exchange offering the token..


----------------------
https://c-cex.com/?id=vote#suggest

Simply fill out the form
-----------------------------------

Hello! We have 2 options: 1 - You can add the coin on the voting page - https://c-cex.com/?id=vote . We will surely consider adding it if it gets enough votes and the community shows enough interest. 2 - We can list a coin or asset for 3 BTC immediately. Have a good day! Let us know if there is anything else we can help you with. Thanks!

http://heatledger.com LIVE ICO 3.0 GENERATION CRYPTO WITH COMPANY STOCK IPO OPTIONS
HunterMinerCrafter
Sr. Member
****
Offline Offline

Activity: 420


View Profile
September 26, 2016, 06:29:52 PM
 #1372

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?

his status is up to him. he's welcome to collaborate on tau as much as he wants, and was always so.

Well, the very short form explanation is that nobody on the project except Ohad believes either that there is any problem with the originally planned design, or that his new plan is even suitable to construct a "useful" tau.  During discussion of our concerns, Ohad "went off" on the most active developer (stoopkid) and kicked him off of the project.  Every other member of the "team" (including myself) then basically stopped development and effectively left the project.  This means that Ohad has now effectively lost his second team entirely, and is once again on his project alone.

To my knowledge, in the time (months) since, no new development has occurred.

I still keep my commitment to Ohad to attempt to verify any implementation which he brings forward.

I'm also still happy to explain the original design premise to anyone who would like to know about it.

mr.coinzy
Sr. Member
****
Offline Offline

Activity: 479


For XEL tips: XEL-EFWU-3V2F-4REL-7PQMT


View Profile
September 26, 2016, 10:58:21 PM
 #1373

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?

his status is up to him. he's welcome to collaborate on tau as much as he wants, and was always so.

Well, the very short form explanation is that nobody on the project except Ohad believes either that there is any problem with the originally planned design, or that his new plan is even suitable to construct a "useful" tau.  During discussion of our concerns, Ohad "went off" on the most active developer (stoopkid) and kicked him off of the project.  Every other member of the "team" (including myself) then basically stopped development and effectively left the project.  This means that Ohad has now effectively lost his second team entirely, and is once again on his project alone.

To my knowledge, in the time (months) since, no new development has occurred.

I still keep my commitment to Ohad to attempt to verify any implementation which he brings forward.

I'm also still happy to explain the original design premise to anyone who would like to know about it.



I trust Ohad completely, if he says that after deep investigation he found that the old design will not serve the project's purposes as planned or to the fullest, and that there is a preferable design to use, I fully back him up on this. I get the feeling that there is an ego issue here to some extent. I am certain that there was no real reason for Ohad to switch to a new logic if he did not truly believe that it is the right way to go. I am also certain that the project will move forward with you or without you. I know that some people see you as an expert and for this reason it will be positive if you do decide to continue cooperation with the project in the future. Of course, this is mainly up to you.

Join the Elastic revolution!  Elastic - The Decentralized Supercomputer
ELASTIC WEBSITE | NEW ANNOUNCEMENT THREAD | ELASTIC SLACK | ELASTIC FORUM
AEA
Jr. Member
*
Offline Offline

Activity: 34


View Profile
September 26, 2016, 11:19:10 PM
 #1374

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?

his status is up to him. he's welcome to collaborate on tau as much as he wants, and was always so.

Well, the very short form explanation is that nobody on the project except Ohad believes either that there is any problem with the originally planned design, or that his new plan is even suitable to construct a "useful" tau.  During discussion of our concerns, Ohad "went off" on the most active developer (stoopkid) and kicked him off of the project.  Every other member of the "team" (including myself) then basically stopped development and effectively left the project.  This means that Ohad has now effectively lost his second team entirely, and is once again on his project alone.

To my knowledge, in the time (months) since, no new development has occurred.

I still keep my commitment to Ohad to attempt to verify any implementation which he brings forward.

I'm also still happy to explain the original design premise to anyone who would like to know about it.



I trust Ohad completely, if he says that after deep investigation he found that the old design will not serve the project's purposes as planned or to the fullest, and that there is a preferable design to use, I fully back him up on this. I get the feeling that there is an ego issue here to some extent. I am certain that there was no real reason for Ohad to switch to a new logic if he did not truly believe that it is the right way to go. I am also certain that the project will move forward with you or without you. I know that some people see you as an expert and for this reason it will be positive if you do decide to continue cooperation with the project in the future. Of course, this is mainly up to you.


You nailed it with this one. I entirely agree with you, I think Ohad has the right idea. I also commend HMC for offering their commitment to the project. You can't beat loyalty, especially in a startup environment.
botija
Sr. Member
****
Offline Offline

Activity: 328



View Profile
September 27, 2016, 12:19:29 AM
 #1375

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?

his status is up to him. he's welcome to collaborate on tau as much as he wants, and was always so.

Well, the very short form explanation is that nobody on the project except Ohad believes either that there is any problem with the originally planned design, or that his new plan is even suitable to construct a "useful" tau.  During discussion of our concerns, Ohad "went off" on the most active developer (stoopkid) and kicked him off of the project.  Every other member of the "team" (including myself) then basically stopped development and effectively left the project.  This means that Ohad has now effectively lost his second team entirely, and is once again on his project alone.

To my knowledge, in the time (months) since, no new development has occurred.

I still keep my commitment to Ohad to attempt to verify any implementation which he brings forward.

I'm also still happy to explain the original design premise to anyone who would like to know about it.



What were the concerns that you guys had that Ohad didn't agree with?
LiskEnterprise
Sr. Member
****
Offline Offline

Activity: 258


View Profile
September 27, 2016, 03:09:37 AM
 #1376


I'm also still happy to explain the original design premise to anyone who would like to know about it.


Yes it would be great if you could explain it here

http://heatledger.com LIVE ICO 3.0 GENERATION CRYPTO WITH COMPANY STOCK IPO OPTIONS
MrWhiteBites
Hero Member
*****
Offline Offline

Activity: 588


DOVU Blockchain Powered Mobility


View Profile
September 27, 2016, 05:44:03 AM
 #1377

If you are on Facebook, make sure to join the Agoras Tau-chain page!

They just posted a nice update on the progress made recently.

https://blog.omni.foundation/2016/09/21/state-of-the-layer-all-hands-sep-20-2016/


 
 
 
 
 
██████████▄▄              ▄███████▄           ██▄       ▄██        ███       ███
███▀▀▀▀▀▀▀███▄          ▄██▀▀   ▀▀▀           ▐██▄     ▄██▀        ███       ███
███        ▀██▌        ██▀         ▐██         ▐██▄   ▄██▀         ███       ███
███         ███       ███           ██▌         ▀██▄ ▄██▀          ███       ███
███         ██▌       ▐██           ██▌          ▀██▄██▀           ███       ███
███       ▄███         ▀█▀        ▄███            ▀███▀            ███▄     ▄███
████████████▀             ▄██▄▄▄████▀              ▀█▀              ▀███▄▄▄███▀
▀▀▀▀▀▀▀▀▀▀                 ▀▀▀▀▀▀▀                  ▀                 ▀▀▀▀▀▀▀




▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬
.TOKEN PRESALE.
SEPTEMBER 3

▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬▬▬ ⬢ ⬢ ▬▬▬▬▬



 
 
 
                 ▄████▄▄    ▄
██             ████████████▀
████▄         █████████████▀
▀████████▄▄   █████████████
▄▄█████████████████████████
██████████████████████████
  ▀██████████████████████
   █████████████████████
    ▀█████████████████▀
      ▄█████████████▀
▄▄███████████████▀
   ▀▀▀▀▀▀▀▀▀▀▀

 
 
 
 
                  ▄▄██▄
              ▄▄█▀▀  ██
          ▄▄█▀▀      █▌
      ▄▄█▀▀   ▄▀    ██
 ▄▄▄█▀▀    ▄█▀     ▐█
██      ▄██▀       █▌
 ▀▀██▄███▀        ██
     ██▀▀█▄▄▄     █▌
      █▄  ██▀▀▀█▄██
       █▄█▀
NILIcoin
Hero Member
*****
Offline Offline

Activity: 617


View Profile
September 27, 2016, 10:11:38 AM
 #1378

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?

his status is up to him. he's welcome to collaborate on tau as much as he wants, and was always so.

Well, the very short form explanation is that nobody on the project except Ohad believes either that there is any problem with the originally planned design, or that his new plan is even suitable to construct a "useful" tau.  During discussion of our concerns, Ohad "went off" on the most active developer (stoopkid) and kicked him off of the project.  Every other member of the "team" (including myself) then basically stopped development and effectively left the project.  This means that Ohad has now effectively lost his second team entirely, and is once again on his project alone.

To my knowledge, in the time (months) since, no new development has occurred.

I still keep my commitment to Ohad to attempt to verify any implementation which he brings forward.

I'm also still happy to explain the original design premise to anyone who would like to know about it.



I trust Ohad completely, if he says that after deep investigation he found that the old design will not serve the project's purposes as planned or to the fullest, and that there is a preferable design to use, I fully back him up on this. I get the feeling that there is an ego issue here to some extent. I am certain that there was no real reason for Ohad to switch to a new logic if he did not truly believe that it is the right way to go. I am also certain that the project will move forward with you or without you. I know that some people see you as an expert and for this reason it will be positive if you do decide to continue cooperation with the project in the future. Of course, this is mainly up to you.


You nailed it with this one. I entirely agree with you, I think Ohad has the right idea. I also commend HMC for offering their commitment to the project. You can't beat loyalty, especially in a startup environment.

I think that all of us who follow and are invested in the project have a difficult time with this last phase in which the two main developers Ohad and HMC are in such disagreement regarding the further development of this project. However we should bare in mind that this all is the outcome of their deep personal commitment to create the tauchain in the best possible way and their "dispute" is about the logical and mathematical foundation of the language in which the tau should be written. We should  feel blessed for putting our trust in such hands (minds).

 

cryptico
Hero Member
*****
Offline Offline

Activity: 700



View Profile
September 27, 2016, 04:23:21 PM
 #1379

...(Even though I am (apparently) no longer "on" the Tau project.)...

What is the status with him?

his status is up to him. he's welcome to collaborate on tau as much as he wants, and was always so.

Well, the very short form explanation is that nobody on the project except Ohad believes either that there is any problem with the originally planned design, or that his new plan is even suitable to construct a "useful" tau.  During discussion of our concerns, Ohad "went off" on the most active developer (stoopkid) and kicked him off of the project.  Every other member of the "team" (including myself) then basically stopped development and effectively left the project.  This means that Ohad has now effectively lost his second team entirely, and is once again on his project alone.

To my knowledge, in the time (months) since, no new development has occurred.

I still keep my commitment to Ohad to attempt to verify any implementation which he brings forward.

I'm also still happy to explain the original design premise to anyone who would like to know about it.



Hello HMC I can see that Ohad put recently a detailed blog post on why he thinks that the old model for tau will not be working for what tau is meant to be in here:

http://www.idni.org/blog

Can you clarify which part of this post you do not agree on so that maybe you can have a public discussion with Ohad about this? I hope that a public discussion on the ideas and concept is welcomed and can benefit Tau design at the end.

As an Investor I always have seen ohad very open to feedbacks. Since I know you have contributed since the begenning of this project I would like to hear your opinion on why do you think Ohad is making a mistake based on a critique of the article above.

Thank you.

.WildBeastBlock.       █
 ▄     █▄    ▄
 █     ██     █
 █      █▀   ███
 █▄▄   ▄█    ███
███   ▀██▄   ▀█
 █▀     █▀   ██
 █    ▄███   ██▀
 ██  ▀▀██   ▄▄█
 ██▄    ██▄  ██▄
 ▄█    ▄██    █
▀██     █    ███
 ██    ▄██   ▀██
 ██▀    ██▀   █
  █     █▀    █
  █     █     █
  ▀     █     ▀
       █
 ▄     █▄    ▄
 █     ██     █
 █      █▀   ███
 █▄▄   ▄█    ███
███   ▀██▄   ▀█
 █▀     █▀   ██
 █    ▄███   ██▀
 ██  ▀▀██   ▄▄█
 ██▄    ██▄  ██▄
 ▄█    ▄██    █
▀██     █    ███
 ██    ▄██   ▀██
 ██▀    ██▀   █
  █     █▀    █
  █     █     █
  ▀     █     ▀
  with New Wallet & Smart Message Insertion
  with Smart Doc Insertion
  Free WBB Chat App | Fully Secure and Private
HunterMinerCrafter
Sr. Member
****
Offline Offline

Activity: 420


View Profile
September 27, 2016, 08:21:48 PM
 #1380

Can you clarify which part of this post you do not agree on so that maybe you can have a public discussion with Ohad about this? I hope that a public discussion on the ideas and concept is welcomed and can benefit Tau design at the end.


We have already had significant public discussion in the IRC channel, which did not lead to any resolutions, but I will still summarize the state of affairs here for you.

Quote
MLTT does not have decidable typecheck in general.

While technically true for general MLTT, it is not a problem in practice in an MLTT TFPL, particularly for tau.  If it were generally a problem, languages like agda/idris would not be particularly useful for verified programming.  In the (few, largely meta-theoretical) cases where this does significantly complicate proofs in practice, postulates can be used to sidestep the problems/complexities.  (This was the approach wrt "tau classic" design as well, community-agreed postulate rules within contexts.)

Quote
But it is not the case that everything expressible is decidable.
If you restrict "expressible" to exclude meta-theoretic propositions, partial propositions, and non-productive propositions (again, as agda/idris do) this statement is simply false.

Quote
This situation led me to a conclusion that MLTT was a wrong choice, and another logic should be considered.

OK, let's assume he were right, and MLTT was somehow not suitable - for the sake of answering your actual question of what the problems with the proposed alternative are seen to be.....

Quote
The remedy for this situation is to pick a different logic, a "complete" one.

As we (the non-Ohad "team" members) see it, tau (classic) necessitates a "computationally complete" language.  We believe this is the case due to the problem statement itself: a fully generalized decentralized network.  In order to be "general" the logic of the network needs to be able to "compute any computable function" in the processing of its rules, as otherwise you restrict the set of possible rules that the network can employ, and lose generality.  Because tau also necessitates consistency (I don't think anyone will argue that point) the requirement of a computationally complete language would imply the necessity of a logically *incomplete* language.  This is largely the central "dispute" between Ohad and the rest of the "team" at this time.

Let's go on to see what alternative logic he did choose, though, to see the "lesser point of contention"...

Quote
Specifically, certain classes of Monadic Second Order Logic (MSO or MSOL) were found to be complete and consistent since the 1960s, but they did not have satisfactory expressiveness abilities.

The expressiveness of MSO is the specific concern.  We do not (even after months of researching and discussion as to if Ohad "might be right") see how the "self defining nomic" that is tau can be expressed in MSO.  Specifically, we believe that such an expression necessitates general algebraic data types, which MSO can not express.  Ohad will be the first to tell you that MSO omits multiplication, but what he seems to overlook is that it also omits "general products" which significantly limits the ability to even express something like a blockchain, let alone a tau.

Quote
To mention three advantages: the existence of a direct computational model, the ability to infer programs, and simplicity of use.

The rest of the "team" actually got "luls for days" out of this line.  MLTT has a computational model, has a term inference procedure, and is only slightly harder to use than, say, Haskell or OCaml.  If these things were not the case then the MLTT programming languages and proof systems simply would not be.  As it is, they not only are, but are the most common and popular form of verified programming today.

Quote
It cannot possibly exist since automatons are an explicit finite decision procedure, while dependent types are not completely decidable.

Again, true of general MLTT but not true of an MLTT TFPL, which omits metatheoretic, partial, and non-productive expressions.  Such a language does have a direct automata translation, which is even employed in the "backends" of some MLTT based systems for efficient code generation.

Quote
This task is undecidable on MLTT

Actually, it is "semi-decidable"....

Quote
We can have correct-by-construction programs and contracts, by merely stating what we expect them to do, and commanding the machine to find such a structure that admits our requirements.

Being semi-decidable, an MLTT TFPL can employ this as well.  The only difference is that instead of being a strict decision procedure, it will come back with either a program, a proof of impossibility of the program, or a question about a refinement to our specification.  After a finite number of such questions, it will come back with either a program or a proof of impossibility.  As term inference is an "offline" process in tau usage, this semi-decidability is acceptable.

Quote
MSO logic is simpler to use for the reasons mentioned above: it is a simpler language, and does not require human intervention to convince that a true statement is true indeed.

I don't see MSO as particularly "simpler," myself.  Further, given an "already expressed" proposition and its proof, no human intervention is required to convince an MLTT framework of it, either.  These statements seems entirely disconnected, and do not really follow from the prior line of reasoning.  Which is "simpler" is subjective and debatable. Also, in *any* type system, something that passes typecheck passes typecheck, so I'm not sure what is really trying to be said on this latter point.

Quote
It also represents a more intuitive logic:

Whether classical or constructivist logic is "more intuitive" is a highly subjective matter.  Personally, I find them rather equally intuitive.  I've also spoken to people who reject classical outright as non-intuitive, and people who reject intuitionistic outright as non-intuitive.

Quote
More formally, intuitionistic logic explicitly negates the law of excluded middle.

Erm, no.  It does not have "not (p or (not p))" as an axiom, as this statement would suggest.

Quote
And this is of course highly unintuitive, and allows the possibility of human mistakes especially over complicated structures.

I'm not sure what this is intended to mean.  Although "LEM" is not axiomatic in MLTT, neither is its negation, so it can always be assumed as a lemma for any given proposition.

Quote
On the other hand, MSO is a Classical logic, means it includes the law of excluded middle: it's simply impossible for anything to be both true and false at the same time.

Being consistent, this is also impossible under MLTT, of course.

Quote
The middle is completely excluded, while if we add this rule to MLTT, it loses its consistency.

MLTT only loses consistency if LEM is included as axiomatic. LEM can be freely applied over any proposition, otherwise.  This is generally so well understood as a "basic concept" in the intuitionistic logic that Ohad's apparent misunderstanding of it has led some of us (myself and stoop, in particular) to question some of Ohad's grasp of the fundamentals of constructive intuitionistic logic, in the first place.  (I'm particularly baffled as to how he can seemingly grasp Glivenko and the Godel-Gentzen negative translation, but cannot grasp the simple matter of the usage of LEM in MLTT.... it seems to me that to understand the one means to understand the other.....)

IN SUMMARY:
The first part of this argument is not really "new" or unique to tau's situation.  The question of "general suitability" of intuitionistic logic goes back to the 1920s.  I doubt that we will resolve this debate, but suffice to say that Ohad is the only one from the "team" who believes that MLTT is unsuitable specifically for tau.

IMO, the second part of this argument is the much more central matter:  Can MSO be used to construct a tau at all.  Nobody else from the "team" seems to be even remotely convinced that it could, and everyone (Ohad included) seems to have a strong understanding and agreement that if it can (at least to some degree) then there is a necessary loss of generality in doing so, which means that the original goal of a fully generalized overlay network would not be able to be met by it.  (This latter point can be easily seen by the fact that MSO is a strict weakening relative to MLTT - anything provable in MSO is provable in MLTT, but the reverse is not true.  This means that there are some rules/topologies which could be enacted on tau classic which could not have parallels on mso tau.  We see this as a *big* concern.)


Pages: « 1 ... 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 67 68 [69] 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 ... 146 »
  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!