#bitcoin-wizards on 2016-06-20 — 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:08 dEBRUYNE has joined #bitcoin-wizards

00:11 CrazyTruthYakDDS has quit [Quit: Connection closed for inactivity]

00:32 dEBRUYNE has quit [Ping timeout: 252 seconds]

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

00:55 bramc has quit [Ping timeout: 250 seconds]

01:23 Noldorin has joined #bitcoin-wizards

01:32 MoALTz has quit [Quit: Leaving]

01:38 NewLiberty has joined #bitcoin-wizards

01:43 HostFat has quit [Quit: Leaving]

01:45 netsinn has joined #bitcoin-wizards

01:46 King_Rex has quit [Remote host closed the connection]

01:49 netsinn has quit [Ping timeout: 244 seconds]

01:50 spinza has quit [Ping timeout: 258 seconds]

01:56 Burrito has quit [Ping timeout: 276 seconds]

01:56 spinza has joined #bitcoin-wizards

02:03 nonaTure has joined #bitcoin-wizards

02:16 frankenmint has joined #bitcoin-wizards

02:16 netsinn has joined #bitcoin-wizards

02:20 CrazyTruthYakDDS has joined #bitcoin-wizards

02:23 frankenmint has quit [Remote host closed the connection]

02:26 frankenmint has joined #bitcoin-wizards

02:27 frankenmint has quit [Remote host closed the connection]

02:30 netsinn has quit [Remote host closed the connection]

02:38 netsinn has joined #bitcoin-wizards

02:40 frankenmint has joined #bitcoin-wizards

02:41 netsinn has quit [Client Quit]

02:41 netsinn has joined #bitcoin-wizards

02:41 netsinn has quit [Read error: Connection reset by peer]

02:44 Noldorin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]

02:54 rusty2 has quit [Ping timeout: 250 seconds]

02:57 alpalp has quit [Ping timeout: 250 seconds]

03:13 nonaTure has quit [Ping timeout: 260 seconds]

03:14 frankenmint has quit [Remote host closed the connection]

03:14 pro has quit [Quit: Leaving]

03:43 frankenmint has joined #bitcoin-wizards

04:06 rusty2 has joined #bitcoin-wizards

04:19 nuke1989 has quit [Remote host closed the connection]

04:29 blackwraith has quit [Ping timeout: 272 seconds]

04:31 Alopex has quit [Remote host closed the connection]

04:33 Alopex has joined #bitcoin-wizards

04:45 TheSeven has quit [Ping timeout: 260 seconds]

04:45 [7] has joined #bitcoin-wizards

05:50 Burrito has joined #bitcoin-wizards

06:01 ThomasV has joined #bitcoin-wizards

06:12 AusteritySucks has quit [Ping timeout: 264 seconds]

06:22 renlord has joined #bitcoin-wizards

06:22 renlord is now known as mrpocoyo

06:49 Burrito has quit [Ping timeout: 240 seconds]

07:02 frankenmint has quit [Remote host closed the connection]

07:05 AusteritySucks has joined #bitcoin-wizards

07:06 frankenmint has joined #bitcoin-wizards

07:08 rusty2 has quit [Ping timeout: 246 seconds]

07:12 Giszmo has quit [Ping timeout: 252 seconds]

07:31 mountaingoat has quit [Ping timeout: 276 seconds]

07:32 frankenmint has quit [Remote host closed the connection]

07:39 kanzure has quit [Ping timeout: 244 seconds]

07:43 mountaingoat has joined #bitcoin-wizards

07:46 kanzure has joined #bitcoin-wizards

07:47 AusteritySucks has quit [Quit: Leaving]

07:51 Alopex has quit [Remote host closed the connection]

07:53 Alopex has joined #bitcoin-wizards

08:03 kanzure has quit [Read error: Connection reset by peer]

08:03 kanzure has joined #bitcoin-wizards

08:10 nonaTure has joined #bitcoin-wizards

08:10 frankenmint has joined #bitcoin-wizards

08:16 nonaTure has quit [Ping timeout: 264 seconds]

08:21 Davasny has joined #bitcoin-wizards

08:32 c0rw1n- has quit [Ping timeout: 240 seconds]

08:41 Davasny_ has joined #bitcoin-wizards

08:44 heretolearn has joined #bitcoin-wizards

08:44 Davasny has quit [Ping timeout: 260 seconds]

08:55 Guyver2 has joined #bitcoin-wizards

09:11 <JackH> has op_csv locked in?

09:26 <btcdrak> JackH: not yet. Check back in 30 hours

09:28 <btcdrak> oh less 121 blocks to go

09:28 <JackH> this is about right: http://api.qbit.ninja/versionstats ?

09:29 <JackH> "proposal": "CSV",

09:29 <JackH> "count": 1909,

09:29 <JackH> "percentage": 94.692460317460316

09:29 <btcdrak> JackH: we need 1916 blocks, we currently have 1829

09:29 <JackH> ahh

09:29 <JackH> gotcha

09:30 <btcdrak> after another 87 signalling blocks, then we are technically at point of no return for lockin, although the state change wont happen until the retarget

09:31 frankenmint has quit [Remote host closed the connection]

09:31 <btcdrak> assuming that happens, activation will occur on block 419328

09:35 mrpocoyo has quit [Ping timeout: 260 seconds]

09:37 dEBRUYNE has joined #bitcoin-wizards

09:39 <btcdrak> JackH: seems the qbit thing isnt correct for the "last2016" entry. it's doing a rolling count, which is not relevant for BIP9.

09:40 nuke1989 has joined #bitcoin-wizards

09:41 <JackH> where are you checking btcdrak ?

09:41 <btcdrak> direct from my bitcoind

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

09:54 libertalis has joined #bitcoin-wizards

10:09 digitalmagus2 has quit [Ping timeout: 260 seconds]

10:15 jannes has joined #bitcoin-wizards

10:15 digitalmagus8 has joined #bitcoin-wizards

10:21 CrazyTruthYakDDS has quit [Quit: Connection closed for inactivity]

10:24 Davasny has joined #bitcoin-wizards

10:26 Davasny_ has quit [Ping timeout: 240 seconds]

10:29 libertalis has quit [Quit: Leaving]

10:31 mrpocoyo has joined #bitcoin-wizards

10:34 ThomasV has quit [Ping timeout: 250 seconds]

10:36 mrpocoyo has quit [Ping timeout: 250 seconds]

10:40 MoALTz has joined #bitcoin-wizards

10:40 edvorg has joined #bitcoin-wizards

10:55 ThomasV has joined #bitcoin-wizards

10:55 laurentmt has joined #bitcoin-wizards

10:55 laurentmt has quit [Client Quit]

10:56 Ylbam has joined #bitcoin-wizards

11:10 ManfredMacx has joined #bitcoin-wizards

11:11 heretolearn has quit [Quit: Connection closed for inactivity]

11:20 King_Rex has joined #bitcoin-wizards

11:32 mrpocoyo has joined #bitcoin-wizards

11:36 AaronvanW has quit [Read error: Connection reset by peer]

11:37 pro has joined #bitcoin-wizards

11:37 mrpocoyo has quit [Ping timeout: 244 seconds]

11:38 null_radix has quit [Excess Flood]

11:39 null_radix has joined #bitcoin-wizards

11:44 dEBRUYNE has quit [Quit: Leaving]

11:45 ThomasV has quit [Ping timeout: 258 seconds]

12:01 alpalp has joined #bitcoin-wizards

12:10 alpalp has quit [Ping timeout: 250 seconds]

12:12 freekevin has quit [Read error: Connection reset by peer]

12:13 fractex has quit [Ping timeout: 260 seconds]

12:13 Davasny has quit [Ping timeout: 244 seconds]

12:13 AaronvanW has joined #bitcoin-wizards

12:15 Starduster has joined #bitcoin-wizards

12:15 mountaingoat has quit [Ping timeout: 272 seconds]

12:15 azariah has quit [Ping timeout: 252 seconds]

12:15 azariah has joined #bitcoin-wizards

12:16 Davasny has joined #bitcoin-wizards

12:16 MoALTz_ has joined #bitcoin-wizards

12:16 c0rw1n has quit [Ping timeout: 244 seconds]

12:16 <instagibbs> btcdrak, "sincePeriodStart" is the bip9 condition

12:17 <instagibbs> last2016 is literally just the last 2016

12:17 [Derek] has quit [Ping timeout: 272 seconds]

12:18 c0rw1n has joined #bitcoin-wizards

12:18 RedEmerald has quit [Quit: ZNC - 1.6.0 - http://znc.in]

12:18 nabu has quit [Ping timeout: 240 seconds]

12:18 MoALTz has quit [Ping timeout: 244 seconds]

12:19 MoALTz_ is now known as MoALTz

12:20 RedEmerald has joined #bitcoin-wizards

12:23 [Derek] has joined #bitcoin-wizards

12:23 fractex has joined #bitcoin-wizards

12:23 [Derek] is now known as Guest91676

12:43 ManfredMacx has quit [Quit: Bye]

12:45 <btcdrak> instagibbs: right, but it's useless in BIP9 context.

12:45 <btcdrak> it extends past the beginning of the window

12:46 ThomasV has joined #bitcoin-wizards

12:53 null_radix has quit [Excess Flood]

12:55 null_radix has joined #bitcoin-wizards

12:57 edvorg has quit [Ping timeout: 244 seconds]

13:02 mountaingoat has joined #bitcoin-wizards

13:16 dEBRUYNE has joined #bitcoin-wizards

13:16 mrpocoyo has joined #bitcoin-wizards

13:17 mountaingoat has quit [Ping timeout: 244 seconds]

13:17 waxwing has quit [Quit: Leaving]

13:25 waxwing has joined #bitcoin-wizards

13:30 mountain1 has joined #bitcoin-wizards

13:30 dgenr8 has quit [Read error: Connection reset by peer]

13:30 dgenr8 has joined #bitcoin-wizards

13:31 Noldorin has joined #bitcoin-wizards

13:40 Davasny_ has joined #bitcoin-wizards

13:42 Davasny__ has joined #bitcoin-wizards

13:42 Davasny has quit [Ping timeout: 240 seconds]

13:45 Davasny_ has quit [Ping timeout: 252 seconds]

14:12 Chris_Stewart_5 has joined #bitcoin-wizards

14:14 Giszmo has joined #bitcoin-wizards

14:29 JackH has quit [Quit: Leaving]

14:35 raedah has quit [Remote host closed the connection]

14:36 raedah has joined #bitcoin-wizards

14:42 mrpocoyo has quit [Ping timeout: 272 seconds]

14:58 ThomasV has quit [Ping timeout: 276 seconds]

15:12 JackH has joined #bitcoin-wizards

15:13 JackH has quit [Client Quit]

15:14 JackH has joined #bitcoin-wizards

15:20 Sosumi has joined #bitcoin-wizards

15:24 Tenhi_ has joined #bitcoin-wizards

15:31 roman_ has joined #bitcoin-wizards

15:34 Tenhi_ has quit [K-Lined]

15:37 ThomasV has joined #bitcoin-wizards

15:38 mrpocoyo has joined #bitcoin-wizards

15:43 mrpocoyo has quit [Ping timeout: 260 seconds]

16:10 digitalmagus has quit [Ping timeout: 240 seconds]

16:14 nonaTure has joined #bitcoin-wizards

16:15 <kanzure> idris/smart contract things http://publications.lib.chalmers.se/records/fulltext/234939/234939.pdf

16:20 <buZz> cause you didnt loose enough money yet

16:20 <buZz> kanzure: enjoy :)

16:20 <kanzure> wtf?

16:21 <buZz> oh sorry, i'll retract my offer of enjoyment

16:22 Burrito has joined #bitcoin-wizards

16:24 <maaku> kanzure: thanks, great link

16:32 laurentmt has joined #bitcoin-wizards

16:33 laurentmt has quit [Client Quit]

16:46 Chris_Stewart_5 has quit [Ping timeout: 272 seconds]

16:48 Chris_Stewart_5 has joined #bitcoin-wizards

16:50 mrpocoyo has joined #bitcoin-wizards

16:55 mrpocoyo has quit [Ping timeout: 272 seconds]

16:57 HostFat has joined #bitcoin-wizards

16:57 ThomasV has quit [Ping timeout: 258 seconds]

16:57 AaronvanW has quit [Ping timeout: 276 seconds]

17:08 Chris_Stewart_5 has quit [Ping timeout: 244 seconds]

17:09 nonaTure has quit [Ping timeout: 246 seconds]

17:21 Chris_Stewart_5 has joined #bitcoin-wizards

17:25 Chris_Stewart_5 has quit [Ping timeout: 246 seconds]

17:37 <JackH> ;;getblock

17:37 <gribble> Error: "getblock" is not a valid command.

17:45 Chris_Stewart_5 has joined #bitcoin-wizards

17:49 frankenmint has joined #bitcoin-wizards

17:50 <kanzure> 10:49 <+kanzure> describe your coq chips

17:50 <kanzure> 10:49 <+sbp> proof engine is burned into a chip. no code executes ever which does not come with proofs of how it runs

17:51 mrpocoyo has joined #bitcoin-wizards

17:56 mrpocoyo has quit [Ping timeout: 260 seconds]

17:56 <kanzure> https://www.andres-loeh.de/LambdaPi/LambdaPi.pdf

17:57 <kanzure> http://research.microsoft.com/en-us/people/dimitris/pie.pdf

18:00 <bsm117532> I'm going to follow Kanzure and just paste links I'm reading... ;-)

18:00 <bsm117532> http://www.sciencedirect.com/science/article/pii/S0893965910001308

18:00 <bsm117532> e.g. for sharing a hash preimage as a secret, used in a hash-locked txn P2SH...

18:02 <kanzure> "An efficient multi-use multi-secret sharing scheme based on hash function"

18:03 <kanzure> "Vertebrate brains and evolutionary connectomics: on the origins of the mammalian 'neocortex'" https://www.researchgate.net/profile/Harvey_Karten/publication/283648861_Vertebrate_brains_and_evolutionary_connectomics_On_the_origins_of_the_mammalian_'neocortex'/links/566fb1ac08aec0bb67bf17ad.pdf

18:03 <kanzure> wait, no, wrong channel

18:03 <kanzure> "Dependent types without the sugar" http://www.cs.nott.ac.uk/~psztxa/publ/pisigma-new.pdf

18:05 Chris_Stewart_5 has quit [Ping timeout: 264 seconds]

18:19 edvorg has joined #bitcoin-wizards

18:20 edvorg has quit [Remote host closed the connection]

18:21 Chris_Stewart_5 has joined #bitcoin-wizards

18:22 <nsh> otoh, your face complicates a metatheoretic study and is a potential source of bugs

18:22 <nsh> +al

18:23 <nsh> (i approve of the approach here though. use a series of metalanguage to keep the formal definition of any one within formal tractability)

18:23 <nsh> the second formal meaning proving things about

18:24 edvorg has joined #bitcoin-wizards

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

18:27 priidu has joined #bitcoin-wizards

18:31 edvorg has joined #bitcoin-wizards

18:33 ruby32 has joined #bitcoin-wizards

18:33 Chris_Stewart_5 has quit [Quit: WeeChat 0.4.2]

18:34 Chris_Stewart_5 has joined #bitcoin-wizards

18:47 gielbier has joined #bitcoin-wizards

18:47 gielbier has quit [Changing host]

18:47 gielbier has joined #bitcoin-wizards

18:48 Chris_Stewart_5 has quit [Ping timeout: 264 seconds]

18:52 mrpocoyo has joined #bitcoin-wizards

18:58 mrpocoyo has quit [Ping timeout: 260 seconds]

19:00 ThomasV has joined #bitcoin-wizards

19:04 Chris_Stewart_5 has joined #bitcoin-wizards

19:06 NewLiberty has quit [Ping timeout: 258 seconds]

19:09 Chris_Stewart_5 has quit [Ping timeout: 260 seconds]

19:21 nonaTure has joined #bitcoin-wizards

19:22 ThomasV has quit [Ping timeout: 276 seconds]

19:25 Chris_Stewart_5 has joined #bitcoin-wizards

19:32 rocch has joined #bitcoin-wizards

19:38 rocchh has joined #bitcoin-wizards

19:39 rocch has quit [Disconnected by services]

19:40 rocchh is now known as rocch

19:41 Aranjedeath has quit [Quit: Three sheets to the wind]

19:44 Giszmo has quit [Ping timeout: 240 seconds]

19:49 ThomasV has joined #bitcoin-wizards

19:53 gavinandresen has quit [Ping timeout: 276 seconds]

19:54 mrpocoyo has joined #bitcoin-wizards

19:59 mrpocoyo has quit [Ping timeout: 244 seconds]

20:02 Giszmo has joined #bitcoin-wizards

20:08 chjj has quit [Quit: null]

20:09 Sosumi has quit [Quit: Bye]

20:09 chjj has joined #bitcoin-wizards

20:16 frankenmint has quit [Remote host closed the connection]

20:22 ThomasV has quit [Ping timeout: 244 seconds]

20:26 rusty2 has joined #bitcoin-wizards

20:38 dnaleor has quit [Quit: Leaving]

20:42 dnaleor has joined #bitcoin-wizards

20:43 bildramer1 has joined #bitcoin-wizards

20:43 bildramer has quit [Disconnected by services]

20:43 bildramer1 is now known as bildramer

20:46 Chris_Stewart_5 has quit [Ping timeout: 244 seconds]

20:47 Chris_Stewart_5 has joined #bitcoin-wizards

20:55 mrpocoyo has joined #bitcoin-wizards

20:59 mrpocoyo has quit [Ping timeout: 252 seconds]

21:01 NewLiberty has joined #bitcoin-wizards

21:09 Chris_Stewart_5 has quit [Ping timeout: 240 seconds]

21:09 ThomasV has joined #bitcoin-wizards

21:13 frankenmint has joined #bitcoin-wizards

21:14 edvorg has quit [Ping timeout: 260 seconds]

21:23 Chris_Stewart_5 has joined #bitcoin-wizards

21:33 HostFat has quit [Quit: Leaving]

21:38 rusty2 has quit [Ping timeout: 260 seconds]

21:49 ThomasV has quit [Ping timeout: 246 seconds]

21:56 mrpocoyo has joined #bitcoin-wizards

21:59 Chaterz has joined #bitcoin-wizards

22:00 Chaterz has quit [Changing host]

22:00 Chaterz has joined #bitcoin-wizards

22:00 er0t has joined #bitcoin-wizards

22:01 mrpocoyo has quit [Ping timeout: 276 seconds]

22:02 ruby32 has quit [Remote host closed the connection]

22:16 paveljanik has quit [Read error: Connection reset by peer]

22:17 paveljanik has joined #bitcoin-wizards

22:17 paveljanik has quit [Changing host]

22:25 ruby32 has joined #bitcoin-wizards

22:31 PERSIAN has quit [Ping timeout: 244 seconds]

22:35 vyvojar has joined #bitcoin-wizards

22:39 toffoo has joined #bitcoin-wizards

22:41 frankenmint has quit [Remote host closed the connection]

22:42 c0rw1n- has joined #bitcoin-wizards

22:43 Chris_Stewart_5 has quit [Ping timeout: 244 seconds]

22:44 Chris_Stewart_5 has joined #bitcoin-wizards

22:46 dnaleor has quit [Quit: Leaving]

22:55 dnaleor has joined #bitcoin-wizards

22:57 mrpocoyo has joined #bitcoin-wizards

22:57 MoALTz has quit [Ping timeout: 244 seconds]

22:59 nonaTure has quit [Ping timeout: 276 seconds]

22:59 frankenmint has joined #bitcoin-wizards

23:00 Davasny__ has quit [Read error: Connection reset by peer]

23:01 Guyver2 has quit [Quit: :)]

23:01 mrpocoyo has quit [Ping timeout: 252 seconds]

23:10 ruby32 has quit [Ping timeout: 246 seconds]

23:17 Emcy has quit [Read error: Connection reset by peer]

23:24 belcher has joined #bitcoin-wizards

23:24 toffoo has quit []

23:30 mrpocoyo has joined #bitcoin-wizards

23:47 [7] has quit [Read error: Connection reset by peer]

23:49 drzw has joined #bitcoin-wizards

23:50 TheSeven has joined #bitcoin-wizards

23:54 frankenmint has quit [Ping timeout: 244 seconds]

23:59 b-itcoinssg has joined #bitcoin-wizards