--- Log opened Tue Jan 23 00:00:31 2018
00:04 -!- CubicEarths [~cubiceart@2600:1012:b013:3519:91b2:f398:a78e:cf23] has quit [Remote host closed the connection]
00:06 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has joined #bitcoin-wizards
00:07 -!- bajohns [bajohns@gateway/vpn/privateinternetaccess/bajohns] has quit [Ping timeout: 248 seconds]
00:08 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-ogwamnltuwbbzzoq] has quit [Quit: Connection closed for inactivity]
00:10 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-vrbjgzskduprsivf] has joined #bitcoin-wizards
00:10 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has quit [Client Quit]
00:18 -!- daszorz [~daszorz@188.94.18.118] has joined #bitcoin-wizards
00:25 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #bitcoin-wizards
01:06 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Ping timeout: 255 seconds]
01:07 -!- Cory [~Cory@unaffiliated/cory] has quit [Ping timeout: 268 seconds]
01:11 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
01:11 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards
01:20 -!- arajakul [~Xantanium@toroon4834w-lp130-03-67-71-142-88.dsl.bell.ca] has quit [Read error: Connection reset by peer]
01:20 -!- arajakul [~Xantanium@toroon4834w-lp130-03-67-71-142-88.dsl.bell.ca] has joined #bitcoin-wizards
01:35 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Remote host closed the connection]
01:36 -!- nsxNP [~nsxNP@dslb-092-078-028-110.092.078.pools.vodafone-ip.de] has joined #bitcoin-wizards
01:38 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #bitcoin-wizards
01:56 -!- afilini [~textual@212.91.77.39] has joined #bitcoin-wizards
02:06 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has quit [Read error: Connection reset by peer]
02:07 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has joined #bitcoin-wizards
02:07 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Ping timeout: 256 seconds]
02:10 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection]
02:10 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards
02:11 -!- jephalien_ [~jephalien@CPE00fc8d947f53-CM00fc8d947f50.cpe.net.cable.rogers.com] has quit [Ping timeout: 276 seconds]
02:12 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #bitcoin-wizards
02:13 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Max SendQ exceeded]
02:14 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #bitcoin-wizards
02:17 -!- afilini [~textual@212.91.77.39] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
02:28 -!- afilini [~textual@212.91.77.39] has joined #bitcoin-wizards
02:31 -!- afilini [~textual@212.91.77.39] has quit [Client Quit]
02:33 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
02:33 -!- harrymm_ [~harrymm@104.207.83.2] has quit [Ping timeout: 240 seconds]
02:33 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Ping timeout: 260 seconds]
02:38 -!- afilini [~textual@212.91.77.39] has joined #bitcoin-wizards
02:41 -!- Olufunmilayo [~Olufunmil@unaffiliated/olufunmilayo] has quit [Quit: Olufunmilayo]
02:42 -!- Olufunmilayo [~Olufunmil@unaffiliated/olufunmilayo] has joined #bitcoin-wizards
02:43 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #bitcoin-wizards
02:44 -!- thrmo [~thrmo@unaffiliated/thrmo] has joined #bitcoin-wizards
02:45 -!- harrymm_ [~harrymm@104.207.83.48] has joined #bitcoin-wizards
02:56 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 265 seconds]
02:59 -!- son0p [~ff@adsl201-232-238-252.epm.net.co] has joined #bitcoin-wizards
03:03 -!- marcoagner [~user@gateway/tor-sasl/marcoagner] has joined #bitcoin-wizards
03:05 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
03:06 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
03:45 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
03:45 -!- eck [~eck@fsf/member/eck] has quit [Client Quit]
03:46 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
03:47 -!- nsxNP [~nsxNP@dslb-092-078-028-110.092.078.pools.vodafone-ip.de] has quit [Ping timeout: 255 seconds]
03:53 -!- rabidus [~rabidus@91-145-115-22.bb.dnainternet.fi] has quit [Ping timeout: 265 seconds]
03:55 -!- rabidus [~rabidus@91-145-115-22.bb.dnainternet.fi] has joined #bitcoin-wizards
03:57 -!- daszorz2 [~daszorz@188.94.18.118] has joined #bitcoin-wizards
04:00 -!- daszorz [~daszorz@188.94.18.118] has quit [Ping timeout: 265 seconds]
04:02 -!- afilini [~textual@212.91.77.39] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
04:10 -!- thrmo [~thrmo@unaffiliated/thrmo] has quit [Quit: Leaving]
04:20 -!- kisspunch [~za3k@smtp.za3k.com] has quit [Ping timeout: 276 seconds]
04:20 -!- phantomcircuit [~phantomci@192.241.205.97] has quit [Ping timeout: 268 seconds]
04:22 -!- TD-Linux [~Thomas@about/essy/indecisive/TD-Linux] has quit [Ping timeout: 248 seconds]
04:24 -!- kisspunch [~za3k@smtp.za3k.com] has joined #bitcoin-wizards
04:25 -!- phantomcircuit [~phantomci@192.241.205.97] has joined #bitcoin-wizards
04:26 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has quit [Read error: Connection reset by peer]
04:26 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has joined #bitcoin-wizards
04:28 -!- TD-Linux [~Thomas@about/essy/indecisive/TD-Linux] has joined #bitcoin-wizards
04:33 -!- phantomcircuit [~phantomci@192.241.205.97] has quit [Ping timeout: 240 seconds]
04:34 -!- emzy [~quassel@unaffiliated/emzy] has quit [Ping timeout: 256 seconds]
04:36 -!- emzy [~quassel@raspberry.emzy.de] has joined #bitcoin-wizards
04:37 -!- marcoagner [~user@gateway/tor-sasl/marcoagner] has quit [Ping timeout: 255 seconds]
04:38 -!- phantomcircuit [~phantomci@192.241.205.97] has joined #bitcoin-wizards
04:53 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Ping timeout: 255 seconds]
04:53 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards
04:58 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-vrbjgzskduprsivf] has quit [Quit: Connection closed for inactivity]
05:02 -!- eck [~eck@fsf/member/eck] has quit [Ping timeout: 255 seconds]
05:09 -!- afilini [~textual@212.91.77.39] has joined #bitcoin-wizards
05:11 -!- thrmo [~thrmo@unaffiliated/thrmo] has joined #bitcoin-wizards
05:15 -!- laurentmt [~Thunderbi@176.158.157.202] has joined #bitcoin-wizards
05:23 -!- son0p [~ff@adsl201-232-238-252.epm.net.co] has quit [Quit: Lost terminal]
05:26 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has joined #bitcoin-wizards
05:32 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-geiowgbexzgypmle] has joined #bitcoin-wizards
05:33 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has quit [Remote host closed the connection]
05:34 -!- d9b4bef9 [~d9b4bef9@web501.webfaction.com] has joined #bitcoin-wizards
05:38 -!- nuncanada [~dude@179.235.130.137] has joined #bitcoin-wizards
05:46 -!- jephalien_ [~jephalien@CPE00fc8d947f53-CM00fc8d947f50.cpe.net.cable.rogers.com] has joined #bitcoin-wizards
05:50 -!- nsxNP [~nsxNP@dslb-092-078-028-110.092.078.pools.vodafone-ip.de] has joined #bitcoin-wizards
05:55 -!- Guyver2 [AdiIRC@guyver2.xs4all.nl] has joined #bitcoin-wizards
06:00 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
06:00 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
06:03 -!- daszorz2 [~daszorz@188.94.18.118] has quit [Read error: Connection reset by peer]
06:06 -!- SopaXT [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #bitcoin-wizards
06:07 -!- jtimon [~quassel@41.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 256 seconds]
06:07 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Disconnected by services]
06:07 -!- SopaXT is now known as SopaXorzTaker
06:10 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
06:14 -!- cosmicthing51 is now known as comsicthing51
06:19 -!- belcher [~belcher@unaffiliated/belcher] has joined #bitcoin-wizards
06:22 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards
06:27 -!- eck [~eck@fsf/member/eck] has quit [Quit: we out here]
06:29 < kanzure> "Smart contracts for bribing miners" http://homepages.cs.ncl.ac.uk/patrick.mccorry/minerbribery.pdf
06:33 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has quit [Quit: Leaving.]
06:33 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
06:34 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
06:34 -!- son0p [~ff@cable200-116-164-25.epm.net.co] has joined #bitcoin-wizards
06:37 -!- comsicthing51 [adefec3a@gateway/web/freenode/ip.173.239.236.58] has quit [Ping timeout: 260 seconds]
06:40 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has quit [Read error: Connection reset by peer]
06:40 -!- cosmicthing51 [adeff014@gateway/web/freenode/ip.173.239.240.20] has joined #bitcoin-wizards
06:41 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has joined #bitcoin-wizards
06:44 < jnewbery> I'm trying to get my head around simplicity, but I don't have the background in sequent calculus or formal semantics. Anyone have any recommendations for books & resources to get started?
06:49 < meshcollider> jnewbery: I think OPLSS is a really good lecture series on YouTube each year for formal logic like sequent calculus, etc.
06:50 < meshcollider> By Frank pfenning and other top in the field researchers
06:50 < instagibbs> meshcollider, link handy?
06:51 < Sentineo> that would be really cool to get a link :)
06:52 < meshcollider> https://www.cs.uoregon.edu/research/summerschool/summer15/curriculum.html
06:52 < meshcollider> The lectures are put on YouTube every year I think
06:52 < meshcollider> It's quite a short and condensed series, but very good from what I remember of it
06:54 < jnewbery> meshcollider: thanks. I'll take a look
06:55 < meshcollider> And then a good book on type theory and stuff for PLT would be PFPL (practical foundations for programming languages) or TAPL (types and programming languages) I think
06:56 < meshcollider> They focus on using formal logic in type systems rather than sequent calculus in formal logic directly IIRC
06:56 < meshcollider> Quite dense stuff though so pick and choose chapters which are useful :)
07:04 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 240 seconds]
07:07 -!- afilini [~textual@212.91.77.39] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
07:14 -!- bildramer [~bildramer@p200300ED83CE1400C5EDE86E25E143E3.dip0.t-ipconnect.de] has joined #bitcoin-wizards
07:15 < kanzure> https://fc18.ifca.ai/bitcoin/schedule.html
07:19 -!- wraithm [~wraithm@unaffiliated/wraithm] has joined #bitcoin-wizards
07:20 -!- CubicEarths [~cubiceart@201.191.199.160] has joined #bitcoin-wizards
07:22 -!- CubicEarths [~cubiceart@201.191.199.160] has quit [Remote host closed the connection]
07:28 -!- execute [~execute@52.68.0.151] has quit [Killed (herbert.freenode.net (Nickname regained by services))]
07:30 < nsh> .title https://github.com/steshaw/plt
07:30 < yoleaux> GitHub - steshaw/plt: Programming Language Theory
07:33 -!- trippysalmon [~trippysal@cyberdynesys.org] has quit [Remote host closed the connection]
07:45 -!- Murch [~murch@96-82-80-28-static.hfc.comcastbusiness.net] has joined #bitcoin-wizards
07:49 -!- Murch [~murch@96-82-80-28-static.hfc.comcastbusiness.net] has quit [Client Quit]
07:49 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
07:50 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
07:50 -!- Murch [~murch@96-82-80-28-static.hfc.comcastbusiness.net] has joined #bitcoin-wizards
07:53 -!- espes__ [~espes@205.185.120.132] has quit [Ping timeout: 256 seconds]
07:55 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has joined #bitcoin-wizards
08:08 -!- execute_ [~execute@52.68.0.151] has joined #bitcoin-wizards
08:10 -!- espes__ [~espes@205.185.120.132] has joined #bitcoin-wizards
08:12 -!- mxg [~mxg@cpe-76-91-1-28.socal.res.rr.com] has joined #bitcoin-wizards
08:17 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards
08:21 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has quit [Read error: Connection reset by peer]
08:23 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
08:23 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
08:26 -!- cosmicthing51 [adeff014@gateway/web/freenode/ip.173.239.240.20] has quit [Ping timeout: 260 seconds]
08:29 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
08:29 -!- eck [~eck@fsf/member/eck] has quit [Client Quit]
08:30 -!- CubicEarths [~cubiceart@201.191.199.160] has joined #bitcoin-wizards
08:30 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
08:31 -!- thrmo [~thrmo@unaffiliated/thrmo] has quit [Quit: Waiting for .007]
08:37 -!- eck [~eck@fsf/member/eck] has quit [Ping timeout: 248 seconds]
08:43 -!- CubicEarths [~cubiceart@201.191.199.160] has quit []
08:50 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
08:54 -!- itsme_ [~textual@x4d04f4ad.dyn.telefonica.de] has joined #bitcoin-wizards
09:00 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has quit [Read error: Connection reset by peer]
09:01 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has quit [Quit: Leaving]
09:04 -!- arubi [~ese168@gateway/tor-sasl/ese168] has joined #bitcoin-wizards
09:05 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has joined #bitcoin-wizards
09:07 -!- cosmicthing51 [c4340272@gateway/web/freenode/ip.196.52.2.114] has joined #bitcoin-wizards
09:09 -!- cosmicthing51 [c4340272@gateway/web/freenode/ip.196.52.2.114] has quit [Client Quit]
09:11 -!- cosmicthing51 [ac624fca@gateway/web/freenode/ip.172.98.79.202] has joined #bitcoin-wizards
09:15 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has quit [Ping timeout: 265 seconds]
09:15 -!- jb55 [~jb55@d108-172-210-7.bchsia.telus.net] has joined #bitcoin-wizards
09:16 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has joined #bitcoin-wizards
09:19 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards
09:20 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has joined #bitcoin-wizards
09:20 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 265 seconds]
09:35 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
09:35 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
09:39 -!- harrymm_ [~harrymm@104.207.83.48] has quit [Ping timeout: 260 seconds]
09:40 -!- mxg [~mxg@cpe-76-91-1-28.socal.res.rr.com] has quit [Quit: afk]
09:41 -!- harrymm_ [~harrymm@104.207.83.48] has joined #bitcoin-wizards
09:46 -!- hdevalence [~hdevalenc@52.119.117.17] has joined #bitcoin-wizards
09:47 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Quit: Leaving]
09:52 -!- nuncanada [~dude@179.235.130.137] has quit [Read error: Connection reset by peer]
09:53 -!- nuncanada [~dude@179.235.130.137] has joined #bitcoin-wizards
09:54 -!- laurentmt [~Thunderbi@176.158.157.202] has quit [Read error: Connection reset by peer]
09:54 -!- laurentmt [~Thunderbi@176.158.157.202] has joined #bitcoin-wizards
10:01 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards
10:10 -!- StopAndDecrypt [~StopAndDe@c-73-248-248-9.hsd1.nj.comcast.net] has joined #bitcoin-wizards
10:10 -!- StopAndDecrypt [~StopAndDe@c-73-248-248-9.hsd1.nj.comcast.net] has quit [Changing host]
10:10 -!- StopAndDecrypt [~StopAndDe@unaffiliated/stopanddecrypt] has joined #bitcoin-wizards
10:10 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has quit [Remote host closed the connection]
10:11 -!- StopAndDecrypt_ [~StopAndDe@c-73-248-248-9.hsd1.nj.comcast.net] has quit [Ping timeout: 256 seconds]
10:12 -!- eck [~eck@fsf/member/eck] has quit [Ping timeout: 260 seconds]
10:17 -!- wxss [~user@192-30-89-169.baremetal.cloudsingularity.net] has joined #bitcoin-wizards
10:18 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-geiowgbexzgypmle] has quit [Quit: Connection closed for inactivity]
10:22 -!- itsme__ [~textual@x4d04da6a.dyn.telefonica.de] has joined #bitcoin-wizards
10:24 -!- jb55 [~jb55@d108-172-210-7.bchsia.telus.net] has quit [Ping timeout: 240 seconds]
10:24 -!- itsme_ [~textual@x4d04f4ad.dyn.telefonica.de] has quit [Ping timeout: 264 seconds]
10:25 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
10:27 -!- son0p [~ff@cable200-116-164-25.epm.net.co] has quit [Quit: Lost terminal]
10:29 -!- afilini [~textual@212.91.77.39] has joined #bitcoin-wizards
10:31 -!- afilini [~textual@212.91.77.39] has quit [Client Quit]
10:45 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
10:45 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
10:49 -!- itsme__ [~textual@x4d04da6a.dyn.telefonica.de] has quit [Quit: Textual IRC Client: www.textualapp.com]
10:52 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has joined #bitcoin-wizards
11:19 -!- priidu [~priidu@unaffiliated/priidu] has joined #bitcoin-wizards
11:19 -!- priidu [~priidu@unaffiliated/priidu] has quit [Read error: Connection reset by peer]
11:30 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has quit [Read error: Connection reset by peer]
11:35 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has joined #bitcoin-wizards
11:36 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
11:36 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
11:42 -!- Krellan [~Krellan@2601:640:4000:9258:b85b:35e0:cbc2:6d0] has quit [Remote host closed the connection]
11:42 -!- Krellan [~Krellan@2601:640:4000:9258:35d2:117b:35c2:8a6f] has joined #bitcoin-wizards
11:43 -!- pancakes09 [41cce561@gateway/web/cgi-irc/kiwiirc.com/ip.65.204.229.97] has joined #bitcoin-wizards
11:47 -!- Krellan [~Krellan@2601:640:4000:9258:35d2:117b:35c2:8a6f] has quit [Ping timeout: 276 seconds]
11:57 -!- jtimon [~quassel@41.31.134.37.dynamic.jazztel.es] has joined #bitcoin-wizards
12:18 -!- pancakes09 [41cce561@gateway/web/cgi-irc/kiwiirc.com/ip.65.204.229.97] has quit [Remote host closed the connection]
12:21 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
12:21 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
12:30 -!- eck [~eck@fsf/member/eck] has quit [Quit: we out here]
12:35 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has joined #bitcoin-wizards
12:41 -!- dnaleor [~dnaleor@78-23-74-78.access.telenet.be] has quit [Quit: Leaving]
12:45 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has joined #bitcoin-wizards
12:56 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has quit [Read error: Connection reset by peer]
13:01 -!- meshcollider [uid246294@gateway/web/irccloud.com/x-lwcabvtkfmybtjpt] has joined #bitcoin-wizards
13:01 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
13:01 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
13:11 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has joined #bitcoin-wizards
13:17 -!- paveljanik [~paveljani@79.98.72.176] has joined #bitcoin-wizards
13:17 -!- paveljanik [~paveljani@79.98.72.176] has quit [Changing host]
13:17 -!- paveljanik [~paveljani@unaffiliated/paveljanik] has joined #bitcoin-wizards
13:18 -!- daszorz [~daszorz@cpc106809-live29-2-0-cust896.17-2.cable.virginm.net] has quit [Read error: Connection reset by peer]
13:24 -!- paveljanik [~paveljani@unaffiliated/paveljanik] has quit [Quit: Leaving]
13:24 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
13:35 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
13:36 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
13:40 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
13:40 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
13:41 -!- Krellan [~Krellan@50-242-94-241-static.hfc.comcastbusiness.net] has joined #bitcoin-wizards
13:47 -!- Krellan [~Krellan@50-242-94-241-static.hfc.comcastbusiness.net] has quit [Quit: Leaving...]
13:48 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has joined #bitcoin-wizards
13:51 -!- maxfp [c7e6cbf5@gateway/web/cgi-irc/kiwiirc.com/ip.199.230.203.245] has joined #bitcoin-wizards
14:00 -!- itsme_ [~textual@x4d04da6a.dyn.telefonica.de] has joined #bitcoin-wizards
14:00 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood]
14:04 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards
14:05 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood]
14:05 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards
14:06 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood]
14:08 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards
14:11 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Excess Flood]
14:11 -!- Guyver2 [AdiIRC@guyver2.xs4all.nl] has quit [Quit: Going offline, see ya! (www.adiirc.com)]
14:11 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards
14:14 -!- maxfp [c7e6cbf5@gateway/web/cgi-irc/kiwiirc.com/ip.199.230.203.245] has quit [Ping timeout: 240 seconds]
14:30 -!- wxss [~user@192-30-89-169.baremetal.cloudsingularity.net] has quit [Ping timeout: 256 seconds]
14:38 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has joined #bitcoin-wizards
14:54 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 256 seconds]
14:57 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has joined #bitcoin-wizards
15:05 -!- nuncanada [~dude@179.235.130.137] has quit [Read error: Connection reset by peer]
15:09 -!- nuncanada [~dude@179.235.130.137] has joined #bitcoin-wizards
15:18 -!- Cory [~Cory@unaffiliated/cory] has joined #bitcoin-wizards
15:25 -!- thrmo [~thrmo@unaffiliated/thrmo] has joined #bitcoin-wizards
15:25 -!- mdrollette [~mdrollett@feynman.drollette.com] has joined #bitcoin-wizards
15:32 -!- wraithm [~wraithm@unaffiliated/wraithm] has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
15:38 -!- laurentmt [~Thunderbi@176.158.157.202] has quit [Quit: laurentmt]
15:40 -!- son0p [~ff@adsl201-232-238-252.epm.net.co] has joined #bitcoin-wizards
15:47 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
15:48 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
15:52 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
15:56 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards
16:06 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
16:13 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has quit [Quit: .]
16:14 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 256 seconds]
16:19 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has joined #bitcoin-wizards
16:24 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 248 seconds]
16:27 -!- afilini [~textual@2-229-240-7.ip199.fastwebnet.it] has quit [Quit: My MacBook Air has gone to sleep. ZZZzzz…]
16:31 -!- jephalien_ [~jephalien@CPE00fc8d947f53-CM00fc8d947f50.cpe.net.cable.rogers.com] has quit [Ping timeout: 248 seconds]
16:32 -!- shesek [~shesek@unaffiliated/shesek] has quit [Ping timeout: 264 seconds]
16:33 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards
16:34 -!- jephalien_ [~jephalien@CPE00fc8d947f53-CM00fc8d947f50.cpe.net.cable.rogers.com] has joined #bitcoin-wizards
16:37 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
16:38 -!- nsxNP [~nsxNP@dslb-092-078-028-110.092.078.pools.vodafone-ip.de] has quit [Ping timeout: 246 seconds]
16:39 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has joined #bitcoin-wizards
16:46 -!- shesek [~shesek@bzq-84-110-60-135.cablep.bezeqint.net] has joined #bitcoin-wizards
16:46 -!- shesek [~shesek@bzq-84-110-60-135.cablep.bezeqint.net] has quit [Changing host]
16:46 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards
16:53 -!- Murch [~murch@96-82-80-28-static.hfc.comcastbusiness.net] has quit [Quit: Snoozing.]
16:53 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 268 seconds]
16:54 -!- Chex [sss@sleepl.northnook.ca] has quit [Quit: Changing server]
16:54 -!- Chex [sss@sleepl.northnook.ca] has joined #bitcoin-wizards
16:54 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 248 seconds]
16:55 -!- Chex is now known as Guest26380
16:57 -!- dabura667 [~dabura667@p98110-ipngnfx01marunouchi.tokyo.ocn.ne.jp] has joined #bitcoin-wizards
16:59 -!- Guest26380 is now known as Chex
17:09 -!- Cory [~Cory@unaffiliated/cory] has quit [Ping timeout: 256 seconds]
17:11 -!- PaulCape_ [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has joined #bitcoin-wizards
17:12 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has quit [Ping timeout: 248 seconds]
17:19 -!- PaulCape_ [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has quit [Quit: .]
17:27 -!- harrow` [~harrow@68.ip-149-56-14.net] has quit [Quit: Leaving]
17:33 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has quit [Ping timeout: 240 seconds]
17:33 -!- yoleaux [~yoleaux@xn--ht-1ia18f.nonceword.org] has joined #bitcoin-wizards
17:37 -!- harrow [~harrow@68.ip-149-56-14.net] has joined #bitcoin-wizards
17:37 -!- harrymm_ [~harrymm@104.207.83.48] has quit [Ping timeout: 260 seconds]
17:39 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has joined #bitcoin-wizards
17:43 -!- hdevalence [~hdevalenc@52.119.117.17] has quit [Quit: hdevalence]
17:47 -!- thrmo [~thrmo@unaffiliated/thrmo] has quit [Ping timeout: 240 seconds]
17:48 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
17:51 -!- harrymm_ [~harrymm@104.207.83.48] has joined #bitcoin-wizards
17:52 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has quit [Ping timeout: 240 seconds]
17:53 -!- Belkaar [~Belkaar@xdsl-87-78-133-214.netcologne.de] has joined #bitcoin-wizards
17:53 -!- Belkaar [~Belkaar@xdsl-87-78-133-214.netcologne.de] has quit [Changing host]
17:53 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has joined #bitcoin-wizards
17:56 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has quit [Ping timeout: 268 seconds]
17:58 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has joined #bitcoin-wizards
18:03 -!- dnaleor [~dnaleor@host-im1adb.cbn1.zeelandnet.nl] has quit [Quit: Leaving]
18:22 -!- dcousens [~dcousens@110.140.192.69] has quit [Quit: The Lounge - https://thelounge.github.io]
18:26 -!- itsme_ [~textual@x4d04da6a.dyn.telefonica.de] has quit [Quit: Textual IRC Client: www.textualapp.com]
18:29 -!- nuncanada [~dude@179.235.130.137] has quit [Read error: Connection reset by peer]
18:35 -!- son0p [~ff@adsl201-232-238-252.epm.net.co] has quit [Quit: Lost terminal]
18:37 -!- wizkid057 [~wk@unaffiliated/wizkid057] has quit [Read error: Connection reset by peer]
18:42 -!- Chicago [shikaakwa@unaffiliated/chicago] has quit [Quit: It does not require many words to speak the truth.]
18:45 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 240 seconds]
19:04 -!- wizkid057 [~wk@unaffiliated/wizkid057] has joined #bitcoin-wizards
19:19 -!- nsxNP [~nsxNP@dslb-094-222-210-184.094.222.pools.vodafone-ip.de] has joined #bitcoin-wizards
19:26 -!- belcher [~belcher@unaffiliated/belcher] has quit [Quit: Leaving]
19:39 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has quit [Ping timeout: 240 seconds]
19:42 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has joined #bitcoin-wizards
20:00 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #bitcoin-wizards
20:01 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
20:09 -!- Cory [~Cory@unaffiliated/cory] has joined #bitcoin-wizards
20:10 -!- Giszmo [~leo@pc-204-28-214-201.cm.vtr.net] has quit [Quit: Leaving.]
20:16 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 256 seconds]
20:18 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
20:31 -!- dcousens [~dcousens@110.140.192.69] has joined #bitcoin-wizards
20:33 -!- contrapumpkin [~copumpkin@haskell/developer/copumpkin] has quit [Ping timeout: 240 seconds]
20:36 -!- propumpkin [~copumpkin@haskell/developer/copumpkin] has joined #bitcoin-wizards
20:43 -!- jtimon [~quassel@41.31.134.37.dynamic.jazztel.es] has quit [Ping timeout: 248 seconds]
20:48 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 240 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:10 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 256 seconds]
21:12 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
21:29 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has quit [Ping timeout: 264 seconds]
21:35 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 260 seconds]
21:40 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards
21:54 -!- bdar [c000c30f@gateway/web/freenode/ip.192.0.195.15] has joined #bitcoin-wizards
21:54 < bdar> @chanserv/join
21:58 -!- PaulCapestany [~PaulCapes@ip72-209-228-50.dc.dc.cox.net] has joined #bitcoin-wizards
22:00 -!- eck [~eck@fsf/member/eck] has joined #bitcoin-wizards
22:03 < bdar> Hi paul
22:16 -!- Cheeko [ac5b4fad@gateway/web/freenode/ip.172.91.79.173] has joined #bitcoin-wizards
22:18 -!- eck [~eck@fsf/member/eck] has quit [Quit: we out here]
22:18 < Cheeko> Hello
22:18 -!- PaulTroon [~PaulTroon@63.76.128.133] has joined #bitcoin-wizards
22:20 < bdar> Hey
22:28 -!- Murch [~murch@c-73-223-113-121.hsd1.ca.comcast.net] has joined #bitcoin-wizards
22:30 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Quit: Leaving.]
22:40 -!- maaku [~maaku@173.234.25.100] has quit [Quit: ZNC - http://znc.in]
22:43 -!- maaku [~maaku@173.234.25.100] has joined #bitcoin-wizards
23:00 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has quit [Ping timeout: 240 seconds]
23:02 -!- Belkaar [~Belkaar@xdsl-87-79-148-58.netcologne.de] has joined #bitcoin-wizards
23:02 -!- Belkaar [~Belkaar@xdsl-87-79-148-58.netcologne.de] has quit [Changing host]
23:02 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has joined #bitcoin-wizards
23:10 < PaulTroon> I've written up some notes on using signature aggregation for incentivizing relay nodes in a low bandwidth radio mesh network.
23:11 < PaulTroon> If anyone has time to look it over, I'd very much appreciate some feedback.
23:11 < PaulTroon> https://docs.google.com/document/d/1vJxV1DY5iSceHObaU97VhIr3mUtyqvcSUFYiIRvdt6M/
23:57 -!- SopaXorzTaker [~SopaXorzT@unaffiliated/sopaxorztaker] has joined #bitcoin-wizards
--- Log closed Wed Jan 24 00:00:32 2018