#bitcoin-wizards on 2019-09-04 — 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:27 rusty has joined #bitcoin-wizards

00:30 TheoStorm has quit [Quit: Leaving]

00:39 Chris_Stewart_5 has quit [Ping timeout: 244 seconds]

00:44 mdunnio has joined #bitcoin-wizards

00:51 mdunnio has quit [Remote host closed the connection]

01:11 Iam_thor has joined #bitcoin-wizards

01:24 Krellan has joined #bitcoin-wizards

01:28 Krellan has quit [Ping timeout: 264 seconds]

01:33 tromp_ has joined #bitcoin-wizards

01:34 tromp has quit [Ping timeout: 252 seconds]

01:37 CryptoDavid has quit [Quit: Connection closed for inactivity]

01:43 ddustin has quit [Remote host closed the connection]

01:44 ddustin has joined #bitcoin-wizards

01:48 ddustin has quit [Ping timeout: 258 seconds]

01:53 Coupe420 has quit [Ping timeout: 245 seconds]

01:54 Coupe420 has joined #bitcoin-wizards

02:07 emilengler has quit [Ping timeout: 245 seconds]

02:14 emilengler has joined #bitcoin-wizards

02:22 rusty has quit [Quit: Leaving.]

02:22 Dean_Guss has joined #bitcoin-wizards

02:28 elichai2 has quit [Quit: Connection closed for inactivity]

02:37 Krellan has joined #bitcoin-wizards

02:42 Krellan has quit [Ping timeout: 246 seconds]

03:00 Iam_thor has quit []

03:03 rusty has joined #bitcoin-wizards

03:16 Krellan has joined #bitcoin-wizards

03:26 Krellan has quit [Ping timeout: 245 seconds]

03:31 IGHOR has quit [Quit: http://quassel-irc.org ? ??????????? ?????????. ????-??.]

03:35 IGHOR has joined #bitcoin-wizards

03:42 indolering has joined #bitcoin-wizards

03:54 Krellan has joined #bitcoin-wizards

03:59 Dean_Guss has quit [Ping timeout: 260 seconds]

04:00 Krellan has quit [Ping timeout: 264 seconds]

04:03 dgenr8 has joined #bitcoin-wizards

04:48 fkinglag has quit [Read error: Connection reset by peer]

04:48 fkinglag has joined #bitcoin-wizards

05:06 Krellan has joined #bitcoin-wizards

05:06 kenshi84 has joined #bitcoin-wizards

05:10 kenshi84_ has quit [Ping timeout: 264 seconds]

05:16 Krellan has quit [Ping timeout: 250 seconds]

05:20 rusty has quit [Quit: Leaving.]

05:24 neonknight644 has joined #bitcoin-wizards

05:26 neonknight64 has quit [Ping timeout: 245 seconds]

05:27 Krellan has joined #bitcoin-wizards

05:33 Krellan has quit [Ping timeout: 276 seconds]

05:37 indolering has quit [Remote host closed the connection]

05:48 Krellan has joined #bitcoin-wizards

05:48 Krellan has quit [Remote host closed the connection]

05:49 Krellan has joined #bitcoin-wizards

05:55 rusty has joined #bitcoin-wizards

06:01 ddustin has joined #bitcoin-wizards

06:06 ddustin has quit [Ping timeout: 276 seconds]

06:31 rusty has quit [Quit: Leaving.]

06:51 Galik has joined #bitcoin-wizards

06:51 Galik is now known as Guest48613

06:56 Krellan has quit [Quit: Leaving...]

07:07 Krellan has joined #bitcoin-wizards

07:25 <kanzure> formal verification survey https://www.nowpublishers.com/article/Details/PGL-045

07:41 ccdle12 has quit [Remote host closed the connection]

07:44 thrasher` has quit [Ping timeout: 245 seconds]

07:45 ccdle12 has joined #bitcoin-wizards

07:59 AaronvanW has joined #bitcoin-wizards

08:15 mryandao has quit [Remote host closed the connection]

08:16 mryandao has joined #bitcoin-wizards

08:31 Deinogalerix21 has joined #bitcoin-wizards

08:31 Zenton has joined #bitcoin-wizards

08:59 pico_pete has joined #bitcoin-wizards

09:00 Guest48613 has quit []

09:01 CjS77 has quit [Quit: Leaving]

09:01 simian_za has quit [Quit: Leaving]

09:01 json_ has quit [Quit: Leaving]

09:01 Hansie has quit [Quit: Leaving]

09:01 neonknight644 has quit [Quit: Leaving]

09:01 Blackwolfsa has quit [Quit: Leaving]

09:01 stanimal has quit [Quit: Leaving]

09:02 pico_pete has quit [Client Quit]

09:03 Hansie has joined #bitcoin-wizards

09:03 neonknight644 has joined #bitcoin-wizards

09:04 CjS77 has joined #bitcoin-wizards

09:04 Blackwolfsa has joined #bitcoin-wizards

09:04 stanimal has joined #bitcoin-wizards

09:04 json_ has joined #bitcoin-wizards

09:17 edit_21 has joined #bitcoin-wizards

09:18 Deinogalerix21 has quit [Quit: WeeChat 2.5]

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

09:26 rotarydialer has quit [Ping timeout: 246 seconds]

09:34 setpill has joined #bitcoin-wizards

09:35 Deinogalerix21 has joined #bitcoin-wizards

09:37 ccdle12 has quit [Remote host closed the connection]

09:38 AaronvanW has joined #bitcoin-wizards

09:43 rotarydialer has joined #bitcoin-wizards

09:45 ccdle12 has joined #bitcoin-wizards

09:59 Deinogalerix21 has quit [Quit: WeeChat 2.5]

10:06 AaronvanW has quit []

10:06 ccdle12 has quit [Remote host closed the connection]

10:20 queip has quit [Ping timeout: 245 seconds]

10:22 Giszmo has quit [Quit: Leaving.]

10:32 queip has joined #bitcoin-wizards

10:41 TheoStorm has joined #bitcoin-wizards

10:45 CryptoDavid has joined #bitcoin-wizards

11:00 Coupe420 has quit [Ping timeout: 245 seconds]

11:01 Coupe420 has joined #bitcoin-wizards

11:12 Chris_Stewart_5 has joined #bitcoin-wizards

11:17 antanst06738039 has quit [Quit: The Lounge - https://thelounge.chat]

11:18 queip has quit [Ping timeout: 258 seconds]

11:19 starsoccer has quit [Ping timeout: 245 seconds]

11:26 queip has joined #bitcoin-wizards

11:50 kinlo has quit [Quit: !]

11:51 kinlo has joined #bitcoin-wizards

11:54 starsoccer has joined #bitcoin-wizards

12:00 edit_21 has quit []

12:07 json_ has quit [Quit: Leaving]

12:07 Hansie has quit [Quit: Leaving]

12:07 CjS77 has quit [Quit: Leaving]

12:07 neonknight644 has quit [Quit: Leaving]

12:07 Blackwolfsa has quit [Quit: Leaving]

12:07 stanimal has quit [Quit: Leaving]

12:08 neonknight644 has joined #bitcoin-wizards

12:08 json_ has joined #bitcoin-wizards

12:08 simian_za has joined #bitcoin-wizards

12:08 Hansie has joined #bitcoin-wizards

12:08 stanimal has joined #bitcoin-wizards

12:08 Blackwolfsa has joined #bitcoin-wizards

12:08 CjS77 has joined #bitcoin-wizards

12:17 billstclair1 has joined #bitcoin-wizards

12:22 neonknight644 is now known as neonknight64

13:29 ccdle12 has joined #bitcoin-wizards

13:32 ccdle12_ has joined #bitcoin-wizards

13:32 ccdle12 has quit [Read error: Connection reset by peer]

13:41 queip has quit [Ping timeout: 250 seconds]

13:52 queip has joined #bitcoin-wizards

14:04 TheoStorm has quit [Quit: Leaving]

14:18 luke-jr has quit [Ping timeout: 246 seconds]

14:28 luke-jr has joined #bitcoin-wizards

14:35 AaronvanW has joined #bitcoin-wizards

14:51 mdunnio has joined #bitcoin-wizards

15:00 billstclair1 has quit []

15:05 mdunnio has quit [Remote host closed the connection]

15:08 mdunnio has joined #bitcoin-wizards

15:41 TheoStorm has joined #bitcoin-wizards

15:43 setpill has quit [Quit: o/]

15:45 Guyver2 has joined #bitcoin-wizards

15:47 TheoStorm has quit [Quit: Leaving]

15:47 Bjarki has joined #bitcoin-wizards

15:52 Bjarki has quit [Ping timeout: 244 seconds]

15:54 mdunnio has quit [Remote host closed the connection]

15:59 mdunnio has joined #bitcoin-wizards

16:02 emilengler has quit [Ping timeout: 258 seconds]

16:09 emilengler has joined #bitcoin-wizards

16:17 vdo has quit [Quit: hopp!]

16:25 vdo has joined #bitcoin-wizards

16:25 vdo has quit [Changing host]

16:26 mdunnio has quit [Remote host closed the connection]

16:47 mdunnio has joined #bitcoin-wizards

16:52 mdunnio has quit [Ping timeout: 244 seconds]

16:54 rjected has joined #bitcoin-wizards

16:57 elichai2 has joined #bitcoin-wizards

17:00 michaelfolkson has joined #bitcoin-wizards

17:08 mdunnio has joined #bitcoin-wizards

17:12 mdunnio has quit [Ping timeout: 245 seconds]

17:18 mdunnio has joined #bitcoin-wizards

17:19 Chris_Stewart_5 has quit [Ping timeout: 245 seconds]

17:21 kallewoof has quit [Ping timeout: 276 seconds]

17:39 <sanket1729> \msg real_or_random I am looking for interesting research topics/challenges related to bitcoin. Do you have suggestions to me to look at? Or generally a place for me to look at open problems

17:39 drewx2 has joined #bitcoin-wizards

17:40 Chris_Stewart_5 has joined #bitcoin-wizards

17:40 <sanket1729> oops, the wrong '/'

17:40 Zenton has quit [Ping timeout: 245 seconds]

17:41 <sipa> seems like a good place to ask regardless :)

17:50 rjected has quit [Quit: WeeChat 2.5]

18:00 drewx2 has quit []

18:02 michaelfolkson has quit [Quit: Sleep mode]

18:22 CubicEarth has quit [Ping timeout: 245 seconds]

18:26 mdunnio has quit [Remote host closed the connection]

18:33 mdunnio has joined #bitcoin-wizards

18:48 <elichai2> does sound like a great question :)

18:59 mdunnio has quit [Remote host closed the connection]

19:03 ddustin has joined #bitcoin-wizards

19:04 ddustin has joined #bitcoin-wizards

19:04 ddustin has quit [Read error: Connection reset by peer]

19:05 ddustin has joined #bitcoin-wizards

19:05 ddustin has quit [Read error: Connection reset by peer]

19:06 ddustin has joined #bitcoin-wizards

19:06 ddustin has quit [Read error: Connection reset by peer]

19:07 ddustin has joined #bitcoin-wizards

19:08 ddustin has quit [Read error: Connection reset by peer]

19:08 ddustin has joined #bitcoin-wizards

19:09 mdunnio has joined #bitcoin-wizards

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

19:10 ddustin has joined #bitcoin-wizards

19:19 michaelfolkson has joined #bitcoin-wizards

19:22 reallll has joined #bitcoin-wizards

19:24 <roasbeef> iirc amiller had some running "open resarch questions" site somewhere?

19:25 belcher has quit [Ping timeout: 244 seconds]

19:26 reallll is now known as belcher

19:27 Zenton has joined #bitcoin-wizards

19:28 mdunnio has quit [Remote host closed the connection]

19:28 <nickler> maybe obvious but bitcoin and lightning mailing list should give good inspiration

19:36 mdunnio has joined #bitcoin-wizards

19:37 ddustin has quit [Read error: Connection timed out]

19:37 ddustin has joined #bitcoin-wizards

19:48 queip has quit [Ping timeout: 245 seconds]

19:49 <sipa> roasbeef: i think sanket1729 knows amiller :)

19:53 <sanket1729> sipa: roasbeef: Hopefully he approves my thesis :P

19:58 queip has joined #bitcoin-wizards

20:10 ddustin has quit [Remote host closed the connection]

20:11 ddustin has joined #bitcoin-wizards

20:15 ddustin has quit [Ping timeout: 245 seconds]

20:19 ddustin has joined #bitcoin-wizards

20:19 ddustin has quit [Read error: Connection reset by peer]

20:20 ddustin has joined #bitcoin-wizards

20:21 ddustin has quit [Read error: Connection reset by peer]

20:21 justanotheruser has quit [Ping timeout: 246 seconds]

20:22 ddustin has joined #bitcoin-wizards

20:22 ddustin has quit [Read error: Connection reset by peer]

20:23 ddustin has joined #bitcoin-wizards

20:23 ddustin has quit [Read error: Connection reset by peer]

20:24 ddustin has joined #bitcoin-wizards

20:25 ddustin has quit [Read error: Connection reset by peer]

20:25 ddustin has joined #bitcoin-wizards

20:26 ddustin has quit [Read error: Connection reset by peer]

20:26 ddustin has joined #bitcoin-wizards

20:27 harrigan has joined #bitcoin-wizards

20:27 ddustin has quit [Read error: Connection reset by peer]

20:28 ddustin has joined #bitcoin-wizards

20:28 ddustin has quit [Read error: Connection reset by peer]

20:29 ddustin has joined #bitcoin-wizards

20:30 ddustin has quit [Read error: Connection reset by peer]

20:30 ddustin has joined #bitcoin-wizards

20:31 ddustin has quit [Read error: Connection reset by peer]

20:32 ddustin has joined #bitcoin-wizards

20:34 TheoStorm has joined #bitcoin-wizards

20:42 rjected has joined #bitcoin-wizards

20:48 Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]

20:57 ddustin has quit [Remote host closed the connection]

20:58 ddustin has joined #bitcoin-wizards

21:02 ddustin has quit [Ping timeout: 258 seconds]

21:07 harrigan has quit [Quit: harrigan]

21:10 Chris_Stewart_5 has quit [Ping timeout: 246 seconds]

21:10 rjected has quit [Quit: WeeChat 2.5]

21:13 michaelfolkson has quit [Quit: Sleep mode]

21:15 michaelfolkson has joined #bitcoin-wizards

21:20 michaelfolkson has quit [Ping timeout: 268 seconds]

21:21 mdunnio has quit [Remote host closed the connection]

21:24 ccdle12_ has quit [Ping timeout: 245 seconds]

21:25 harrigan has joined #bitcoin-wizards

21:25 harrigan has quit [Client Quit]

21:26 mdunnio has joined #bitcoin-wizards

21:28 ddustin has joined #bitcoin-wizards

21:28 ddustin has quit [Read error: Connection reset by peer]

21:29 ddustin has joined #bitcoin-wizards

21:29 ddustin has quit [Read error: Connection reset by peer]

21:30 ccdle12 has joined #bitcoin-wizards

21:30 ddustin has joined #bitcoin-wizards

21:30 ddustin has quit [Read error: Connection reset by peer]

21:31 ddustin has joined #bitcoin-wizards

21:32 ddustin has quit [Read error: Connection reset by peer]

21:32 ddustin has joined #bitcoin-wizards

21:33 ddustin has quit [Read error: Connection reset by peer]

21:33 ddustin has joined #bitcoin-wizards

21:34 ddustin has quit [Read error: Connection reset by peer]

21:34 ddustin has joined #bitcoin-wizards

21:35 ddustin has quit [Read error: Connection reset by peer]

21:36 ddustin has joined #bitcoin-wizards

21:36 ddustin has quit [Read error: Connection reset by peer]

21:36 TheoStorm has quit [Quit: Leaving]

21:42 mdunnio has quit [Remote host closed the connection]

21:47 mdunnio has joined #bitcoin-wizards

21:48 rknLA1 has joined #bitcoin-wizards

21:53 mdunnio has quit [Remote host closed the connection]

21:56 esotericnonsense has quit [Remote host closed the connection]

21:57 esotericnonsense has joined #bitcoin-wizards

22:05 ccdle12 has quit [Ping timeout: 258 seconds]

22:08 justanotheruser has joined #bitcoin-wizards

22:26 queip has quit [Ping timeout: 258 seconds]

22:32 queip has joined #bitcoin-wizards

22:33 ccdle12 has joined #bitcoin-wizards

22:39 ccdle12 has quit [Remote host closed the connection]

22:47 TheoStorm has joined #bitcoin-wizards

22:53 CryptoDavid has quit [Quit: Connection closed for inactivity]

23:36 ccdle12 has joined #bitcoin-wizards

23:37 TheoStorm has quit [Quit: Leaving]

23:41 ccdle12 has quit [Ping timeout: 245 seconds]

23:54 Giszmo has joined #bitcoin-wizards