Bitcoin Forum
June 17, 2018, 10:30:39 PM *
News: Latest stable version of Bitcoin Core: 0.16.1  [Torrent]. (New!)
 
   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 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 ... 158 »
  Print  
Author Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network  (Read 280388 times)
lexxus
Sr. Member
****
Offline Offline

Activity: 321
Merit: 250


View Profile
May 12, 2016, 09:12:20 PM
 #901

How close tau language will be to languages such as irdis/agda?

quite same logic/typesystem (Martin-Lof type theory), but the syntax is completely different (namely, semantic web family e.g. NQuads, Turtle, or Notation3)

btw, talking about irdis...
http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf

but it all actually misses the most important drawback of ethereum contracts - the need to re-execute the whole contract by each and every participant vs verification of a proof (which is much faster).
Automated Bitcoin Fork Extraction Tool WE DO TOUGH WALLETS: BCH | BTG | BCD | SBTC | UBTC | B2X | BCX | BTF Electrum 2FA, Trezor, Ledger, SegWit, Bech32
Advertised sites are not endorsed by the Bitcoin Forum. They may be unsafe, untrustworthy, or illegal in your jurisdiction. Advertise here.
1529274639
Hero Member
*
Offline Offline

Posts: 1529274639

View Profile Personal Message (Offline)

Ignore
1529274639
Reply with quote  #2

1529274639
Report to moderator
1529274639
Hero Member
*
Offline Offline

Posts: 1529274639

View Profile Personal Message (Offline)

Ignore
1529274639
Reply with quote  #2

1529274639
Report to moderator
1529274639
Hero Member
*
Offline Offline

Posts: 1529274639

View Profile Personal Message (Offline)

Ignore
1529274639
Reply with quote  #2

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

Activity: 892
Merit: 1000

http://idni.org


View Profile WWW
May 12, 2016, 09:31:06 PM
 #902

How close tau language will be to languages such as irdis/agda?

quite same logic/typesystem (Martin-Lof type theory), but the syntax is completely different (namely, semantic web family e.g. NQuads, Turtle, or Notation3)

btw, talking about irdis...
http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf

but it all actually misses the most important drawback of ethereum contracts - the need to re-execute the whole contract by each and every participant vs verification of a proof (which is much faster).

that's very correct. a super recomputer.

Tau-Chain & Agoras
nexus20001
Full Member
***
Offline Offline

Activity: 174
Merit: 100


🌟 COMSA ICO: 10/02/17 🌟


View Profile WWW
May 13, 2016, 06:02:06 PM
 #903

ohad, how Tau-Chain is going? will we see compiler in the next month?
ICOcountdown.com
Hero Member
*****
Offline Offline

Activity: 714
Merit: 500


View Profile WWW
May 13, 2016, 06:05:09 PM
 #904

ohad, how Tau-Chain is going? will we see compiler in the next month?

Check out the github

https://github.com/naturalog/tauchain

They are working continuously and very hard each day Smiley

mr001
Full Member
***
Offline Offline

Activity: 257
Merit: 100


https://i.imgur.com/anpUpg7.jpg


View Profile WWW
May 13, 2016, 07:11:32 PM
 #905

The price on Bittrex is still in free  fall. This is not a professional ICO. For the early investor this is not nice. Sad
I will ask Ohad, ist there only investors on Bittrex or do you sell also tokens on this platform?
ohad
Hero Member
*****
Offline Offline

Activity: 892
Merit: 1000

http://idni.org


View Profile WWW
May 13, 2016, 08:56:53 PM
 #906

The price on Bittrex is still in free  fall. This is not a professional ICO. For the early investor this is not nice. Sad
I will ask Ohad, ist there only investors on Bittrex or do you sell also tokens on this platform?

most of the tokens are being and were sold to people who contact me via the website/email.
such a low price on bittrex is for the first time, but as usual, in relatively tiny amounts, so one cannot really judge according to them.
the current stage is very early. once the wider public will realize what we have here (especially after tau will be ready but also before with our PR efforts together with natural propagation of ideas) things will look completely different.

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

Activity: 808
Merit: 1002


View Profile
May 13, 2016, 09:59:12 PM
 #907

when the pre-sales tokens end?

I am also curious when it is ending, seems important since the part that is left over will be burned, decreasing the total amount.
ohad
Hero Member
*****
Offline Offline

Activity: 892
Merit: 1000

http://idni.org


View Profile WWW
May 13, 2016, 10:10:34 PM
 #908

when the pre-sales tokens end?

I am also curious when it is ending, seems important since the part that is left over will be burned, decreasing the total amount.

the dilution is only linear, but more people involved is exponential power (and value)

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

Activity: 812
Merit: 501


btcstakes.com


View Profile WWW
May 13, 2016, 10:35:08 PM
 #909

when the pre-sales tokens end?

I am also curious when it is ending, seems important since the part that is left over will be burned, decreasing the total amount.

the dilution is only linear, but more people involved is exponential power (and value)

I hope!!  Undecided

           ▀██▄ ▄██▀
            ▐█████▌
           ▄███▀███▄
         ▄████▄  ▀███▄
       ▄███▀ ▀██▄  ▀███▄
     ▄███▀  ▄█████▄  ▀███▄
   ▄███▀  ▄███▀ ▀███▄  ▀███▄
  ███▀  ▄████▌   ▐████▄  ▀███
 ███   ██▀  ██▄ ▄██  ▀██   ███
███   ███  ███   ███  ███   ███
███   ███   ███████   ███   ███
 ███   ███▄▄       ▄▄███   ███
  ███▄   ▀▀█████████▀▀   ▄███
   ▀████▄▄           ▄▄████▀
      ▀▀███████████████▀▀
DeepOnion      ▄▄██████████▄▄
    ▄███▀▀      ▀▀█▀   ▄▄
   ███▀              ▄███
  ███              ▄███▀   ▄▄
 ███▌  ▄▄▄▄      ▄███▀   ▄███
▐███  ██████   ▄███▀   ▄███▀
███▌ ███  ███▄███▀   ▄███▀
███▌ ███   ████▀   ▄███▀
███▌  ███   █▀   ▄███▀  ███
▐███   ███     ▄███▀   ███
 ███▌   ███  ▄███▀     ███
  ███    ██████▀      ███
   ███▄             ▄███
    ▀███▄▄       ▄▄███▀
      ▀▀███████████▀▀
.....DeepVault.....
....Blockchain File Signatures....
...deeponion.org...
ICOcountdown.com
Hero Member
*****
Offline Offline

Activity: 714
Merit: 500


View Profile WWW
May 14, 2016, 04:02:42 AM
 #910

The price doesn't mean anything currently, in my opinion this should be at a 42 million market cap at least, unfotunately I do not think people know what this technology means yet.

sotisoti
Hero Member
*****
Offline Offline

Activity: 756
Merit: 500


View Profile
May 14, 2016, 07:00:33 AM
 #911

The order book @ https://bittrex.com/Market/Index?MarketName=BTC-AGRS is empty, is it still live?
ICOcountdown.com
Hero Member
*****
Offline Offline

Activity: 714
Merit: 500


View Profile WWW
May 14, 2016, 07:13:17 AM
 #912

The order book @ https://bittrex.com/Market/Index?MarketName=BTC-AGRS is empty, is it still live?

I can see the support here shows around 16 BTC buy support currently.

Parano
Member
**
Offline Offline

Activity: 118
Merit: 10


View Profile
May 14, 2016, 01:51:54 PM
 #913

The price doesn't mean anything currently, in my opinion this should be at a 42 million market cap at least, unfotunately I do not think people know what this technology means yet.

I totally agree on this, the idea is great but without marketing will be difficult to show the word how good this is! Keep the hard work

cryptodv
Hero Member
*****
Offline Offline

Activity: 812
Merit: 501


btcstakes.com


View Profile WWW
May 14, 2016, 03:44:09 PM
 #914

Any update? Huh

           ▀██▄ ▄██▀
            ▐█████▌
           ▄███▀███▄
         ▄████▄  ▀███▄
       ▄███▀ ▀██▄  ▀███▄
     ▄███▀  ▄█████▄  ▀███▄
   ▄███▀  ▄███▀ ▀███▄  ▀███▄
  ███▀  ▄████▌   ▐████▄  ▀███
 ███   ██▀  ██▄ ▄██  ▀██   ███
███   ███  ███   ███  ███   ███
███   ███   ███████   ███   ███
 ███   ███▄▄       ▄▄███   ███
  ███▄   ▀▀█████████▀▀   ▄███
   ▀████▄▄           ▄▄████▀
      ▀▀███████████████▀▀
DeepOnion      ▄▄██████████▄▄
    ▄███▀▀      ▀▀█▀   ▄▄
   ███▀              ▄███
  ███              ▄███▀   ▄▄
 ███▌  ▄▄▄▄      ▄███▀   ▄███
▐███  ██████   ▄███▀   ▄███▀
███▌ ███  ███▄███▀   ▄███▀
███▌ ███   ████▀   ▄███▀
███▌  ███   █▀   ▄███▀  ███
▐███   ███     ▄███▀   ███
 ███▌   ███  ▄███▀     ███
  ███    ██████▀      ███
   ███▄             ▄███
    ▀███▄▄       ▄▄███▀
      ▀▀███████████▀▀
.....DeepVault.....
....Blockchain File Signatures....
...deeponion.org...
cryptico
Hero Member
*****
Offline Offline

Activity: 700
Merit: 500



View Profile
May 15, 2016, 01:02:20 AM
 #915

Hello is there an official date for the ico sale end date?

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

Activity: 1400
Merit: 1003


Forget-about-it


View Profile
May 15, 2016, 01:19:04 AM
 #916

Hello is there an official date for the ico sale end date?
If the coins sell out or the codes finished. Not close to either at the moment.

$MAID & $BTC other than that some short hodls and some long held garbage.
fmiboy
Full Member
***
Offline Offline

Activity: 187
Merit: 100


View Profile
May 15, 2016, 06:47:31 AM
 #917

The price doesn't mean anything currently, in my opinion this should be at a 42 million market cap at least, unfotunately I do not think people know what this technology means yet.

I totally agree on this, the idea is great but without marketing will be difficult to show the word how good this is! Keep the hard work

I agree with Parano, marketing is very important. And doing right marketing is crucial especially during ICO. I think we have learned power of marketing with Ethereum projects. And the greater user base during ICO the greater chance there is to success. As a clear example we can see Nxt and Ethereum, they both are 2nd generation even there are minor differences, biggest factor was marketing and crowd sale structure. Just my 2 cent
ohad
Hero Member
*****
Offline Offline

Activity: 892
Merit: 1000

http://idni.org


View Profile WWW
May 15, 2016, 06:58:37 AM
 #918

The price doesn't mean anything currently, in my opinion this should be at a 42 million market cap at least, unfotunately I do not think people know what this technology means yet.

I totally agree on this, the idea is great but without marketing will be difficult to show the word how good this is! Keep the hard work

I agree with Parano, marketing is very important. And doing right marketing is crucial especially during ICO. I think we have learned power of marketing with Ethereum projects. And the greater user base during ICO the greater chance there is to success. As a clear example we can see Nxt and Ethereum, they both are 2nd generation even there are minor differences, biggest factor was marketing and crowd sale structure. Just my 2 cent

agreed and significant efforts are being done. will be felt when finished

Tau-Chain & Agoras
mr001
Full Member
***
Offline Offline

Activity: 257
Merit: 100


https://i.imgur.com/anpUpg7.jpg


View Profile WWW
May 15, 2016, 08:26:40 AM
 #919

The price doesn't mean anything currently, in my opinion this should be at a 42 million market cap at least, unfotunately I do not think people know what this technology means yet.

I totally agree on this, the idea is great but without marketing will be difficult to show the word how good this is! Keep the hard work

I agree with Parano, marketing is very important. And doing right marketing is crucial especially during ICO. I think we have learned power of marketing with Ethereum projects. And the greater user base during ICO the greater chance there is to success. As a clear example we can see Nxt and Ethereum, they both are 2nd generation even there are minor differences, biggest factor was marketing and crowd sale structure. Just my 2 cent
Yes, i agree also. Nxt ICO was very bad and Ethereum was supported from big players like banks. But Tau is a different stuff, this is a really 2nd generation of internet if it works. It is a very ambitious project und maybe Ohads team is to weak for that. My suggestion to invite more thinkers to this team.
ICOcountdown.com
Hero Member
*****
Offline Offline

Activity: 714
Merit: 500


View Profile WWW
May 15, 2016, 09:40:07 PM
 #920

The price doesn't mean anything currently, in my opinion this should be at a 42 million market cap at least, unfotunately I do not think people know what this technology means yet.

I totally agree on this, the idea is great but without marketing will be difficult to show the word how good this is! Keep the hard work

I agree with Parano, marketing is very important. And doing right marketing is crucial especially during ICO. I think we have learned power of marketing with Ethereum projects. And the greater user base during ICO the greater chance there is to success. As a clear example we can see Nxt and Ethereum, they both are 2nd generation even there are minor differences, biggest factor was marketing and crowd sale structure. Just my 2 cent
Yes, i agree also. Nxt ICO was very bad and Ethereum was supported from big players like banks. But Tau is a different stuff, this is a really 2nd generation of internet if it works. It is a very ambitious project und maybe Ohads team is to weak for that. My suggestion to invite more thinkers to this team.

I think you should analyse the code and what they do everyday, because I definately do and what they are talking about is very serious and complex stuff. The team is veterans of this community also.

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 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 ... 158 »
  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!