Bitcoin Forum
July 26, 2017, 05:03:52 PM *
News: BIP91 seems stable: there's probably only slightly increased risk of confirmations disappearing. You should still prepare for Aug 1.
 
   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 97 ... 136 »
  Print  
Author Topic: Tau-Chain and Agoras Official Thread: Generalized P2P Network  (Read 216502 times)
lexxus
Sr. Member
****
Offline Offline

Activity: 322


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

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).
1501088632
Hero Member
*
Offline Offline

Posts: 1501088632

View Profile Personal Message (Offline)

Ignore
1501088632
Reply with quote  #2

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

Posts: 1501088632

View Profile Personal Message (Offline)

Ignore
1501088632
Reply with quote  #2

1501088632
Report to moderator
1501088632
Hero Member
*
Offline Offline

Posts: 1501088632

View Profile Personal Message (Offline)

Ignore
1501088632
Reply with quote  #2

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

Activity: 861

http://idni.org


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

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
Jr. Member
*
Offline Offline

Activity: 53


View Profile
May 13, 2016, 06:02:06 PM
 #923

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

Activity: 490


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

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: 174



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

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: 861

http://idni.org


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

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: 728


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

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: 861

http://idni.org


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

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: 490


btcstakes.com


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

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

ICOcountdown.com
Hero Member
*****
Offline Offline

Activity: 490


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

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: 616


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

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

Activity: 490


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

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


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

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: 490


btcstakes.com


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

Any update? Huh

cryptico
Hero Member
*****
Offline Offline

Activity: 700



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

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: 1120


Forget-about-it


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

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: 184


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

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: 861

http://idni.org


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

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: 174



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

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: 490


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

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 97 ... 136 »
  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!