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:16
murch has quit [Remote host closed the connection]
00:18
JHistone has quit [Quit: Leaving]
00:26
spinza has joined #bitcoin-wizards
00:33
NewLiberty has quit [Ping timeout: 245 seconds]
01:21
Topogetcyrpto has quit [Ping timeout: 245 seconds]
01:21
Topogetcyrpto has joined #bitcoin-wizards
01:27
Ylbam has quit [Quit: Connection closed for inactivity]
01:49
maaku has quit [Quit: No Ping reply in 180 seconds.]
01:49
maaku has joined #bitcoin-wizards
01:52
xsdfdfsa has joined #bitcoin-wizards
02:31
spinza has quit [Ping timeout: 256 seconds]
02:51
Topogetcyrpto_ has joined #bitcoin-wizards
02:53
Topogetcyrpto has quit [Ping timeout: 252 seconds]
02:53
Topogetcyrpto_ is now known as Topogetcyrpto
02:58
e0 has quit [Ping timeout: 248 seconds]
02:59
pro has quit [Quit: Leaving]
03:14
e0 has joined #bitcoin-wizards
03:32
<
amiller >
this "Hash first, argue later" thing looks cool
03:57
Giszmo has quit [Quit: Leaving.]
03:58
Burrito has quit [Quit: Leaving]
04:00
legogris has quit [Remote host closed the connection]
04:00
legogris has joined #bitcoin-wizards
04:01
ThomasV has joined #bitcoin-wizards
04:08
Alopex has quit [Remote host closed the connection]
04:10
Alopex has joined #bitcoin-wizards
04:28
Topogetcyrpto_ has joined #bitcoin-wizards
04:28
Topogetcyrpto has quit [Ping timeout: 252 seconds]
04:28
Topogetcyrpto_ is now known as Topogetcyrpto
04:30
Alopex has quit [Remote host closed the connection]
04:32
Alopex has joined #bitcoin-wizards
04:51
Logicwax has quit [Ping timeout: 268 seconds]
04:56
TheSeven has quit [Ping timeout: 258 seconds]
04:57
TheSeven has joined #bitcoin-wizards
04:57
Logicwax has joined #bitcoin-wizards
04:58
aj_ is now known as aj
05:08
Alopex has quit [Remote host closed the connection]
05:10
Alopex has joined #bitcoin-wizards
05:11
Topogetcyrpto has quit [Quit: Topogetcyrpto]
05:32
Alopex has quit [Remote host closed the connection]
05:34
Alopex has joined #bitcoin-wizards
05:41
ThomasV has quit [Ping timeout: 260 seconds]
05:43
Alopex has quit [Remote host closed the connection]
05:45
Alopex has joined #bitcoin-wizards
06:05
ThomasV has joined #bitcoin-wizards
06:10
priidu has joined #bitcoin-wizards
06:11
ThomasV has quit [Ping timeout: 260 seconds]
06:18
spinza has joined #bitcoin-wizards
06:23
blackwraith has joined #bitcoin-wizards
06:24
priidu has quit [Ping timeout: 250 seconds]
06:25
moli has joined #bitcoin-wizards
06:28
xissburg has quit [Quit: ZZZzzz…]
06:29
molz has quit [Ping timeout: 245 seconds]
06:42
sausage_factory has joined #bitcoin-wizards
06:44
blackwraith has quit [Ping timeout: 260 seconds]
07:14
moli has quit [Ping timeout: 244 seconds]
07:18
moli has joined #bitcoin-wizards
07:19
Alopex has quit [Remote host closed the connection]
07:21
Alopex has joined #bitcoin-wizards
07:21
Ylbam has joined #bitcoin-wizards
07:34
thewired_ has quit [Quit: Leaving]
07:40
ThomasV has joined #bitcoin-wizards
08:08
Alopex has quit [Remote host closed the connection]
08:10
Alopex has joined #bitcoin-wizards
08:28
Alopex has quit [Remote host closed the connection]
08:30
Alopex has joined #bitcoin-wizards
08:42
Guyver2 has joined #bitcoin-wizards
08:48
face has quit [Remote host closed the connection]
08:56
DigiByteDev has joined #bitcoin-wizards
09:03
Alopex has quit [Remote host closed the connection]
09:04
roconnor has quit [Ping timeout: 260 seconds]
09:05
Alopex has joined #bitcoin-wizards
09:12
Guyver2__ has joined #bitcoin-wizards
09:13
Guyver2 has quit [Disconnected by services]
09:13
Guyver2__ is now known as Guyver2
09:28
null_rad- is now known as null_radix
09:40
WungFu has joined #bitcoin-wizards
09:40
DigiByteDev has quit [Quit: DigiByteDev]
09:40
MoALTz has joined #bitcoin-wizards
09:56
xsdfdfsa has quit [Quit: xsdfdfsa]
10:01
<
nsh >
nobody's given a talk on MASTs that's been recorded, have they?
10:02
WungFu has quit [Ping timeout: 250 seconds]
10:21
<
nsh >
<nsh> has nobody tried rendering bitcoin consensus into HOL [or ML, coq, etc.] yet?
10:21
<
nsh >
<nsh> or some subset
10:22
<
nsh >
can only find discussion and abandoned/deleted efforts or altcoin blah
10:22
WungFu has joined #bitcoin-wizards
10:35
[Derek]_ is now known as [Derek]
10:35
[Derek] has quit [Changing host]
10:35
[Derek] has joined #bitcoin-wizards
10:42
<
kanzure >
closest possibly relevant talk is the polysig tree sig talk, i guess
10:47
Ylbam has quit [Quit: Connection closed for inactivity]
10:56
kristofferR has joined #bitcoin-wizards
11:00
pro has joined #bitcoin-wizards
11:12
Ylbam has joined #bitcoin-wizards
11:30
face has joined #bitcoin-wizards
11:41
ThomasV has quit [Ping timeout: 265 seconds]
11:44
WungFu has quit [Ping timeout: 252 seconds]
11:48
cjd is now known as cjd[m]
12:01
xissburg has joined #bitcoin-wizards
12:08
JackH has joined #bitcoin-wizards
12:08
JackH has quit [Max SendQ exceeded]
12:19
cjd[m] is now known as cjd
12:33
WungFu has joined #bitcoin-wizards
12:37
DigiByteDev has joined #bitcoin-wizards
12:44
WungFu has quit [Ping timeout: 245 seconds]
13:07
WungFu has joined #bitcoin-wizards
13:18
ThomasV has joined #bitcoin-wizards
13:34
nooblord has joined #bitcoin-wizards
13:39
JackH has joined #bitcoin-wizards
13:41
murch has joined #bitcoin-wizards
13:52
WungFu has quit [Ping timeout: 256 seconds]
14:36
blackwraith has joined #bitcoin-wizards
14:38
sausage_factory has quit [Ping timeout: 252 seconds]
14:38
andytoshi has joined #bitcoin-wizards
14:38
andytoshi has quit [Changing host]
14:38
andytoshi has joined #bitcoin-wizards
14:41
JHistone has joined #bitcoin-wizards
14:47
DigiByteDev has quit [Quit: DigiByteDev]
14:48
CrazyLoaf has quit [Quit: Connection closed for inactivity]
14:52
alpalp has quit [Ping timeout: 245 seconds]
15:01
kkode has joined #bitcoin-wizards
15:11
Noldorin has joined #bitcoin-wizards
15:12
NewLiberty has joined #bitcoin-wizards
15:13
cjcj has quit [Ping timeout: 260 seconds]
15:27
alpalp has joined #bitcoin-wizards
15:40
<
instagibbs >
nsh, key tree sig talk mentioned it, and it's quite a close concept anyways
15:51
sausage_factory has joined #bitcoin-wizards
15:53
blackwraith has quit [Ping timeout: 260 seconds]
16:15
Chris_Stewart_5 has joined #bitcoin-wizards
16:20
Guyver2 has quit [Quit: :)]
16:22
Starduster has quit [Ping timeout: 268 seconds]
16:35
Chris_Stewart_5 has quit [Ping timeout: 252 seconds]
16:47
Giszmo has joined #bitcoin-wizards
16:55
Pent has joined #bitcoin-wizards
17:09
Burrito has joined #bitcoin-wizards
17:10
kkode has quit [Ping timeout: 252 seconds]
17:20
blackwraith has joined #bitcoin-wizards
17:21
sausage_factory has quit [Ping timeout: 250 seconds]
17:24
alpalp has quit [Ping timeout: 245 seconds]
17:26
alpalp has joined #bitcoin-wizards
17:26
alpalp has quit [Changing host]
17:26
alpalp has joined #bitcoin-wizards
17:46
laurentmt has joined #bitcoin-wizards
17:47
laurentmt has quit [Client Quit]
17:48
ThomasV has quit [Ping timeout: 260 seconds]
17:57
mariorz_ is now known as mariorz
18:06
PRab has joined #bitcoin-wizards
18:27
Topogetcyrpto has joined #bitcoin-wizards
18:27
Topogetcyrpto has quit [Read error: Connection reset by peer]
18:27
Topogetcyrpto has joined #bitcoin-wizards
18:47
nikivi has joined #bitcoin-wizards
19:01
jonasschnelli has quit [Changing host]
19:01
jonasschnelli has joined #bitcoin-wizards
19:04
ThomasV has joined #bitcoin-wizards
19:04
nikivi has quit [Quit: zzz]
19:08
nikivi has joined #bitcoin-wizards
19:10
cjcj has joined #bitcoin-wizards
19:11
nikivi has quit [Max SendQ exceeded]
19:14
pigeons has joined #bitcoin-wizards
19:16
Topogetcyrpto_ has joined #bitcoin-wizards
19:18
GAit has joined #bitcoin-wizards
19:19
Topogetcyrpto has quit [Ping timeout: 250 seconds]
19:19
Topogetcyrpto_ is now known as Topogetcyrpto
19:31
kkode has joined #bitcoin-wizards
19:45
c0rw1n_ is now known as c0rw1n
19:47
alpalp has quit [Ping timeout: 245 seconds]
19:53
alpalp has joined #bitcoin-wizards
19:54
kkode has quit [Ping timeout: 260 seconds]
20:20
alpalp has quit [Ping timeout: 245 seconds]
20:35
blackwraith has quit [Read error: Connection reset by peer]
20:37
blackwraith has joined #bitcoin-wizards
20:41
GAit has quit [Quit: Leaving.]
20:58
alpalp has joined #bitcoin-wizards
20:58
alpalp has joined #bitcoin-wizards
20:58
alpalp has quit [Changing host]
21:11
alpalp has quit [Ping timeout: 245 seconds]
21:25
CrazyLoaf has joined #bitcoin-wizards
21:26
ThomasV has quit [Ping timeout: 260 seconds]
21:32
sausage_factory has joined #bitcoin-wizards
21:33
blackwraith has quit [Ping timeout: 250 seconds]
21:42
sausage_factory has quit [Ping timeout: 252 seconds]
21:43
GAit has joined #bitcoin-wizards
21:48
alpalp has joined #bitcoin-wizards
21:53
Starduster has joined #bitcoin-wizards
22:05
Topogetcyrpto has quit [Quit: Topogetcyrpto]
22:05
alpalp has quit [Ping timeout: 245 seconds]
22:13
JHistone has quit [Quit: Leaving]
22:18
Noldorin has quit [Remote host closed the connection]
22:21
Noldorin has joined #bitcoin-wizards
22:21
murch has quit [Remote host closed the connection]
22:37
chjj has quit [Read error: Connection reset by peer]
22:38
chjj has joined #bitcoin-wizards
22:50
GAit has quit [Quit: Leaving.]
23:01
Dizzle has joined #bitcoin-wizards
23:02
Dizzle has quit [Remote host closed the connection]
23:03
Dizzle has joined #bitcoin-wizards
23:04
Dizzle has quit [Remote host closed the connection]
23:04
Dizzle has joined #bitcoin-wizards
23:06
GAit has joined #bitcoin-wizards
23:11
GAit has quit [Changing host]
23:11
GAit has joined #bitcoin-wizards
23:11
GAit has quit [Quit: WeeChat 1.0.1]
23:13
GAit has joined #bitcoin-wizards
23:14
alpalp has joined #bitcoin-wizards
23:14
alpalp has joined #bitcoin-wizards
23:15
Dizzle has quit [Remote host closed the connection]
23:15
Dizzle has joined #bitcoin-wizards
23:16
Dizzle has quit [Remote host closed the connection]
23:17
Dizzle has joined #bitcoin-wizards
23:19
Dizzle has quit [Remote host closed the connection]
23:24
dnaleor has quit [Quit: Leaving]
23:26
Dizzle has joined #bitcoin-wizards
23:27
Dizzle has quit [Remote host closed the connection]
23:28
Dizzle has joined #bitcoin-wizards
23:29
Dizzle has quit [Remote host closed the connection]
23:31
Dizzle has joined #bitcoin-wizards
23:32
Dizzle has quit [Remote host closed the connection]
23:33
Dizzle has joined #bitcoin-wizards
23:34
Dizzle has quit [Remote host closed the connection]
23:35
alpalp has quit [Ping timeout: 245 seconds]
23:35
SecDawg has joined #bitcoin-wizards
23:37
SecDawg has left #bitcoin-wizards [#bitcoin-wizards]
23:39
Dizzle has joined #bitcoin-wizards
23:40
Dizzle has quit [Remote host closed the connection]
23:44
Dizzle has joined #bitcoin-wizards
23:45
Dizzle has quit [Remote host closed the connection]
23:46
Dizzle has joined #bitcoin-wizards
23:48
Dizzle has quit [Remote host closed the connection]
23:48
Dizzle has joined #bitcoin-wizards
23:49
MoALTz has quit [Ping timeout: 248 seconds]
23:50
Dizzle has quit [Remote host closed the connection]
23:51
Dizzle has joined #bitcoin-wizards
23:52
AaronvanW has quit [Remote host closed the connection]
23:52
Dizzle has quit [Remote host closed the connection]