2016-06-19.log

--- Log opened Sun Jun 19 00:00:34 2016
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]00:04
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards00:06
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 246 seconds]00:09
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 264 seconds]00:10
-!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has quit [Ping timeout: 260 seconds]00:11
-!- unknown| [~unknown@73.114.18.214] has quit [Ping timeout: 244 seconds]00:13
-!- unknown| [~unknown@73.114.18.214] has joined #bitcoin-wizards00:14
-!- gavinandresen [~gavin@unaffiliated/gavinandresen] has quit [Ping timeout: 260 seconds]00:19
-!- gavinandresen [~gavin@unaffiliated/gavinandresen] has joined #bitcoin-wizards00:21
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards00:22
-!- jonasschnelli [~jonasschn@2a01:4f8:200:7025::2] has quit [Changing host]00:26
-!- jonasschnelli [~jonasschn@unaffiliated/jonasschnelli] has joined #bitcoin-wizards00:26
-!- 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-wizards00:30
-!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has quit [Ping timeout: 260 seconds]00:45
-!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has joined #bitcoin-wizards00:55
-!- ManfredMacx [~hyperion@78-1-131-182.adsl.net.t-com.hr] has joined #bitcoin-wizards00:56
zookogmaxwell: it's a performance issue. We can't implement SNARK prover in EVM because prohibitively expensive.01:03
zookoOh wait, I mean verifier.01:04
zookoAnd actually, now that I say that, I'm not entirely sure that it is true!01:04
gmaxwellit would be insanely so.01:07
gmaxwellby comment earlier was mostly a joke about the dao theft, a million ether would pay for a lot of contract execution though.01:07
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards01:09
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards01:14
-!- bramc [634b58ce@gateway/web/freenode/ip.99.75.88.206] has quit [Ping timeout: 250 seconds]01:23
-!- JackH [~Jack@79-73-186-51.dynamic.dsl.as9105.com] has joined #bitcoin-wizards01:24
-!- roman_ [~quassel@2a01:cb1d:4a4:2e00:7876:86c8:e6d6:cf9b] has joined #bitcoin-wizards01:26
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards01:46
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 240 seconds]01:50
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Remote host closed the connection]02:07
-!- MoALTz [~no@78-11-183-124.static.ip.netia.com.pl] has joined #bitcoin-wizards03:09
-!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has quit [Ping timeout: 244 seconds]03:18
bitjedi12:22 AM <zooko> 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:20
-!- RoboTeddy [~roboteddy@c-67-188-40-206.hsd1.ca.comcast.net] has quit [Remote host closed the connection]03:36
nshhi zooko :) please don't call your awesome cryptothings sprouts kthx03:40
-!- nonaTure [~nonaTure@199.15.128.146] has joined #bitcoin-wizards03:58
-!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has joined #bitcoin-wizards04:06
-!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has quit [Client Quit]04:06
-!- nabu [~nabu@192.40.88.72] has quit [Quit: Konversation terminated!]04:12
-!- nabu [~nabu@192.40.88.12] has joined #bitcoin-wizards04:14
-!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards04:19
-!- pro [~pro@unaffiliated/pro] has joined #bitcoin-wizards04:40
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 250 seconds]04:48
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards05:04
-!- Burrito [~Burrito@unaffiliated/burrito] has joined #bitcoin-wizards05:08
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Quit: Leaving]05:14
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 250 seconds]05:16
-!- N0S4A2 [~weechat@216-243-38-141.users.condointernet.net] has quit [Ping timeout: 264 seconds]05:29
-!- Emcy [~MC@cpc3-swan1-0-0-cust336.7-3.cable.virginm.net] has joined #bitcoin-wizards05: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-wizards05:40
-!- vyvojar [~v@ns382631.ovh.net] has quit [Ping timeout: 250 seconds]06:05
-!- nuke1989 [~nuke@178-88-119.dynamic.cyta.gr] has joined #bitcoin-wizards06:13
-!- c0rw1n- [~c0rw1n@124.213-241-81.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards06:22
-!- musalbas [~musalbas@2001:bc8:30c2:ff00::] has joined #bitcoin-wizards06:23
-!- JHistone [~JHistone@cpc7-sgyl35-2-0-cust123.18-2.cable.virginm.net] has joined #bitcoin-wizards06:25
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards06:34
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:a590:fe08:8804:c2a4] has joined #bitcoin-wizards06:35
-!- King_Rex [~King_Rex@unaffiliated/king-rex/x-3258444] has joined #bitcoin-wizards07:17
-!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds]07:55
kanzurehttp://ryandoyle.net/assets/papers/Distributed_Bootstrapping_of_P2P_Networks-RDoyle.pdf08:17
kanzurehttp://doc.tm.uka.de/2009/ipv6-contest-p2p-bootstrap.pdf08:17
kanzurehttps://www.ipv6council.de/fileadmin/summit09/presentations/IDEA-pv6contest-p2p-bootstrapping.pdf08:17
-!- spinza [~spin@197.93.182.128] has joined #bitcoin-wizards08:19
-!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards08:35
nicolagin 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
nicolags/quorum slices/quorums/08:44
-!- Aranjedeath [~Aranjedea@unaffiliated/aranjedeath] has joined #bitcoin-wizards08:47
kanzurenicolag: https://news.ycombinator.com/item?id=934294708:49
-!- PRab [~chatzilla@c-68-62-95-247.hsd1.mi.comcast.net] has quit [Quit: ChatZilla 0.9.92 [Firefox 47.0/20160604131506]]09:05
-!- PERSIAN [~PERSIAN@MTRLPQ4709W-LP130-05-1279284515.dsl.bell.ca] has joined #bitcoin-wizards09:07
-!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards09:13
katu_kanzure: (re: random probing) this is actually how conficker p2p used to bootstrap09:16
katu_(it indeed is rather resilient, as long the network is sufficiently large)09:16
-!- 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-wizards09:25
-!- c0rw1n__ [~c0rw1n@7.183-67-87.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards09: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:26
-!- 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-wizards09:27
-!- c0rw1n [~c0rw1n@154.153-67-87.adsl-dyn.isp.belgacom.be] has joined #bitcoin-wizards09:28
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:31
kanzurehttp://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:32
kanzure"The continuation of functional programming by other means" (xavier leroy video) http://events.inf.ed.ac.uk/Milner2012/X_Leroy-html5-mp4.html09:33
kanzure"The future of functional programming languages" (panel discussion video) http://events.inf.ed.ac.uk/Milner2012/Monday_Panel-html5-mp4.html09:33
kanzurewhatever happened to that coq/bitcoin thing, https://bitcointalk.org/index.php?topic=949942.009:36
kanzurehm git repo has been removed https://github.com/billlwhite/ledgertheory09:36
bsm1175321https://github.com/bitemyapp/ledgertheory09:37
kanzurealright.09:38
-!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has joined #bitcoin-wizards09:40
-!- laurentmt [~Thunderbi@213-245-86-6.rev.numericable.fr] has quit [Client Quit]09:41
bsm1175321It's basically a UTXO set commitment as-a-ledger, AFAICT...09:41
bsm1175321He'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:42
-!- netsin_ [~jiggalato@198.16.176.10] has joined #bitcoin-wizards09:43
bsm1175321But, proofs of absence in the UTXO set follow in a straightforward manner....09:43
-!- netsin_ [~jiggalato@198.16.176.10] has quit []09:48
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards09:48
-!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards09:48
-!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has joined #bitcoin-wizards09:48
-!- netsinn [~jiggalato@198.16.176.10] has quit [Remote host closed the connection]09:56
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 264 seconds]09:58
-!- netsin_ [~jiggalato@198.16.176.10] has joined #bitcoin-wizards10:02
-!- netsin_ [~jiggalato@198.16.176.10] has quit [Remote host closed the connection]10:03
-!- nonaTure [~nonaTure@199.15.128.146] has quit [Ping timeout: 260 seconds]10:08
kanzureseems 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.2010:08
bsm1175321I've been assuming it all along.  You want to create the highest work chain or you risk orphaning your own blocks.10:10
bsm1175321Eyeballs bleeding...word salad.  (closes bitcointalk tab)  Back to braids...10:13
-!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds]10:27
-!- N0S4A2 [~weechat@216-243-38-141.users.condointernet.net] has joined #bitcoin-wizards10:41
-!- 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:43
-!- johnwhitton [~johnwhitt@c-71-202-223-50.hsd1.ca.comcast.net] has quit [Quit: johnwhitton]10:51
-!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards11:01
-!- MaxSan_ [~one@www17.redstation.co.uk] has joined #bitcoin-wizards11:12
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards11:26
-!- yorick_ [~yorick@oftn/oswg-member/yorick] has joined #bitcoin-wizards11:30
-!- yorick [~yorick@oftn/oswg-member/yorick] has quit [Ping timeout: 240 seconds]11:32
-!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has joined #bitcoin-wizards11:35
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 260 seconds]11:36
-!- Ylbam_ [uid99779@gateway/web/irccloud.com/x-iwblcemccdfswzlg] has joined #bitcoin-wizards11:42
-!- lmatteis_ [uid3300@gateway/web/irccloud.com/x-vknnreoyhlspkxbo] has joined #bitcoin-wizards11:43
-!- robmyers_ [sid75499@gnu/social/robmyers] has joined #bitcoin-wizards11:43
-!- runeks_ [sid21167@gateway/web/irccloud.com/x-vmbgpzfundpzucag] has joined #bitcoin-wizards11:43
-!- qawap [~quassel@unaffiliated/qawap] has joined #bitcoin-wizards11:43
-!- [7] [~quassel@rockbox/developer/TheSeven] has quit [Disconnected by services]11:44
-!- TheSeven [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards11:44
-!- Alanius_ [~alan@flyingarm.bar] has joined #bitcoin-wizards11:44
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards11:45
-!- null_rad- [Elite7851@gateway/shell/elitebnc/x-wyuddqkqgzlcnips] has joined #bitcoin-wizards11:45
-!- Lightsword_ [~Lightswor@107.170.253.193] has joined #bitcoin-wizards11:48
-!- GreenIsMyPepper_ [~GreenIsMy@2605:6400:20:11aa:189e:28a5:52ed:8948] has joined #bitcoin-wizards11:48
-!- 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 Lightsword11:50
-!- Ylbam_ is now known as Ylbam11:50
-!- lmatteis_ is now known as lmatteis11:50
-!- robmyers_ is now known as robmyers11:50
-!- d9b4bef9 [~d9b4bef9@web419.webfaction.com] has joined #bitcoin-wizards11:51
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has joined #bitcoin-wizards11:51
-!- runeks_ is now known as runeks11:51
-!- Netsplit over, joins: musalbas11:52
-!- face [~face@mail.hmel.org] has joined #bitcoin-wizards11:56
-!- Guest31006 [~null@unaffiliated/madars] has joined #bitcoin-wizards11:56
-!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has joined #bitcoin-wizards11:56
-!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has quit [Quit: Leaving.]12:16
-!- roman_ [~quassel@2a01:cb1d:4a4:2e00:7876:86c8:e6d6:cf9b] has quit [Remote host closed the connection]12:24
-!- roman [~quassel@2a01:cb1d:4a4:2e00:1da7:783f:5079:33b4] has joined #bitcoin-wizards12:28
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has joined #bitcoin-wizards12:34
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Quit: Leaving]12:37
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards12:40
-!- null_rad- is now known as null_radix12:49
-!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has quit [Read error: Connection reset by peer]12:56
-!- Tiraspol [~Tiraspol3@unaffiliated/tiraspol] has joined #bitcoin-wizards12:59
-!- zooko [~user@2601:281:8000:8387:35d7:183d:ffbb:f950] has joined #bitcoin-wizards13:03
zookokanzure: apropos the format verification stuff you were posting: https://github.com/zcash/zcash/issues/103913:05
zooko*formal13:05
kanzurethis? http://research.microsoft.com/en-us/um/people/simonpj/Papers/financial-contracts/contracts-icfp.htm13:06
-!- 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:07
-!- davec_ [~davec@cpe-24-243-251-52.hot.res.rr.com] has joined #bitcoin-wizards13:08
-!- Myagui-afk [~Myagui@chat.ccminer.org] has joined #bitcoin-wizards13:21
-!- Myagui-afk is now known as Myagui13:24
-!- nonaTure [~nonaTure@c-50-172-231-183.hsd1.il.comcast.net] has joined #bitcoin-wizards13:24
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection]13:29
-!- zooko [~user@2601:281:8000:8387:35d7:183d:ffbb:f950] has quit [Ping timeout: 250 seconds]13:30
kanzure"On the impossibility of a merkle merge homomorphism" http://eprint.iacr.org/2016/617.pdf13:35
-!- mn3monic [~guido@176.9.68.68] has joined #bitcoin-wizards13:39
-!- nonaTure [~nonaTure@c-50-172-231-183.hsd1.il.comcast.net] has quit [Ping timeout: 250 seconds]13:41
nicolagkanzure: I am on mobile, what is the above ^ ?13:49
kanzureyou asked a question about quorum slices, the link contains an answer13:55
kanzurehttps://news.ycombinator.com/item?id=934294713:55
-!- whphhg [whphhg@gateway/vpn/mullvad/x-zsvtqpcazoedlzzl] has quit [Remote host closed the connection]13:56
-!- whphhg [whphhg@gateway/vpn/mullvad/x-hihrneolelyxiolm] has joined #bitcoin-wizards13:57
-!- MaxSan_ [~one@78.129.153.58] has joined #bitcoin-wizards13:58
nicolagoh thanks kanzure, will look into it14:01
Taekhaving multiple implementations means that softforks become more annoying to deal with, and hardforks become more dangerous14:03
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Quit: Leaving]14:04
TaekI guess if you are doing a 2-of-3 and running 3 full nodes with different implementations it may make hardforks safer14:04
gmaxwellTaek: 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
gmaxwellBoth false acceptance and false rejection are bad and can be turned into monetary losses.14:05
TaekAnd 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 314:06
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards14:08
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards14:10
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards14:26
-!- blackwraith [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards14:27
-!- priidu [~priidu@unaffiliated/priidu] has quit [Ping timeout: 260 seconds]14:29
-!- bramc [634b58ce@gateway/web/freenode/ip.99.75.88.206] has joined #bitcoin-wizards14:31
bramcTrying to make standards more reliable by having multiple implementations has a very poor track record14:32
-!- raedah [~x@172.56.42.64] has quit [Remote host closed the connection]14:36
-!- raedah [~x@172.56.42.64] has joined #bitcoin-wizards14:37
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards14:39
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has quit [Ping timeout: 272 seconds]14:39
-!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-rhktebbpnaflngpw] has joined #bitcoin-wizards14:42
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Quit: Leaving.]14:51
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards14:57
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 244 seconds]15:01
-!- JHistone [~JHistone@cpc7-sgyl35-2-0-cust123.18-2.cable.virginm.net] has quit [Quit: Leaving]15:02
-!- raedah [~x@172.56.42.64] has quit [Remote host closed the connection]15:11
-!- raedah [~x@172.56.42.64] has joined #bitcoin-wizards15:11
-!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds]15:18
-!- Giszmo [~leo@pc-122-14-46-190.cm.vtr.net] has joined #bitcoin-wizards15:23
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection]15:35
-!- Guyver2 [~Guyver2@guyver2.xs4all.nl] has quit [Quit: :)]15:44
-!- roman [~quassel@2a01:cb1d:4a4:2e00:1da7:783f:5079:33b4] has quit [Remote host closed the connection]15:46
-!- HostFat [~HostFat@2-235-224-2.ip230.fastwebnet.it] has joined #bitcoin-wizards15:55
-!- Davasny [~quassel@78-11-193-195.static.ip.netia.com.pl] has quit [Remote host closed the connection]15:57
-!- Starduster [~SD@unaffiliated/starduster] has quit [Ping timeout: 244 seconds]16:03
-!- NewLiberty [~NewLibert@2602:304:cff8:1580:a590:fe08:8804:c2a4] has quit [Ping timeout: 250 seconds]16:07
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Quit: Leaving]16:10
-!- Guest31006 [~null@unaffiliated/madars] has quit [Quit: reconnect]16:23
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Quit: Leaving]16:24
-!- Madars [~null@unaffiliated/madars] has joined #bitcoin-wizards16:26
-!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards16:28
-!- johnwhitton [~johnwhitt@c-71-202-223-50.hsd1.ca.comcast.net] has joined #bitcoin-wizards16:42
-!- johnwhitton [~johnwhitt@c-71-202-223-50.hsd1.ca.comcast.net] has quit [Client Quit]16:42
-!- libertalis [~libertali@c-73-207-38-154.hsd1.ga.comcast.net] has joined #bitcoin-wizards16:46
dgenr8consistency 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:47
gmaxwellIt can make you vulnerable to bugs in all of them.16:48
gmaxwellAnd divide the review and development resources thin enough to result in not one of them being correct.16:48
-!- alpalp [~allen@2605:6000:f4d6:d600:d568:ff79:a7ec:9d8a] has joined #bitcoin-wizards16:50
-!- alpalp [~allen@2605:6000:f4d6:d600:d568:ff79:a7ec:9d8a] has quit [Changing host]16:50
-!- alpalp [~allen@unaffiliated/alpalp] has joined #bitcoin-wizards16:50
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards16:52
TaekConsistency is significantly more important in a system like Bitcoin than in something like http16:54
TaekI 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 threatened16:56
Taekand, the fact that you've divided resources may detract more than having two implementations helps16:56
gmaxwellThere 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:57
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.)16:58
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has joined #bitcoin-wizards17:08
-!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-rhktebbpnaflngpw] has quit [Quit: Connection closed for inactivity]17:11
-!- dEBRUYNE [~dEBRUYNE@unaffiliated/debruyne] has quit [Ping timeout: 252 seconds]17:32
-!- Ylbam [uid99779@gateway/web/irccloud.com/x-iwblcemccdfswzlg] has quit [Quit: Connection closed for inactivity]17:51
-!- bramc [634b58ce@gateway/web/freenode/ip.99.75.88.206] has quit [Ping timeout: 250 seconds]17:55
-!- Noldorin [~noldorin@unaffiliated/noldorin] has joined #bitcoin-wizards18:23
-!- MoALTz [~no@78-11-183-124.static.ip.netia.com.pl] has quit [Quit: Leaving]18:32
-!- NewLiberty [~NewLibert@2602:306:330b:2db0:49d4:1e1d:d4d4:db1c] has joined #bitcoin-wizards18:38
-!- HostFat [~HostFat@2-235-224-2.ip230.fastwebnet.it] has quit [Quit: Leaving]18:43
-!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards18:45
-!- King_Rex [~King_Rex@unaffiliated/king-rex/x-3258444] has quit [Remote host closed the connection]18:46
-!- netsinn [~jiggalato@198.16.176.10] has quit [Ping timeout: 244 seconds]18:49
-!- spinza [~spin@197.93.182.128] has quit [Ping timeout: 258 seconds]18:50
-!- Burrito [~Burrito@unaffiliated/burrito] has quit [Ping timeout: 276 seconds]18:56
-!- spinza [~spin@197.93.182.128] has joined #bitcoin-wizards18:56
-!- nonaTure [~nonaTure@199.15.128.146] has joined #bitcoin-wizards19:03
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards19:16
-!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards19:16
-!- CrazyTruthYakDDS [uid67551@gateway/web/irccloud.com/x-aapoxfipfxnxnsst] has joined #bitcoin-wizards19:20
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection]19:23
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards19:26
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has quit [Remote host closed the connection]19:27
-!- netsinn [~jiggalato@198.16.176.10] has quit [Remote host closed the connection]19:30
-!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards19:38
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards19:40
-!- netsinn [~jiggalato@198.16.176.10] has quit [Client Quit]19:41
-!- netsinn [~jiggalato@198.16.176.10] has joined #bitcoin-wizards19:41
-!- netsinn [~jiggalato@198.16.176.10] has quit [Read error: Connection reset by peer]19:41
-!- Noldorin [~noldorin@unaffiliated/noldorin] has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]19:44
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 250 seconds]19:54
-!- alpalp [~allen@unaffiliated/alpalp] has quit [Ping timeout: 250 seconds]19:57
-!- nonaTure [~nonaTure@199.15.128.146] has quit [Ping timeout: 260 seconds]20:13
-!- 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:14
-!- frankenmint [~frankenmi@67-5-211-132.ptld.qwest.net] has joined #bitcoin-wizards20:43
-!- rusty2 [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards21:06
-!- nuke1989 [~nuke@178-88-119.dynamic.cyta.gr] has quit [Remote host closed the connection]21:19
-!- blackwraith [~priidu@unaffiliated/priidu] has quit [Ping timeout: 272 seconds]21:29
-!- Alopex [~bitcoin@cyber.dealing.ninja] has quit [Remote host closed the connection]21:31
-!- Alopex [~bitcoin@cyber.dealing.ninja] has joined #bitcoin-wizards21:33
-!- TheSeven [~quassel@rockbox/developer/TheSeven] has quit [Ping timeout: 260 seconds]21:45
-!- [7] [~quassel@rockbox/developer/TheSeven] has joined #bitcoin-wizards21:45
-!- Burrito [~Burrito@unaffiliated/burrito] has joined #bitcoin-wizards22:50
-!- ThomasV [~ThomasV@unaffiliated/thomasv] has joined #bitcoin-wizards23:01
-!- AusteritySucks [~Austerity@unaffiliated/austeritysucks] has quit [Ping timeout: 264 seconds]23:12
-!- renlord [~renlord@59.167.194.21] has joined #bitcoin-wizards23:22
-!- renlord is now known as mrpocoyo23:22
-!- Burrito [~Burrito@unaffiliated/burrito] has quit [Ping timeout: 240 seconds]23:49
--- Log closed Mon Jun 20 00:00:35 2016

Generated by irclog2html.py 2.15.0.dev0 by Marius Gedminas - find it at mg.pov.lt!