--- Log opened Sun Jun 19 00:00:34 2016 00:04 -!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection] 00:06 -!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards 00:09 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds] 00:10 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 264 seconds] 00:11 -!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has quit [Ping timeout: 260 seconds] 00:13 -!- unknown| [~unknown@73.114.18.214] has quit [Ping timeout: 244 seconds] 00:14 -!- unknown| [~unknown@73.114.18.214] has joined #bitcoin-wizards 00:19 -!- gavinandresen [~gavin@unaffiliated/gavinandresen] has quit [Ping timeout: 260 seconds] 00:21 -!- gavinandresen [~gavin@unaffiliated/gavinandresen] has joined #bitcoin-wizards 00:22 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards 00:26 -!- jonasschnelli [~jonasschn@2a01:4f8:200:7025::2] has quit [Changing host] 00:26 -!- jonasschnelli [~jonasschn@unaffiliated/jonasschnelli] has joined #bitcoin-wizards 00:30 -!- unknown| [~unknown@73.114.18.214] has quit [Read error: Connection reset by peer] 00:30 -!- Ylbam [uid99779@gateway/web/irccloud.com/x-ujfhslecglvaegzx] has joined #bitcoin-wizards 00:45 -!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has quit [Ping timeout: 260 seconds] 00:55 -!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has joined #bitcoin-wizards 00:56 -!- ManfredMacx [~hyperion@78-1-131-182.adsl.net.t-com.hr] has joined #bitcoin-wizards 01:03 < zooko> gmaxwell: it's a performance issue. We can't implement SNARK prover in EVM because prohibitively expensive. 01:04 < zooko> Oh wait, I mean verifier. 01:04 < zooko> And actually, now that I say that, I'm not entirely sure that it is true! 01:07 < gmaxwell> it would be insanely so. 01:07 < gmaxwell> by comment earlier was mostly a joke about the dao theft, a million ether would pay for a lot of contract execution though. 01:09 -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards 01:14 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards 01:23 -!- bramc [634b58ce@gateway/web/freenode/ip.99.75.88.206] has quit [Ping timeout: 250 seconds] 01:24 -!- JackH [~Jack@79-73-186-51.dynamic.dsl.as9105.com] has joined #bitcoin-wizards 01:26 -!- roman_ [~quassel@2a01:cb1d:4a4:2e00:7876:86c8:e6d6:cf9b] has joined #bitcoin-wizards 01:46 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards 01:50 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 240 seconds] 02:07 -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Remote host closed the connection] 03:09 -!- MoALTz [~no@78-11-183-124.static.ip.netia.com.pl] has joined #bitcoin-wizards 03:18 -!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has quit [Ping timeout: 244 seconds] 03:20 < bitjedi> 12:22 AM please tell me more about who wants to fund it. <-- assuming TheDAO hacker wants the option of eth privacy layers like zksnarks, ringct, etc.... asap. has eth, will fund. lol. 03:36 -!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has quit [Remote host closed the connection] 03:40 < nsh> hi zooko :) please don't call your awesome cryptothings sprouts kthx 03:58 -!- nonaTure [~nonaTure@199.15.128.146] has joined #bitcoin-wizards 04:06 -!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has joined #bitcoin-wizards 04:06 -!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has quit [Client Quit] 04:12 -!- nabu [~nabu@192.40.88.72] has quit [Quit: Konversation terminated!] 04:14 -!- nabu [~nabu@192.40.88.12] has joined #bitcoin-wizards 04:19 -!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards 04:40 -!- pro [~pro@unaffiliated/pro] has joined #bitcoin-wizards 04:48 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 250 seconds] 05:04 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards 05:08 -!- Burrito [~Burrito@unaffiliated/burrito] has joined #bitcoin-wizards 05:14 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Quit: Leaving] 05:16 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 250 seconds] 05:29 -!- N0S4A2 [~weechat@216-243-38-141.users.condointernet.net] has quit [Ping timeout: 264 seconds] 05:40 -!- Emcy [~MC@cpc3-swan1-0-0-cust336.7-3.cable.virginm.net] has joined #bitcoin-wizards 05:40 -!- Emcy [~MC@cpc3-swan1-0-0-cust336.7-3.cable.virginm.net] has quit [Changing host] 05:40 -!- Emcy [~MC@unaffiliated/mc1984] has joined #bitcoin-wizards 06:05 -!- vyvojar [~v@ns382631.ovh.net] has quit [Ping timeout: 250 seconds] 06:13 -!- nuke1989 [~nuke@178-88-119.dynamic.cyta.gr] has joined #bitcoin-wizards 06:22 -!- c0rw1n- [~c0rw1n@124.213-241-81.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards 06:23 -!- musalbas [~musalbas@2001:bc8:30c2:ff00::] has joined #bitcoin-wizards 06:25 -!- JHistone [~JHistone@cpc7-sgyl35-2-0-cust123.18-2.cable.virginm.net] has joined #bitcoin-wizards 06:34 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards 06:35 -!- NewLiberty [~NewLibert@2602:304:cff8:1580:a590:fe08:8804:c2a4] has joined #bitcoin-wizards 07:17 -!- King_Rex [~King_Rex@unaffiliated/king-rex/x-3258444] has joined #bitcoin-wizards 07:55 -!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds] 08:17 < kanzure> http://ryandoyle.net/assets/papers/Distributed_Bootstrapping_of_P2P_Networks-RDoyle.pdf 08:17 < kanzure> http://doc.tm.uka.de/2009/ipv6-contest-p2p-bootstrap.pdf 08:17 < kanzure> https://www.ipv6council.de/fileadmin/summit09/presentations/IDEA-pv6contest-p2p-bootstrapping.pdf 08:19 -!- spinza [~spin@197.93.182.128] has joined #bitcoin-wizards 08:35 -!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards 08:44 < nicolag> in order for stellar not to have two divergent statements being ratified by two different quorum slices, stellar needs to have these quorum slices to be interconnected, how do they guarantee that? 08:44 < nicolag> s/quorum slices/quorums/ 08:47 -!- Aranjedeath [~Aranjedea@unaffiliated/aranjedeath] has joined #bitcoin-wizards 08:49 < kanzure> nicolag: https://news.ycombinator.com/item?id=9342947 09:05 -!- PRab [~chatzilla@c-68-62-95-247.hsd1.mi.comcast.net] has quit [Quit: ChatZilla 0.9.92 [Firefox 47.0/20160604131506]] 09:07 -!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has joined #bitcoin-wizards 09:13 -!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 09:16 < katu_> kanzure: (re: random probing) this is actually how conficker p2p used to bootstrap 09:16 < katu_> (it indeed is rather resilient, as long the network is sufficiently large) 09:25 -!- netsinn [~jiggalato@198.16.176.10] has quit [Remote host closed the connection] 09:25 -!- c0rw1n_ [~c0rw1n@7.183-67-87.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards 09:26 -!- c0rw1n__ [~c0rw1n@7.183-67-87.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards 09:26 -!- c0rw1n- [~c0rw1n@124.213-241-81.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 244 seconds] 09:26 -!- c0rw1n__ is now known as c0rw1n- 09:26 -!- c0rw1n [~c0rw1n@124.213-241-81.adsl-dyn.isp.belgacom.be] has quit [Ping timeout: 276 seconds] 09:27 -!- c0rw1n_ [~c0rw1n@7.183-67-87.adsl-dyn.isp.belgacom.be] has quit [Read error: Connection reset by peer] 09:27 -!- c0rw1n- [~c0rw1n@7.183-67-87.adsl-dyn.isp.belgacom.be] has quit [Read error: Connection reset by peer] 09:27 -!- c0rw1n- [~c0rw1n@154.153-67-87.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards 09:28 -!- c0rw1n [~c0rw1n@154.153-67-87.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards 09:31 < kanzure> "Dafny: a language and program verifier for functional correctness" http://research.microsoft.com/en-us/projects/dafny/ 09:31 < kanzure> "KIV is a tool for formal systems development and interactive verification" http://www.isse.uni-augsburg.de/en/software/kiv/ 09:32 < kanzure> http://why3.lri.fr/ "Why3 is a platform for deductive program verification. It provides a rich language for specification and programming, called WhyML, and relies on external theorem provers, both automated and interactive, to discharge verification conditions." 09:33 < kanzure> "The continuation of functional programming by other means" (xavier leroy video) http://events.inf.ed.ac.uk/Milner2012/X_Leroy-html5-mp4.html 09:33 < kanzure> "The future of functional programming languages" (panel discussion video) http://events.inf.ed.ac.uk/Milner2012/Monday_Panel-html5-mp4.html 09:36 < kanzure> whatever happened to that coq/bitcoin thing, https://bitcointalk.org/index.php?topic=949942.0 09:36 < kanzure> hm git repo has been removed https://github.com/billlwhite/ledgertheory 09:37 < bsm1175321> https://github.com/bitemyapp/ledgertheory 09:38 < kanzure> alright. 09:40 -!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has joined #bitcoin-wizards 09:41 -!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has quit [Client Quit] 09:41 < bsm1175321> It's basically a UTXO set commitment as-a-ledger, AFAICT... 09:42 < bsm1175321> He's also tracking branches of the UTXO commitment Merkle tree which are empty. So his Merkle tree will have roughly twice as many leaves as there are outputs. 09:43 -!- netsin_ [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 09:43 < bsm1175321> But, proofs of absence in the UTXO set follow in a straightforward manner.... 09:48 -!- netsin_ [~jiggalato@198.16.176.10] has quit [] 09:48 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards 09:48 -!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 09:48 -!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has joined #bitcoin-wizards 09:56 -!- netsinn [~jiggalato@198.16.176.10] has quit [Remote host closed the connection] 09:58 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 264 seconds] 10:02 -!- netsin_ [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 10:03 -!- netsin_ [~jiggalato@198.16.176.10] has quit [Remote host closed the connection] 10:08 -!- nonaTure [~nonaTure@199.15.128.146] has quit [Ping timeout: 260 seconds] 10:08 < kanzure> seems that "dag stuff must pick things that increases the size of the set of ancestors" is an obvious result that others are intuiting, https://bitcointalk.org/index.php?topic=1504649.20 10:10 < bsm1175321> I've been assuming it all along. You want to create the highest work chain or you risk orphaning your own blocks. 10:13 < bsm1175321> Eyeballs bleeding...word salad. (closes bitcointalk tab) Back to braids... 10:27 -!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds] 10:41 -!- N0S4A2 [~weechat@216-243-38-141.users.condointernet.net] has joined #bitcoin-wizards 10:43 -!- zooko [~user@2601:281:8000:8387:75d5:557e:7670:63d0] has quit [Ping timeout: 250 seconds] 10:43 -!- ManfredMacx [~hyperion@78-1-131-182.adsl.net.t-com.hr] has quit [Quit: Leaving] 10:51 -!- johnwhitton [~johnwhitt@c-71-202-223-50.hsd1.ca.comcast.net] has quit [Quit: johnwhitton] 11:01 -!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards 11:12 -!- MaxSan_ [~one@www17.redstation.co.uk] has joined #bitcoin-wizards 11:26 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards 11:30 -!- yorick_ [~yorick@oftn/oswg-member/yorick] has joined #bitcoin-wizards 11:32 -!- yorick [~yorick@oftn/oswg-member/yorick] has quit [Ping timeout: 240 seconds] 11:35 -!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has joined #bitcoin-wizards 11:36 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 260 seconds] 11:42 -!- Ylbam_ [uid99779@gateway/web/irccloud.com/x-iwblcemccdfswzlg] has joined #bitcoin-wizards 11:43 -!- lmatteis_ [uid3300@gateway/web/irccloud.com/x-vknnreoyhlspkxbo] has joined #bitcoin-wizards 11:43 -!- robmyers_ [sid75499@gnu/social/robmyers] has joined #bitcoin-wizards 11:43 -!- runeks_ [sid21167@gateway/web/irccloud.com/x-vmbgpzfundpzucag] has joined #bitcoin-wizards 11:43 -!- qawap [~quassel@unaffiliated/qawap] has joined #bitcoin-wizards 11:44 -!- [7] [~quassel@rockbox/developer/TheSeven] has quit [Disconnected by services] 11:44 -!- TheSeven [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards 11:44 -!- Alanius_ [~alan@flyingarm.bar] has joined #bitcoin-wizards 11:45 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards 11:45 -!- null_rad- [Elite7851@gateway/shell/elitebnc/x-wyuddqkqgzlcnips] has joined #bitcoin-wizards 11:48 -!- Lightsword_ [~Lightswor@107.170.253.193] has joined #bitcoin-wizards 11:48 -!- GreenIsMyPepper_ [~GreenIsMy@2605:6400:20:11aa:189e:28a5:52ed:8948] has joined #bitcoin-wizards 11:50 -!- Netsplit *.net <-> *.split quits: mn3monic, qawap_, Giszmo, lmatteis, runeks, Lightsword, robmyers, Ylbam, face, Alanius, (+4 more, use /NETSPLIT to show all of them) 11:50 -!- Lightsword_ is now known as Lightsword 11:50 -!- Ylbam_ is now known as Ylbam 11:50 -!- lmatteis_ is now known as lmatteis 11:50 -!- robmyers_ is now known as robmyers 11:51 -!- d9b4bef9 [~d9b4bef9@web419.webfaction.com] has joined #bitcoin-wizards 11:51 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards 11:51 -!- runeks_ is now known as runeks 11:52 -!- Netsplit over, joins: musalbas 11:56 -!- face [~face@mail.hmel.org] has joined #bitcoin-wizards 11:56 -!- Guest31006 [~null@unaffiliated/madars] has joined #bitcoin-wizards 11:56 -!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has joined #bitcoin-wizards 12:16 -!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has quit [Quit: Leaving.] 12:24 -!- roman_ [~quassel@2a01:cb1d:4a4:2e00:7876:86c8:e6d6:cf9b] has quit [Remote host closed the connection] 12:28 -!- roman [~quassel@2a01:cb1d:4a4:2e00:1da7:783f:5079:33b4] has joined #bitcoin-wizards 12:34 -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards 12:37 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Quit: Leaving] 12:40 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards 12:49 -!- null_rad- is now known as null_radix 12:56 -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Read error: Connection reset by peer] 12:59 -!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards 13:03 -!- zooko [~user@2601:281:8000:8387:35d7:183d:ffbb:f950] has joined #bitcoin-wizards 13:05 < zooko> kanzure: apropos the format verification stuff you were posting: https://github.com/zcash/zcash/issues/1039 13:05 < zooko> *formal 13:06 < kanzure> this? http://research.microsoft.com/en-us/um/people/simonpj/Papers/financial-contracts/contracts-icfp.htm 13:07 -!- MaxSan_ [~one@www17.redstation.co.uk] has quit [Ping timeout: 240 seconds] 13:07 -!- davec_ [~davec@cpe-24-243-251-52.hot.res.rr.com] has quit [Read error: Connection reset by peer] 13:08 -!- davec_ [~davec@cpe-24-243-251-52.hot.res.rr.com] has joined #bitcoin-wizards 13:21 -!- Myagui-afk [~Myagui@chat.ccminer.org] has joined #bitcoin-wizards 13:24 -!- Myagui-afk is now known as Myagui 13:24 -!- nonaTure [~nonaTure@c-50-172-231-183.hsd1.il.comcast.net] has joined #bitcoin-wizards 13:29 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection] 13:30 -!- zooko [~user@2601:281:8000:8387:35d7:183d:ffbb:f950] has quit [Ping timeout: 250 seconds] 13:35 < kanzure> "On the impossibility of a merkle merge homomorphism" http://eprint.iacr.org/2016/617.pdf 13:39 -!- mn3monic [~guido@176.9.68.68] has joined #bitcoin-wizards 13:41 -!- nonaTure [~nonaTure@c-50-172-231-183.hsd1.il.comcast.net] has quit [Ping timeout: 250 seconds] 13:49 < nicolag> kanzure: I am on mobile, what is the above ^ ? 13:55 < kanzure> you asked a question about quorum slices, the link contains an answer 13:55 < kanzure> https://news.ycombinator.com/item?id=9342947 13:56 -!- whphhg [whphhg@gateway/vpn/mullvad/x-zsvtqpcazoedlzzl] has quit [Remote host closed the connection] 13:57 -!- whphhg [whphhg@gateway/vpn/mullvad/x-hihrneolelyxiolm] has joined #bitcoin-wizards 13:58 -!- MaxSan_ [~one@78.129.153.58] has joined #bitcoin-wizards 14:01 < nicolag> oh thanks kanzure, will look into it 14:03 < Taek> having multiple implementations means that softforks become more annoying to deal with, and hardforks become more dangerous 14:04 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Quit: Leaving] 14:04 < Taek> I guess if you are doing a 2-of-3 and running 3 full nodes with different implementations it may make hardforks safer 14:05 < gmaxwell> Taek: that doesn't make it safer; it just makes more than three times more resource intensive to run a node which will actually be consistent with the network. 14:05 < gmaxwell> Both false acceptance and false rejection are bad and can be turned into monetary losses. 14:06 < Taek> And I guess it's even more of an issue if there are like 5 or 6 implementations total and different people are chosing different ones for their set of 3 14:08 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards 14:10 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards 14:26 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards 14:27 -!- blackwraith [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards 14:29 -!- priidu [~priidu@unaffiliated/priidu] has quit [Ping timeout: 260 seconds] 14:31 -!- bramc [634b58ce@gateway/web/freenode/ip.99.75.88.206] has joined #bitcoin-wizards 14:32 < bramc> Trying to make standards more reliable by having multiple implementations has a very poor track record 14:36 -!- raedah [~x@172.56.42.64] has quit [Remote host closed the connection] 14:37 -!- raedah [~x@172.56.42.64] has joined #bitcoin-wizards 14:39 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards 14:39 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 272 seconds] 14:42 -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-rhktebbpnaflngpw] has joined #bitcoin-wizards 14:51 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Quit: Leaving.] 14:57 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards 15:01 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 244 seconds] 15:02 -!- JHistone [~JHistone@cpc7-sgyl35-2-0-cust123.18-2.cable.virginm.net] has quit [Quit: Leaving] 15:11 -!- raedah [~x@172.56.42.64] has quit [Remote host closed the connection] 15:11 -!- raedah [~x@172.56.42.64] has joined #bitcoin-wizards 15:18 -!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds] 15:23 -!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has joined #bitcoin-wizards 15:35 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection] 15:44 -!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Quit: :)] 15:46 -!- roman [~quassel@2a01:cb1d:4a4:2e00:1da7:783f:5079:33b4] has quit [Remote host closed the connection] 15:55 -!- HostFat [~HostFat@2-235-224-2.ip230.fastwebnet.it] has joined #bitcoin-wizards 15:57 -!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has quit [Remote host closed the connection] 16:03 -!- Starduster [~SD@unaffiliated/starduster] has quit [Ping timeout: 244 seconds] 16:07 -!- NewLiberty [~NewLibert@2602:304:cff8:1580:a590:fe08:8804:c2a4] has quit [Ping timeout: 250 seconds] 16:10 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Quit: Leaving] 16:23 -!- Guest31006 [~null@unaffiliated/madars] has quit [Quit: reconnect] 16:24 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Quit: Leaving] 16:26 -!- Madars [~null@unaffiliated/madars] has joined #bitcoin-wizards 16:28 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards 16:42 -!- johnwhitton [~johnwhitt@c-71-202-223-50.hsd1.ca.comcast.net] has joined #bitcoin-wizards 16:42 -!- johnwhitton [~johnwhitt@c-71-202-223-50.hsd1.ca.comcast.net] has quit [Client Quit] 16:46 -!- libertalis [~libertali@c-73-207-38-154.hsd1.ga.comcast.net] has joined #bitcoin-wizards 16:47 < dgenr8> consistency is very important, but is not the only desirable property. Taek surely means that having 6 implementations makes you resistant to bugs in any one of them. 16:48 < gmaxwell> It can make you vulnerable to bugs in all of them. 16:48 < gmaxwell> And divide the review and development resources thin enough to result in not one of them being correct. 16:50 -!- alpalp [~allen@2605:6000:f4d6:d600:d568:ff79:a7ec:9d8a] has joined #bitcoin-wizards 16:50 -!- alpalp [~allen@2605:6000:f4d6:d600:d568:ff79:a7ec:9d8a] has quit [Changing host] 16:50 -!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards 16:52 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards 16:54 < Taek> Consistency is significantly more important in a system like Bitcoin than in something like http 16:56 < Taek> I understand the idea that differneces between implementations can help you find ways that each vary from the high-level spec, but differences are only detected if consistency breaks, which means consensus is threatened 16:56 < Taek> and, the fact that you've divided resources may detract more than having two implementations helps 16:57 < gmaxwell> There are other alternatives, for example-- one we used for the opus audio codec. We wrote a whole seperate compatible implementation (of just the decoder); tested heavily against it, then threw it out. 16:58 < gmaxwell> (it wasn't thrown out ~entirely~ some new optimizations were discovered while it was being written and those went upstream eventually; but pretty much.) 17:08 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards 17:11 -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-rhktebbpnaflngpw] has quit [Quit: Connection closed for inactivity] 17:32 -!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Ping timeout: 252 seconds] 17:51 -!- Ylbam [uid99779@gateway/web/irccloud.com/x-iwblcemccdfswzlg] has quit [Quit: Connection closed for inactivity] 17:55 -!- bramc [634b58ce@gateway/web/freenode/ip.99.75.88.206] has quit [Ping timeout: 250 seconds] 18:23 -!- Noldorin [~noldorin@unaffiliated/noldorin] has joined #bitcoin-wizards 18:32 -!- MoALTz [~no@78-11-183-124.static.ip.netia.com.pl] has quit [Quit: Leaving] 18:38 -!- NewLiberty [~NewLibert@2602:306:330b:2db0:49d4:1e1d:d4d4:db1c] has joined #bitcoin-wizards 18:43 -!- HostFat [~HostFat@2-235-224-2.ip230.fastwebnet.it] has quit [Quit: Leaving] 18:45 -!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 18:46 -!- King_Rex [~King_Rex@unaffiliated/king-rex/x-3258444] has quit [Remote host closed the connection] 18:49 -!- netsinn [~jiggalato@198.16.176.10] has quit [Ping timeout: 244 seconds] 18:50 -!- spinza [~spin@197.93.182.128] has quit [Ping timeout: 258 seconds] 18:56 -!- Burrito [~Burrito@unaffiliated/burrito] has quit [Ping timeout: 276 seconds] 18:56 -!- spinza [~spin@197.93.182.128] has joined #bitcoin-wizards 19:03 -!- nonaTure [~nonaTure@199.15.128.146] has joined #bitcoin-wizards 19:16 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards 19:16 -!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 19:20 -!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-aapoxfipfxnxnsst] has joined #bitcoin-wizards 19:23 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection] 19:26 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards 19:27 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection] 19:30 -!- netsinn [~jiggalato@198.16.176.10] has quit [Remote host closed the connection] 19:38 -!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 19:40 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards 19:41 -!- netsinn [~jiggalato@198.16.176.10] has quit [Client Quit] 19:41 -!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards 19:41 -!- netsinn [~jiggalato@198.16.176.10] has quit [Read error: Connection reset by peer] 19:44 -!- Noldorin [~noldorin@unaffiliated/noldorin] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…] 19:54 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 250 seconds] 19:57 -!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds] 20:13 -!- nonaTure [~nonaTure@199.15.128.146] has quit [Ping timeout: 260 seconds] 20:14 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection] 20:14 -!- pro [~pro@unaffiliated/pro] has quit [Quit: Leaving] 20:43 -!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards 21:06 -!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards 21:19 -!- nuke1989 [~nuke@178-88-119.dynamic.cyta.gr] has quit [Remote host closed the connection] 21:29 -!- blackwraith [~priidu@unaffiliated/priidu] has quit [Ping timeout: 272 seconds] 21:31 -!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection] 21:33 -!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards 21:45 -!- TheSeven [~quassel@rockbox/developer/TheSeven] has quit [Ping timeout: 260 seconds] 21:45 -!- [7] [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards 22:50 -!- Burrito [~Burrito@unaffiliated/burrito] has joined #bitcoin-wizards 23:01 -!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards 23:12 -!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 264 seconds] 23:22 -!- renlord [~renlord@59.167.194.21] has joined #bitcoin-wizards 23:22 -!- renlord is now known as mrpocoyo 23:49 -!- Burrito [~Burrito@unaffiliated/burrito] has quit [Ping timeout: 240 seconds] --- Log closed Mon Jun 20 00:00:35 2016