--- Log opened Sat Dec 30 00:00:57 2017 00:16 -!- tromp [~tromp@ip-217-103-3-94.ip.prioritytelecom.net] has joined #bitcoin-wizards 00:40 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Ping timeout: 272 seconds] 00:40 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards 00:56 -!- cyberhugger [uid266293@gateway/web/irccloud.com/x-fmybpxjqlxwukfpz] has quit [] 01:23 -!- tromp [~tromp@ip-217-103-3-94.ip.prioritytelecom.net] has quit [Remote host closed the connection] 01:23 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-wdznssjcbigkvopi] has joined #bitcoin-wizards 01:24 -!- davec [~davec@24.243.249.218] has quit [Read error: Connection reset by peer] 01:32 -!- davec [~davec@cpe-24-243-249-218.hot.res.rr.com] has joined #bitcoin-wizards 01:35 -!- tromp [~tromp@ip-217-103-3-94.ip.prioritytelecom.net] has joined #bitcoin-wizards 01:44 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 240 seconds] 01:45 -!- CheckDavid [uid14990@gateway/web/irccloud.com/x-moyyriyaefebuuee] has joined #bitcoin-wizards 01:51 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards 01:51 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Read error: Connection reset by peer] 02:02 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has quit [Ping timeout: 264 seconds] 02:09 -!- d9b4bef9 [~d9b4bef9@207.38.86.239] has quit [Remote host closed the connection] 02:10 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has joined #bitcoin-wizards 02:19 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has joined #bitcoin-wizards 02:42 -!- rilos [~rilos@unaffiliated/rilos] has joined #bitcoin-wizards 02:45 -!- rilos [~rilos@unaffiliated/rilos] has quit [Client Quit] 02:59 -!- Ylbam [uid99779@gateway/web/irccloud.com/x-yiienuwjnzxwmnqn] has joined #bitcoin-wizards 02:59 -!- Pharaoh [~Pharaoh@unaffiliated/pharaoh] has quit [Ping timeout: 268 seconds] 03:14 -!- deusexbeer [~deusexbee@093-092-179-183-dynamic-pool-adsl.wbt.ru] has quit [Ping timeout: 264 seconds] 03:25 -!- CryptoTraderClub [sid28532@gateway/web/irccloud.com/x-sujjqavskyuonfkw] has quit [Quit: Connection closed for inactivity] 03:49 -!- doodle69 [~doodle@1.152.108.50] has joined #bitcoin-wizards 04:07 -!- doodle69 [~doodle@1.152.108.50] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] 04:16 -!- dabura667 [~dabura667@KD111103034253.ppp-bb.dion.ne.jp] has joined #bitcoin-wizards 04:21 -!- dabura667 [~dabura667@KD111103034253.ppp-bb.dion.ne.jp] has quit [Ping timeout: 268 seconds] 05:04 -!- CheckDavid [uid14990@gateway/web/irccloud.com/x-moyyriyaefebuuee] has quit [Quit: Connection closed for inactivity] 05:08 -!- Fugazi [~Fugazi@79-67-126-135.dynamic.dsl.as9105.com] has quit [Remote host closed the connection] 06:05 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards 06:09 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has quit [Remote host closed the connection] 06:10 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has joined #bitcoin-wizards 06:12 -!- son0p [~ff@d50-92-132-122.bchsia.telus.net] has joined #bitcoin-wizards 06:13 -!- itsme_ [~textual@x4d04fe8f.dyn.telefonica.de] has joined #bitcoin-wizards 06:13 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-wdznssjcbigkvopi] has quit [Quit: Connection closed for inactivity] 06:31 -!- bsm117532 [~mcelrath@c-73-119-55-73.hsd1.ma.comcast.net] has joined #bitcoin-wizards 06:38 -!- Guyver2 [~Guyver@guyver2.xs4all.nl] has joined #bitcoin-wizards 06:39 -!- mrlanguage [440d7570@gateway/web/freenode/ip.68.13.117.112] has joined #bitcoin-wizards 06:40 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 06:52 -!- Fugazi [~Fugazi@79-67-126-135.dynamic.dsl.as9105.com] has joined #bitcoin-wizards 07:11 -!- mrlanguage [440d7570@gateway/web/freenode/ip.68.13.117.112] has quit [Ping timeout: 260 seconds] 07:18 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 252 seconds] 07:23 < contrapumpkin> are there any analogs to the bitcoin fee market in "real life"? it feels fundamentally a bit stunted 07:25 < contrapumpkin> it feels like it's always going to devolve into something resembling an arms race, given the signals available to participants 07:32 < kanzure> look at the auction theory reviews of bitcoin fee market 07:32 < bsm117532> Well there are fees all over the place...ATM fees, wire transfer fees, exchange fees, and a "market" exists because customers can move between providers based on fee. I know the fact that my checking account reimburses ATM fees is one of the reasons I chose them. But I think this is not the answer you're looking for. 07:32 < kanzure> and use fee bumping 07:33 < contrapumpkin> yeah, I mean the bitcoin one specifically. I can't choose my miner and I don't really know what they'll take, and we're all trying in some sense to outbid one another 07:33 < contrapumpkin> https://medium.com/@avivzohar/rethinking-bitcoins-fee-market-ea9319e4ea57 ? 07:33 < contrapumpkin> that sort of thign? 07:36 < kanzure> http://diyhpl.us/~bryan/papers2/bitcoin/Redesigning%20bitcoin's%20fee%20market%20-%202017.pdf 07:36 < sipa> contrapumpkin: you actually can select a miner and negotiate a price... but i think that's inadvisable 07:37 < kanzure> https://lists.linuxfoundation.org/pipermail/bitcoin-dev/2017-September/015093.html 07:37 < kanzure> https://www.reddit.com/r/Bitcoin/comments/72qi2r/redesigning_bitcoins_fee_market_a_new_paper_by/ 07:37 < contrapumpkin> sipa: fair enough, it's not a trustable process though 07:37 < sipa> as it requires that miners are reachable and recognizable, so it inherently favors a world with not too many independent parties 07:38 < kanzure> http://diyhpl.us/wiki/transcripts/scalingbitcoin/stanford-2017/redesigning-bitcoin-fee-market/ 07:38 < contrapumpkin> thanks kanzure :) 07:38 < kanzure> do yer reading 07:38 < contrapumpkin> you're like the ultimate librarian 07:38 < kanzure> i hate librarians. they sold out to OCLC. 07:39 < contrapumpkin> platonic ideal of librarian? 07:39 < sipa> OCLC? 07:39 < kanzure> OCLC are the people who own the dewey decimal system etc 07:39 < kanzure> and also the people who manage all the libraries 07:40 < kanzure> http://web.archive.org/web/20120202111321/http://www.aaronsw.com/weblog/oclcscam 07:41 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has joined #bitcoin-wizards 07:52 < bsm117532> FWIW one thing I've been thinking about on this topic is the no-block-reward scenario, which is unstable due to fee-sniping: http://randomwalker.info/publications/mining_CCS.pdf 07:53 < bsm117532> I wonder if an algorithm could be devised where e.g. miners take *half* the available fee at any given time, to remove any incentive for the next miner to orphan your block in order to steal fees. 07:54 < sipa> bsm117532: yes, pay forward schemes have been diacussed several times 07:54 < bsm117532> How is that "pay forward"? 07:54 < bsm117532> Also, any refs would be appreciated ;-) 07:55 < sipa> every miner is required to pay X% of the mining income forward to the next block 07:55 < sipa> which is even doable as a SF 07:55 < bsm117532> Oh I see 07:55 < sipa> this imoroves the situation by not only incentivizing miners to include your tx, but also for further miners to mine on top of it 07:56 < sipa> however i believe it can never fully fix the incentives in the oresence of highly variable fees on the network 07:56 < bsm117532> This doesn't even require a soft fork...can be done as local miner node policy WRT the mempool they see. 07:56 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has quit [Ping timeout: 265 seconds] 07:56 < sipa> well, yes, but why would a miner agree to give up half their income if it's not required 07:56 < bsm117532> So another miner doesn't snipe their fee if they take it all. ;-) 07:57 < bsm117532> They're not increasing their income if their blocks are always orphaned. 07:57 < sipa> right 08:10 -!- ninjahamstah [~ninjahams@unaffiliated/ninjamastah] has joined #bitcoin-wizards 08:10 -!- kjellberg [~kjellberg@2001:bc8:4400:2800::4b29] has joined #bitcoin-wizards 08:12 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has joined #bitcoin-wizards 08:16 -!- glassmus [~kjellberg@2001:bc8:4400:2800::4b29] has joined #bitcoin-wizards 08:24 -!- blyat [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 08:24 -!- Fugazi [~Fugazi@79-67-126-135.dynamic.dsl.as9105.com] has quit [Remote host closed the connection] 08:25 -!- Fugazi [~Fugazi@79-67-126-135.dynamic.dsl.as9105.com] has joined #bitcoin-wizards 08:30 -!- Fugazi [~Fugazi@79-67-126-135.dynamic.dsl.as9105.com] has quit [Ping timeout: 264 seconds] 08:32 -!- ninjahamstah is now known as ninjahamstah_ 08:33 -!- kjellberg [~kjellberg@2001:bc8:4400:2800::4b29] has quit [Quit: ZNC 1.6.5 - http://znc.in] 08:33 -!- kjellberg [~kjellberg@2001:bc8:4400:2800::4b29] has joined #bitcoin-wizards 08:37 -!- ninjahamstah_ is now known as ninjahamstah 08:38 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 08:38 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 08:50 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards 08:52 < kanzure> bsm117532: for that see https://medium.com/@bergealex4/bitcoin-is-unstable-without-the-block-size-size-limit-70db07070a54 08:53 < bsm117532> Yes, that was what I was referring to 08:58 -!- daszorz2 [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has joined #bitcoin-wizards 08:59 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has quit [Ping timeout: 240 seconds] 09:02 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection] 09:02 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards 09:03 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 248 seconds] 09:30 -!- Guest41563 is now known as teslax 09:33 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 09:33 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 09:37 -!- CubicEar_ [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 09:38 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 09:39 -!- laurentmt [~Thunderbi@176.158.157.202] has joined #bitcoin-wizards 09:47 -!- CubicEar_ [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 09:49 -!- CubicEarths [~cubiceart@73.68.232.79] has joined #bitcoin-wizards 09:49 -!- CubicEarths [~cubiceart@73.68.232.79] has quit [Read error: Connection reset by peer] 09:49 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 09:51 -!- CubicEar_ [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 09:52 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 10:00 -!- arubi [~ese168@gateway/tor-sasl/ese168] has quit [Remote host closed the connection] 10:01 -!- arubi [~ese168@gateway/tor-sasl/ese168] has joined #bitcoin-wizards 10:06 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has quit [Remote host closed the connection] 10:07 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has joined #bitcoin-wizards 10:08 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has quit [Remote host closed the connection] 10:09 -!- rabidus [~rabidus@91-145-115-22.bb.dnainternet.fi] has quit [Ping timeout: 248 seconds] 10:11 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has joined #bitcoin-wizards 10:13 -!- daszorz2 [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has quit [Read error: Connection reset by peer] 10:15 < andytoshi> fluffypony: do you have timelocks of any form? multisig has always been possible in monero, timelocks are the missing piece afaict 10:16 < andytoshi> waxwing: contrapumpkin: yes, you can do cross-chain swaps across chains that use different curves. it's a bit more involved, you need a piece of crypto that i haven't published yet 10:16 < andytoshi> and yes, ed25519 is schnorr enough for this 10:21 -!- itsme__ [~textual@x4d04c9f5.dyn.telefonica.de] has joined #bitcoin-wizards 10:23 < dEBRUYNE> Monero has unlock_time, which will lock an output for a specified number of blocks. 10:23 < dEBRUYNE> ^ andytoshi 10:23 < fluffypony> andytoshi: yes we do, but there's no per-output granularity 10:24 -!- itsme_ [~textual@x4d04fe8f.dyn.telefonica.de] has quit [Ping timeout: 248 seconds] 10:24 < andytoshi> dEBRUYNE: that's insufficient. 10:24 < andytoshi> fluffypony: right, sorry, what i meant is that you can chain zero-confs and create locktimed transactions before the referenced outputs exist 10:25 < fluffypony> can't chain 0-confs in Monero tho 10:25 < fluffypony> unless you do it out-of-band 10:25 < andytoshi> right, so you can't do atomic swaps or lightning or anything without holdup risk 10:29 -!- blyat_ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 10:32 -!- blyat [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has quit [Ping timeout: 256 seconds] 10:36 -!- glassmus is now known as ninjahamstag 10:36 -!- ninjahamstag is now known as ninjahamstah_ 10:37 -!- ninjahamstah [~ninjahams@unaffiliated/ninjamastah] has quit [] 10:37 -!- ninjahamstah_ is now known as ninjahamstah 10:37 -!- ninjahamstah [~kjellberg@2001:bc8:4400:2800::4b29] has quit [Changing host] 10:37 -!- ninjahamstah [~kjellberg@unaffiliated/ninjamastah] has joined #bitcoin-wizards 10:38 -!- ninjahamstah [~kjellberg@unaffiliated/ninjamastah] has quit [Quit: ZNC 1.6.5 - http://znc.in] 10:39 -!- ninjahamstah [~ninjahams@2001:bc8:4400:2800::4b29] has joined #bitcoin-wizards 10:40 -!- ninjahamstah [~ninjahams@2001:bc8:4400:2800::4b29] has quit [Client Quit] 10:41 -!- laurentmt [~Thunderbi@176.158.157.202] has quit [Quit: laurentmt] 10:41 -!- jb55 [~jb55@70-36-49-138.dyn.novuscom.net] has joined #bitcoin-wizards 10:42 -!- ninjahamstah [~ninjahams@2001:bc8:4400:2800::4b29] has joined #bitcoin-wizards 10:48 -!- ninjahamstah [~ninjahams@2001:bc8:4400:2800::4b29] has quit [Changing host] 10:48 -!- ninjahamstah [~ninjahams@unaffiliated/ninjamastah] has joined #bitcoin-wizards 10:55 -!- jb55 [~jb55@70-36-49-138.dyn.novuscom.net] has quit [Ping timeout: 252 seconds] 11:05 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 11:05 -!- CubicEar_ [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 11:20 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 11:20 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 11:21 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Read error: Connection reset by peer] 11:22 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 11:24 -!- CubicEar_ [~cubiceart@73.61.11.105] has joined #bitcoin-wizards 11:26 -!- ninjahamstah [~ninjahams@unaffiliated/ninjamastah] has quit [Quit: ZNC 1.6.5 - http://znc.in] 11:26 -!- kjellberg [~kjellberg@2001:bc8:4400:2800::4b29] has quit [Quit: ZNC 1.6.5 - http://znc.in] 11:27 -!- kjellberg [~kjellberg@2001:bc8:4400:2800::4b29] has joined #bitcoin-wizards 11:27 -!- ninjahamstah [~ninjahams@2001:bc8:4400:2800::4b29] has joined #bitcoin-wizards 11:27 -!- ninjahamstah [~ninjahams@2001:bc8:4400:2800::4b29] has quit [Changing host] 11:27 -!- ninjahamstah [~ninjahams@unaffiliated/ninjamastah] has joined #bitcoin-wizards 11:28 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [Ping timeout: 252 seconds] 11:35 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has quit [Quit: Leaving.] 11:40 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has joined #bitcoin-wizards 12:00 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-gjxeyagxblaocafr] has joined #bitcoin-wizards 12:08 -!- jb55 [~jb55@S010618b16923ebb1.vc.shawcable.net] has joined #bitcoin-wizards 12:10 -!- andytoshi [~apoelstra@wpsoftware.net] has quit [Changing host] 12:10 -!- andytoshi [~apoelstra@unaffiliated/andytoshi] has joined #bitcoin-wizards 12:21 -!- itsme__ [~textual@x4d04c9f5.dyn.telefonica.de] has quit [Quit: Textual IRC Client: www.textualapp.com] 12:22 -!- jb55 [~jb55@S010618b16923ebb1.vc.shawcable.net] has quit [Ping timeout: 252 seconds] 12:22 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has joined #bitcoin-wizards 12:34 -!- blyat__ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 12:35 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has quit [Read error: Connection reset by peer] 12:37 -!- blyat_ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has quit [Ping timeout: 240 seconds] 13:16 -!- CubicEar_ [~cubiceart@73.61.11.105] has quit [Remote host closed the connection] 13:18 -!- jb55 [~jb55@184.70.3.22] has joined #bitcoin-wizards 13:18 -!- Guyver2 [~Guyver@guyver2.xs4all.nl] has quit [Quit: Going offline, see ya! (www.adiirc.com)] 13:22 -!- sammi` [sammi@gateway/shell/devio.us/x-mipiqbzvsqhxdywx] has joined #bitcoin-wizards 13:28 -!- sammi`_ [sammi@gateway/shell/devio.us/x-efotkskfthpipqry] has quit [Quit: Lost terminal] 13:29 -!- othe [~othe@coreteam.getmonero.org] has quit [Ping timeout: 248 seconds] 13:34 -!- Pharaoh [~Pharaoh@unaffiliated/pharaoh] has joined #bitcoin-wizards 13:44 -!- harrymm [~harrymm@104.207.83.20] has quit [Ping timeout: 248 seconds] 13:48 -!- othe [~othe@coreteam.getmonero.org] has joined #bitcoin-wizards 13:52 -!- airbreather_ [~airbreath@d149-67-99-43.nap.wideopenwest.com] has joined #bitcoin-wizards 13:54 -!- airbreather [~airbreath@d149-67-99-43.nap.wideopenwest.com] has quit [Ping timeout: 264 seconds] 13:56 -!- son0p [~ff@d50-92-132-122.bchsia.telus.net] has quit [Ping timeout: 248 seconds] 13:57 -!- harrymm [~harrymm@104.207.83.17] has joined #bitcoin-wizards 14:12 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has quit [Remote host closed the connection] 14:13 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has joined #bitcoin-wizards 14:19 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-gjxeyagxblaocafr] has quit [Quit: Connection closed for inactivity] 14:21 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has quit [Read error: Connection reset by peer] 14:23 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards 14:30 -!- gribble [~gribble@unaffiliated/nanotube/bot/gribble] has joined #bitcoin-wizards 14:39 -!- blyat_ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 14:42 -!- blyat__ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has quit [Ping timeout: 240 seconds] 14:56 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has joined #bitcoin-wizards 14:56 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has quit [Client Quit] 14:56 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has joined #bitcoin-wizards 15:00 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-dhipolxgvzfoubot] has joined #bitcoin-wizards 15:24 -!- arubi [~ese168@gateway/tor-sasl/ese168] has quit [Ping timeout: 272 seconds] 15:27 -!- arubi [~ese168@gateway/tor-sasl/ese168] has joined #bitcoin-wizards 15:32 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 248 seconds] 15:37 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has quit [Quit: Leaving] 15:38 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has joined #bitcoin-wizards 15:42 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has quit [Quit: Snoozing.] 15:43 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has joined #bitcoin-wizards 15:43 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has quit [Client Quit] 15:47 -!- jb55 [~jb55@184.70.3.22] has quit [Ping timeout: 240 seconds] 15:49 -!- markus-k [~markus@server01.comtime-it.eu] has quit [Quit: ZNC - http://znc.in] 15:49 -!- markus-k [~markus@server01.comtime-it.eu] has joined #bitcoin-wizards 15:52 -!- jb55 [~jb55@184.70.3.22] has joined #bitcoin-wizards 16:12 -!- itsme_ [~textual@x4d04c9f5.dyn.telefonica.de] has joined #bitcoin-wizards 16:17 -!- wxss [~user@192.40.89.234] has quit [Quit: leaving] 16:35 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards 16:38 -!- jb55 [~jb55@184.70.3.22] has quit [Ping timeout: 248 seconds] 16:40 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has joined #bitcoin-wizards 16:42 -!- esotericnonsense [~esotericn@unaffiliated/esotericnonsense] has joined #bitcoin-wizards 16:42 -!- esotericnonsense [~esotericn@unaffiliated/esotericnonsense] has quit [Client Quit] 16:43 -!- esotericnonsense [~esotericn@unaffiliated/esotericnonsense] has joined #bitcoin-wizards 16:44 -!- blyat__ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 16:47 -!- blyat_ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has quit [Ping timeout: 248 seconds] 17:02 -!- coinsmurf [coinsmurf@96-66-250-198-static.hfc.comcastbusiness.net] has quit [Ping timeout: 264 seconds] 17:05 -!- coinsmurf [coinsmurf@96-66-250-198-static.hfc.comcastbusiness.net] has joined #bitcoin-wizards 17:11 < kanzure> https://media.ccc.de/v/34c3-9105-coming_soon_machine-checked_mathematical_proofs_in_everyday_software_and_hardware_development 17:17 < contrapumpkin> waxwing, andytoshi: since the discussion on the topic has split between the two channels, someone on the monero side put this together (plus some discussion in #monero-research-lab): https://github.com/GuggerJoel/XMR-BTC-atomic 17:30 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has quit [Quit: Leaving] 17:30 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has joined #bitcoin-wizards 17:31 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has quit [Remote host closed the connection] 17:31 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has joined #bitcoin-wizards 17:46 -!- Ylbam [uid99779@gateway/web/irccloud.com/x-yiienuwjnzxwmnqn] has quit [Quit: Connection closed for inactivity] 17:49 -!- Chris_Stewart_5 [~chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 268 seconds] 17:56 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has quit [Quit: Snoozing.] 18:29 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-dhipolxgvzfoubot] has quit [Quit: Connection closed for inactivity] 18:49 -!- blyat_ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 18:52 -!- blyat__ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has quit [Ping timeout: 248 seconds] 19:14 -!- rabidus [~rabidus@91-145-115-22.bb.dnainternet.fi] has joined #bitcoin-wizards 19:15 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has joined #bitcoin-wizards 19:20 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has quit [Ping timeout: 256 seconds] 19:27 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-luofzxnqenyuuzok] has joined #bitcoin-wizards 19:28 -!- cyberhugger [uid266293@gateway/web/irccloud.com/x-puzpqxbatarrytvl] has joined #bitcoin-wizards 20:14 -!- bsm117532 [~mcelrath@c-73-119-55-73.hsd1.ma.comcast.net] has quit [Quit: Leaving.] 20:27 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has joined #bitcoin-wizards 20:28 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has quit [Quit: Leaving] 20:48 -!- itsme_ [~textual@x4d04c9f5.dyn.telefonica.de] has quit [Quit: My Mac Pro has gone to sleep. ZZZzzz…] 20:54 -!- blyat__ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 20:57 -!- blyat_ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has quit [Ping timeout: 248 seconds] 21:00 -!- legogris [~legogris@128.199.205.238] has quit [Remote host closed the connection] 21:00 -!- legogris [~legogris@128.199.205.238] has joined #bitcoin-wizards 21:08 -!- TheSeven [~quassel@rockbox/developer/TheSeven] has quit [Ping timeout: 265 seconds] 21:52 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has quit [Quit: Leaving.] 22:03 -!- d_t [~d_t@46.183.103.8] has joined #bitcoin-wizards 22:08 -!- jb55 [~jb55@70-36-49-138.dyn.novuscom.net] has joined #bitcoin-wizards 22:09 -!- son0p [~ff@d50-92-132-122.bchsia.telus.net] has joined #bitcoin-wizards 22:27 -!- d_t [~d_t@46.183.103.8] has quit [Ping timeout: 260 seconds] 22:32 -!- jb55 [~jb55@70-36-49-138.dyn.novuscom.net] has quit [Ping timeout: 264 seconds] 22:59 -!- blyat_ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has joined #bitcoin-wizards 23:02 -!- blyat__ [~blyat@cpe-71-71-200-3.carolina.res.rr.com] has quit [Ping timeout: 248 seconds] 23:06 -!- SDR_ [ad31931b@gateway/web/freenode/ip.173.49.147.27] has joined #bitcoin-wizards 23:10 -!- SDR_ [ad31931b@gateway/web/freenode/ip.173.49.147.27] has quit [Quit: Page closed] 23:11 -!- Pharaoh [~Pharaoh@unaffiliated/pharaoh] has quit [Ping timeout: 272 seconds] 23:12 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Ping timeout: 272 seconds] 23:21 -!- davec [~davec@cpe-24-243-249-218.hot.res.rr.com] has quit [Read error: Connection reset by peer] 23:28 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards 23:28 -!- davec [~davec@cpe-24-243-249-218.hot.res.rr.com] has joined #bitcoin-wizards 23:45 -!- rilos [~rilos@unaffiliated/rilos] has joined #bitcoin-wizards 23:48 -!- CubicEarths [~cubiceart@c-73-68-232-79.hsd1.ma.comcast.net] has quit [] 23:57 -!- cyberhugger [uid266293@gateway/web/irccloud.com/x-puzpqxbatarrytvl] has quit [Quit: Connection closed for inactivity] 23:59 -!- rilos [~rilos@unaffiliated/rilos] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…] --- Log closed Sun Dec 31 00:00:58 2017