--- Log opened Sun Nov 11 00:00:18 2018 00:16 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards 00:16 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 00:17 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 00:18 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: No route to host] 00:19 -!- shesek` [~shesek@185.3.147.193] has joined #bitcoin-wizards 00:20 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 246 seconds] 00:26 -!- shesek` [~shesek@185.3.147.193] has quit [Read error: Connection reset by peer] 00:26 -!- shesek` [~shesek@185.3.147.193] has joined #bitcoin-wizards 00:28 -!- shesek` [~shesek@185.3.147.193] has quit [Read error: Connection reset by peer] 00:28 -!- shesek` [~shesek@185.3.147.193] has joined #bitcoin-wizards 00:45 -!- shesek` [~shesek@185.3.147.193] has quit [Read error: Connection reset by peer] 00:47 -!- shesek` [~shesek@185.3.147.193] has joined #bitcoin-wizards 01:05 -!- shesek` [~shesek@185.3.147.193] has quit [Read error: No route to host] 01:05 -!- shesek` [~shesek@185.3.147.193] has joined #bitcoin-wizards 01:46 -!- shesek` [~shesek@185.3.147.193] has quit [Read error: No route to host] 01:47 -!- shesek` [~shesek@185.3.147.193] has joined #bitcoin-wizards 02:12 -!- thom [xD@ring0.se] has joined #bitcoin-wizards 02:14 -!- kabaum [~kabaum@h-13-35.A163.priv.bahnhof.se] has joined #bitcoin-wizards 02:14 -!- shesek` [~shesek@185.3.147.193] has quit [Read error: No route to host] 02:15 -!- shesek` [~shesek@185.3.147.193] has joined #bitcoin-wizards 02:20 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...] 02:47 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards 03:15 -!- morcos [~morcos@gateway/tor-sasl/morcos] has quit [Ping timeout: 256 seconds] 03:17 -!- morcos [~morcos@gateway/tor-sasl/morcos] has joined #bitcoin-wizards 03:22 -!- shesek` [~shesek@185.3.147.193] has quit [Read error: Connection reset by peer] 03:23 -!- shesek [~shesek@185.3.147.193] has joined #bitcoin-wizards 03:23 -!- shesek [~shesek@185.3.147.193] has quit [Changing host] 03:23 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 03:51 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 03:52 -!- shesek [~shesek@185.3.147.193] has joined #bitcoin-wizards 03:52 -!- shesek [~shesek@185.3.147.193] has quit [Changing host] 03:52 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 04:02 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 04:02 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 04:33 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards 04:49 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 04:54 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 05:02 -!- tombusby [~tombusby@gateway/tor-sasl/tombusby] has quit [Ping timeout: 256 seconds] 05:08 -!- tombusby [~tombusby@gateway/tor-sasl/tombusby] has joined #bitcoin-wizards 05:13 -!- nuncanada [~dude@187.65.64.52] has joined #bitcoin-wizards 05:16 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 05:19 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 05:24 -!- math_ [~mario@p4FCB3DE6.dip0.t-ipconnect.de] has joined #bitcoin-wizards 05:27 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards 05:27 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 264 seconds] 05:31 -!- lukedashjr is now known as luke-jr 05:55 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 05:56 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 06:08 -!- Guyver2 [AdiIRC@guyver2.xs4all.nl] has quit [Quit: Going offline, see ya! (www.adiirc.com)] 06:11 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 06:11 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 06:14 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: No route to host] 06:17 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 06:21 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards 06:23 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 268 seconds] 06:26 -!- lukedashjr is now known as luke-jr 06:31 -!- lukedashjr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards 06:31 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 246 seconds] 06:35 -!- lukedashjr is now known as luke-jr 06:42 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 06:43 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 07:09 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...] 07:12 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards 07:13 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 07:15 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 07:43 -!- Giszmo [~leo@190.162.241.129] has joined #bitcoin-wizards 07:58 -!- xnaclay [45ff0198@gateway/web/cgi-irc/kiwiirc.com/ip.69.255.1.152] has quit [Quit: http://www.kiwiirc.com/ - A hand crafted IRC client] 07:59 -!- xnaclay [~xnaclay@xnaclay.powered.by.lunarbnc.net] has joined #bitcoin-wizards 08:39 -!- Guyver2 [AdiIRC@guyver2.xs4all.nl] has joined #bitcoin-wizards 09:09 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [] 09:11 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards 09:21 -!- shesek [~shesek@unaffiliated/shesek] has quit [Read error: Connection reset by peer] 09:33 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has quit [Remote host closed the connection] 09:34 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has joined #bitcoin-wizards 09:46 -!- TheFuzzStone[m] [thefuzzsto@gateway/shell/matrix.org/x-pjqjbykstugzcuoh] has joined #bitcoin-wizards 10:05 -!- TheoStorm [~dnaleor@host-lzquwqj.cbn1.zeelandnet.nl] has quit [Remote host closed the connection] 10:22 < JackH> thanks kanzure 10:25 -!- wildermind [uid300433@gateway/web/irccloud.com/x-nhhmejsjoxqqlwmb] has joined #bitcoin-wizards 10:30 < nsh> Taek, i'm not sure what i meant. i thought i meant producing a cryptographically-meaningful proof that a certain equivalence class of circuits is used for consensus and validation logic, out-of-band of the protocol itself 10:30 < nsh> but i don't think that's actually a cogent concept without there being a formal spec 10:31 < nsh> or at least, it's not at all trivial 10:32 < nsh> i was thinking you could have nodes produce something that definitively, based on their past and present actual behaviours puts them into a canonical class of nodes from which future divergences could be predicted 10:32 < nsh> but yeah i'm not so sure that's actually known to be possible 10:32 < nsh> or can be trivially shown possible using a compositoin of things that are currently known to be possible 10:33 < nsh> under something like solidity then maybe 10:33 -!- deusexbeer [~deusexbee@080-250-077-159-dynamic-pool-adsl.wbt.ru] has quit [Quit: Konversation terminated!] 10:33 < nsh> i mean simplicity 10:34 < nsh> simplicitylang, more properly, as i refuse to overload english words for software projects 10:37 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Remote host closed the connection] 10:48 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards 10:53 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 252 seconds] 12:09 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards 12:47 -!- wildermind [uid300433@gateway/web/irccloud.com/x-nhhmejsjoxqqlwmb] has quit [Quit: Connection closed for inactivity] 12:52 -!- _rht [uid86914@gateway/web/irccloud.com/x-fpadxgikzzcbitbc] has joined #bitcoin-wizards 13:26 -!- son0p [~ff@adsl201-232-238-252.epm.net.co] has joined #bitcoin-wizards 13:39 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has quit [Ping timeout: 244 seconds] 13:55 -!- TheoStorm [~dnaleor@host-lzquwqj.cbn1.zeelandnet.nl] has joined #bitcoin-wizards 14:20 -!- Guyver2 [AdiIRC@guyver2.xs4all.nl] has quit [Quit: Going offline, see ya! (www.adiirc.com)] 14:27 -!- Krellan [~Krellan@2601:640:4000:a876:d0e2:dc41:93ee:b128] has quit [Ping timeout: 252 seconds] 14:33 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards 14:34 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...] 14:54 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards 15:11 -!- _rht [uid86914@gateway/web/irccloud.com/x-fpadxgikzzcbitbc] has quit [Quit: Connection closed for inactivity] 15:12 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has quit [Remote host closed the connection] 15:26 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has joined #bitcoin-wizards 15:37 -!- ruby32 [~ruby32@2604:2000:e882:c800:a84d:524a:f289:1e9d] has joined #bitcoin-wizards 15:59 -!- Zenton [~user@unaffiliated/vicenteh] has quit [Ping timeout: 244 seconds] 16:00 -!- tombusby [~tombusby@gateway/tor-sasl/tombusby] has quit [Ping timeout: 256 seconds] 16:01 -!- tombusby [~tombusby@gateway/tor-sasl/tombusby] has joined #bitcoin-wizards 16:04 -!- stiell [~stian@fsf/member/stiell] has quit [Ping timeout: 245 seconds] 16:12 -!- stiell [~stian@fsf/member/stiell] has joined #bitcoin-wizards 16:36 -!- Krellan [~Krellan@2601:640:4000:a876:3c50:d658:d864:898] has joined #bitcoin-wizards 16:55 -!- Krellan [~Krellan@2601:640:4000:a876:3c50:d658:d864:898] has quit [Ping timeout: 276 seconds] 16:59 -!- Krellan [~Krellan@2601:640:4000:a876:3c50:d658:d864:898] has joined #bitcoin-wizards 17:35 -!- nuncanada2 [~dude@187.65.64.52] has joined #bitcoin-wizards 17:38 -!- nuncanada [~dude@187.65.64.52] has quit [Ping timeout: 252 seconds] 17:46 -!- nuncanada2 [~dude@187.65.64.52] has quit [Ping timeout: 240 seconds] 17:49 -!- son0p [~ff@adsl201-232-238-252.epm.net.co] has quit [Quit: leaving] 18:02 -!- shesek [~shesek@unaffiliated/shesek] has joined #bitcoin-wizards 18:05 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 245 seconds] 18:17 -!- luke-jr [~luke-jr@unaffiliated/luke-jr] has joined #bitcoin-wizards 18:46 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has quit [Ping timeout: 244 seconds] 18:47 -!- Belkaar [~Belkaar@xdsl-84-44-235-197.nc.de] has joined #bitcoin-wizards 18:47 -!- Belkaar [~Belkaar@xdsl-84-44-235-197.nc.de] has quit [Changing host] 18:47 -!- Belkaar [~Belkaar@unaffiliated/belkaar] has joined #bitcoin-wizards 19:09 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has quit [Remote host closed the connection] 19:10 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has joined #bitcoin-wizards 19:14 -!- Aaronvan_ [~AaronvanW@unaffiliated/aaronvanw] has joined #bitcoin-wizards 19:17 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has joined #bitcoin-wizards 19:17 -!- AaronvanW [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 245 seconds] 19:18 -!- CubicEarth [~CubicEart@c-73-181-185-197.hsd1.wa.comcast.net] has quit [Ping timeout: 268 seconds] 19:20 -!- CubicEarth [~CubicEart@c-73-181-185-197.hsd1.wa.comcast.net] has joined #bitcoin-wizards 19:24 -!- Aaronvan_ [~AaronvanW@unaffiliated/aaronvanw] has quit [Ping timeout: 244 seconds] 19:53 -!- instagibbs [~instagibb@pool-100-15-135-248.washdc.fios.verizon.net] has quit [Ping timeout: 244 seconds] 20:29 -!- instagibbs [~instagibb@pool-100-15-135-248.washdc.fios.verizon.net] has joined #bitcoin-wizards 20:34 -!- instagibbs [~instagibb@pool-100-15-135-248.washdc.fios.verizon.net] has quit [Ping timeout: 244 seconds] 20:35 -!- mn3monic [jsz@unaffiliated/mn3monic] has quit [Excess Flood] 20:35 -!- mn3monic [jsz@unaffiliated/mn3monic] has joined #bitcoin-wizards 20:58 -!- Giszmo [~leo@190.162.241.129] has quit [Ping timeout: 246 seconds] 21:24 -!- Giszmo [~leo@ip-213-236-219-201.nextelmovil.cl] has joined #bitcoin-wizards 21:29 -!- instagibbs [~instagibb@pool-100-15-135-248.washdc.fios.verizon.net] has joined #bitcoin-wizards 21:49 -!- Giszmo [~leo@ip-213-236-219-201.nextelmovil.cl] has quit [Ping timeout: 240 seconds] 21:51 -!- spinza [~spin@155.93.246.187] has quit [Quit: Coyote finally caught up with me...] 22:00 -!- spinza [~spin@155.93.246.187] has joined #bitcoin-wizards 22:08 -!- Giszmo [~leo@190.162.241.129] has joined #bitcoin-wizards 22:18 -!- rh0nj [~rh0nj@136.243.139.96] has quit [Remote host closed the connection] 22:19 -!- rh0nj [~rh0nj@136.243.139.96] has joined #bitcoin-wizards 22:45 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has quit [Remote host closed the connection] 22:46 -!- rusty [~rusty@pdpc/supporter/bronze/rusty] has quit [Ping timeout: 252 seconds] 22:46 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has joined #bitcoin-wizards 22:51 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has quit [Remote host closed the connection] 22:52 -!- _whitelogger [~whitelogg@uruz.whitequark.org] has joined #bitcoin-wizards 22:56 -!- koshii [~mike@c-68-58-151-113.hsd1.in.comcast.net] has quit [Ping timeout: 260 seconds] 23:00 -!- koshii [~mike@c-68-58-151-113.hsd1.in.comcast.net] has joined #bitcoin-wizards 23:01 -!- a5m0_ [~a5m0@unaffiliated/a5m0] has quit [Remote host closed the connection] 23:07 -!- a5m0 [~a5m0@unaffiliated/a5m0] has joined #bitcoin-wizards 23:10 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Ping timeout: 256 seconds] 23:12 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined #bitcoin-wizards 23:47 -!- Logicwax [~Logicwax@c-76-126-174-152.hsd1.ca.comcast.net] has left #bitcoin-wizards [] --- Log closed Mon Nov 12 00:00:18 2018