#bitcoin-wizards on 2017-07-09 — irc logs at freenode.irclog.whitequark.org

2015-10-30 00:53 sipa changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja

00:06 Ylbam has quit [Quit: Connection closed for inactivity]

00:11 laurentmt has quit [Quit: laurentmt]

00:22 thrmo has joined #bitcoin-wizards

00:43 _whitelogger has joined #bitcoin-wizards

01:10 BashCo has quit [Read error: Connection reset by peer]

01:10 BashCo has joined #bitcoin-wizards

01:12 CheckDavid has quit [Quit: Connection closed for inactivity]

01:33 pro has quit [Quit: Leaving]

01:52 Chris_Stewart_5 has quit [Ping timeout: 240 seconds]

02:00 CubicEarth has joined #bitcoin-wizards

02:02 coredump_ has joined #bitcoin-wizards

02:08 coredump_ has quit [Ping timeout: 246 seconds]

02:14 coredump_ has joined #bitcoin-wizards

02:27 Lamby_ has joined #bitcoin-wizards

02:29 PaulCapestany has quit [Quit: .]

02:31 PaulCapestany has joined #bitcoin-wizards

02:31 coredump_ has quit [Ping timeout: 260 seconds]

02:39 CubicEarth has quit [Ping timeout: 276 seconds]

03:03 belcher has quit [Quit: Leaving]

03:03 belcher has joined #bitcoin-wizards

03:09 AaronvanW has quit []

03:11 Chris_Stewart_5 has joined #bitcoin-wizards

03:14 coredump_ has joined #bitcoin-wizards

03:35 contrapumpkin has joined #bitcoin-wizards

03:43 coredump_ has quit [Ping timeout: 260 seconds]

03:47 Chris_Stewart_5 has quit [Ping timeout: 260 seconds]

04:00 legogris has quit [Remote host closed the connection]

04:00 legogris has joined #bitcoin-wizards

04:01 thrmo_ has joined #bitcoin-wizards

04:04 thrmo has quit [Ping timeout: 260 seconds]

04:14 [7] has quit [Disconnected by services]

04:14 TheSeven has joined #bitcoin-wizards

04:19 CubicEarth has joined #bitcoin-wizards

04:42 str4d has quit [Ping timeout: 255 seconds]

05:09 BashCo has quit [Read error: Connection reset by peer]

05:10 BashCo has joined #bitcoin-wizards

05:26 pedrovian has joined #bitcoin-wizards

05:42 DougieBot5000 has quit [Quit: Leaving]

05:45 DougieBot5000 has joined #bitcoin-wizards

05:55 CubicEarth has quit []

06:15 rusty has joined #bitcoin-wizards

06:41 Belkaar has quit [Ping timeout: 240 seconds]

06:42 Belkaar has joined #bitcoin-wizards

06:42 Belkaar has quit [Changing host]

07:00 Giszmo has quit [Ping timeout: 240 seconds]

07:14 rusty has quit [Ping timeout: 240 seconds]

07:45 prime_ has joined #bitcoin-wizards

07:56 joelsbeard has joined #bitcoin-wizards

08:06 d9b4bef9 has quit [Remote host closed the connection]

08:07 d9b4bef9 has joined #bitcoin-wizards

09:09 BashCo has quit [Read error: Connection reset by peer]

09:09 BashCo has joined #bitcoin-wizards

09:15 chjj has quit [Quit: WeeChat 1.8]

09:19 Cory has quit [Ping timeout: 246 seconds]

09:23 chjj has joined #bitcoin-wizards

09:28 _whitelogger has joined #bitcoin-wizards

09:29 thrmo_ has quit [Ping timeout: 248 seconds]

09:32 Ylbam has joined #bitcoin-wizards

09:34 dbarrett has quit [Ping timeout: 255 seconds]

09:37 dbarrett has joined #bitcoin-wizards

09:57 mryandao has quit [Ping timeout: 240 seconds]

09:58 renlord has quit [Ping timeout: 276 seconds]

10:00 renlord has joined #bitcoin-wizards

10:00 mryandao has joined #bitcoin-wizards

10:10 coredump_ has joined #bitcoin-wizards

10:40 HalfTorsoDeluxe has quit [Quit: Waiting for .007]

10:40 thrmo has joined #bitcoin-wizards

10:54 AaronvanW has joined #bitcoin-wizards

10:57 Aaronvan_ has joined #bitcoin-wizards

10:58 AaronvanW has quit [Ping timeout: 240 seconds]

11:00 coredump_ has quit [Ping timeout: 240 seconds]

11:06 marcoagner has quit [Ping timeout: 268 seconds]

11:37 thrmo has quit [Ping timeout: 260 seconds]

11:37 thrmo has joined #bitcoin-wizards

11:57 daszorz has joined #bitcoin-wizards

12:20 kinlo has quit [Quit: !]

12:24 kinlo has joined #bitcoin-wizards

12:30 d9b4bef9 has quit [Remote host closed the connection]

12:30 madacol has quit [Ping timeout: 260 seconds]

12:31 d9b4bef9 has joined #bitcoin-wizards

12:38 madacol has joined #bitcoin-wizards

12:41 <kanzure> .title https://news.ycombinator.com/item?id=14728226

12:41 <yoleaux> Verdi – Formally Verifying Distributed Systems (2016) | Hacker News

12:55 pro has joined #bitcoin-wizards

12:58 CubicEarth has joined #bitcoin-wizards

13:00 CubicEarth has quit [Client Quit]

13:03 paveljanik has joined #bitcoin-wizards

13:09 BashCo has quit [Read error: Connection reset by peer]

13:10 BashCo has joined #bitcoin-wizards

13:36 jtimon has joined #bitcoin-wizards

13:45 DrNo has quit [Ping timeout: 240 seconds]

13:50 DrNo has joined #bitcoin-wizards

13:53 str4d has joined #bitcoin-wizards

13:57 Aaronvan_ has quit []

14:09 JackH has quit [Ping timeout: 248 seconds]

14:56 Chris_Stewart_5 has joined #bitcoin-wizards

14:56 madacol has quit [Ping timeout: 260 seconds]

14:57 madacol has joined #bitcoin-wizards

15:00 harrymm has quit [Ping timeout: 255 seconds]

15:03 MaxSan has quit [Ping timeout: 240 seconds]

15:09 belcher has quit [Quit: Leaving]

15:22 harrymm has joined #bitcoin-wizards

15:24 deusexbeer has quit [Quit: Konversation terminated!]

15:28 deusexbeer has joined #bitcoin-wizards

15:30 deusexbeer has quit [Remote host closed the connection]

15:31 Lamby_ has quit [Quit: Leaving]

15:33 deusexbeer has joined #bitcoin-wizards

15:35 daszorz has quit [Read error: Connection reset by peer]

15:36 airbreather has quit [Ping timeout: 240 seconds]

15:36 airbreather has joined #bitcoin-wizards

15:39 Chris_Stewart_5 has quit [Ping timeout: 240 seconds]

15:43 Chris_Stewart_5 has joined #bitcoin-wizards

15:43 airbreather_ has joined #bitcoin-wizards

15:45 airbreather has quit [Ping timeout: 268 seconds]

15:46 Dyaheon has quit [Ping timeout: 240 seconds]

15:46 madacol has quit [Ping timeout: 268 seconds]

15:46 Dyaheon has joined #bitcoin-wizards

16:06 MaxSan has joined #bitcoin-wizards

16:08 jtimon has quit [Ping timeout: 248 seconds]

16:18 Guyver2 has joined #bitcoin-wizards

16:53 thrmo has quit [Ping timeout: 260 seconds]

17:10 BashCo has quit [Read error: Connection reset by peer]

17:10 BashCo has joined #bitcoin-wizards

17:12 JackH has joined #bitcoin-wizards

17:19 belcher has joined #bitcoin-wizards

17:38 d9b4bef9 has quit [Remote host closed the connection]

17:50 handlex has joined #bitcoin-wizards

17:51 arowser has quit [Remote host closed the connection]

17:57 arowser has joined #bitcoin-wizards

17:57 handlex has quit [Quit: handlex]

18:11 Logicwax has quit [Ping timeout: 240 seconds]

18:14 thrmo has joined #bitcoin-wizards

18:16 Logicwax has joined #bitcoin-wizards

18:28 jtimon has joined #bitcoin-wizards

18:42 CubicEarth has joined #bitcoin-wizards

18:57 CubicEarth has quit [Ping timeout: 248 seconds]

19:25 c0rrzin has joined #bitcoin-wizards

19:36 arowser has quit [Remote host closed the connection]

19:42 arowser has joined #bitcoin-wizards

19:51 Giszmo has joined #bitcoin-wizards

19:52 thrmo has quit [Quit: Waiting for .007]

19:53 thrmo has joined #bitcoin-wizards

20:06 arowser has quit [Remote host closed the connection]

20:12 arowser has joined #bitcoin-wizards

20:14 marcoagner has joined #bitcoin-wizards

20:17 c0rrzin has quit [Quit: Mutter: www.mutterirc.com]

20:26 d9b4bef9 has joined #bitcoin-wizards

20:59 prime_ has quit [Ping timeout: 240 seconds]

21:10 BashCo has quit [Read error: Connection reset by peer]

21:11 BashCo has joined #bitcoin-wizards

21:12 CheckDavid has joined #bitcoin-wizards

21:15 Giszmo has quit [Quit: Leaving.]

21:16 Guyver2 has left #bitcoin-wizards ["Closing Window"]

21:20 JackH has quit [Remote host closed the connection]

21:22 Giszmo has joined #bitcoin-wizards

21:23 UnrealLife has joined #bitcoin-wizards

21:31 _whitelogger has joined #bitcoin-wizards

21:45 handlex has joined #bitcoin-wizards

21:47 DrNo has quit [Ping timeout: 260 seconds]

21:53 DrNo has joined #bitcoin-wizards

22:07 Chris_Stewart_5 has quit [Ping timeout: 240 seconds]

22:07 daszorz has joined #bitcoin-wizards

22:07 daszorz has quit [Max SendQ exceeded]

22:08 daszorz has joined #bitcoin-wizards

22:09 daszorz has quit [Remote host closed the connection]

22:09 daszorz has joined #bitcoin-wizards

22:12 airbreather_ has quit [Ping timeout: 240 seconds]

22:13 airbreather has joined #bitcoin-wizards

22:23 Chris_Stewart_5 has joined #bitcoin-wizards

22:33 Chris_Stewart_5 has quit [Ping timeout: 248 seconds]

22:38 Chris_Stewart_5 has joined #bitcoin-wizards

22:49 mn3monic has joined #bitcoin-wizards

22:54 handlex has quit [Quit: handlex]

23:06 Noldorin has joined #bitcoin-wizards

23:07 Noldorin has quit [Client Quit]

23:08 Noldorin has joined #bitcoin-wizards

23:09 UnrealLife has quit [Ping timeout: 248 seconds]

23:12 rmwb has joined #bitcoin-wizards

23:23 AaronvanW has joined #bitcoin-wizards

23:25 daszorz has quit [Read error: Connection reset by peer]

23:28 Meeh has quit [Ping timeout: 240 seconds]

23:36 coredump_ has joined #bitcoin-wizards

23:50 priidu has quit [Ping timeout: 248 seconds]