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
dEBRUYNE has joined #bitcoin-wizards
CrazyTruthYakDDS has quit [Quit: Connection closed for inactivity]
dEBRUYNE has quit [Ping timeout: 252 seconds]
Ylbam has quit [Quit: Connection closed for inactivity]
bramc has quit [Ping timeout: 250 seconds]
Noldorin has joined #bitcoin-wizards
MoALTz has quit [Quit: Leaving]
NewLiberty has joined #bitcoin-wizards
HostFat has quit [Quit: Leaving]
netsinn has joined #bitcoin-wizards
King_Rex has quit [Remote host closed the connection]
netsinn has quit [Ping timeout: 244 seconds]
spinza has quit [Ping timeout: 258 seconds]
Burrito has quit [Ping timeout: 276 seconds]
spinza has joined #bitcoin-wizards
nonaTure has joined #bitcoin-wizards
frankenmint has joined #bitcoin-wizards
netsinn has joined #bitcoin-wizards
CrazyTruthYakDDS has joined #bitcoin-wizards
frankenmint has quit [Remote host closed the connection]
frankenmint has joined #bitcoin-wizards
frankenmint has quit [Remote host closed the connection]
netsinn has quit [Remote host closed the connection]
netsinn has joined #bitcoin-wizards
frankenmint has joined #bitcoin-wizards
netsinn has quit [Client Quit]
netsinn has joined #bitcoin-wizards
netsinn has quit [Read error: Connection reset by peer]
Noldorin has quit [Quit: My MacBook Pro has gone to sleep. ZZZzzz…]
rusty2 has quit [Ping timeout: 250 seconds]
alpalp has quit [Ping timeout: 250 seconds]
nonaTure has quit [Ping timeout: 260 seconds]
frankenmint has quit [Remote host closed the connection]
pro has quit [Quit: Leaving]
frankenmint has joined #bitcoin-wizards
rusty2 has joined #bitcoin-wizards
nuke1989 has quit [Remote host closed the connection]
blackwraith has quit [Ping timeout: 272 seconds]
Alopex has quit [Remote host closed the connection]
Alopex has joined #bitcoin-wizards
TheSeven has quit [Ping timeout: 260 seconds]
[7] has joined #bitcoin-wizards
Burrito has joined #bitcoin-wizards
ThomasV has joined #bitcoin-wizards
AusteritySucks has quit [Ping timeout: 264 seconds]
renlord has joined #bitcoin-wizards
renlord is now known as mrpocoyo
Burrito has quit [Ping timeout: 240 seconds]
frankenmint has quit [Remote host closed the connection]
AusteritySucks has joined #bitcoin-wizards
frankenmint has joined #bitcoin-wizards
rusty2 has quit [Ping timeout: 246 seconds]
Giszmo has quit [Ping timeout: 252 seconds]
mountaingoat has quit [Ping timeout: 276 seconds]
frankenmint has quit [Remote host closed the connection]
kanzure has quit [Ping timeout: 244 seconds]
mountaingoat has joined #bitcoin-wizards
kanzure has joined #bitcoin-wizards
AusteritySucks has quit [Quit: Leaving]
Alopex has quit [Remote host closed the connection]
Alopex has joined #bitcoin-wizards
kanzure has quit [Read error: Connection reset by peer]
kanzure has joined #bitcoin-wizards
nonaTure has joined #bitcoin-wizards
frankenmint has joined #bitcoin-wizards
nonaTure has quit [Ping timeout: 264 seconds]
Davasny has joined #bitcoin-wizards
c0rw1n- has quit [Ping timeout: 240 seconds]
Davasny_ has joined #bitcoin-wizards
heretolearn has joined #bitcoin-wizards
Davasny has quit [Ping timeout: 260 seconds]
Guyver2 has joined #bitcoin-wizards
<JackH> has op_csv locked in?
<btcdrak> JackH: not yet. Check back in 30 hours
<btcdrak> oh less 121 blocks to go
<JackH> this is about right: http://api.qbit.ninja/versionstats ?
<JackH> "proposal": "CSV",
<JackH> "count": 1909,
<JackH> "percentage": 94.692460317460316
<btcdrak> JackH: we need 1916 blocks, we currently have 1829
<JackH> ahh
<JackH> gotcha
<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
frankenmint has quit [Remote host closed the connection]
<btcdrak> assuming that happens, activation will occur on block 419328
mrpocoyo has quit [Ping timeout: 260 seconds]
dEBRUYNE has joined #bitcoin-wizards
<btcdrak> JackH: seems the qbit thing isnt correct for the "last2016" entry. it's doing a rolling count, which is not relevant for BIP9.
nuke1989 has joined #bitcoin-wizards
<JackH> where are you checking btcdrak ?
<btcdrak> direct from my bitcoind
libertalis has quit [Read error: Connection reset by peer]
libertalis has joined #bitcoin-wizards
digitalmagus2 has quit [Ping timeout: 260 seconds]
jannes has joined #bitcoin-wizards
digitalmagus8 has joined #bitcoin-wizards
CrazyTruthYakDDS has quit [Quit: Connection closed for inactivity]
Davasny has joined #bitcoin-wizards
Davasny_ has quit [Ping timeout: 240 seconds]
libertalis has quit [Quit: Leaving]
mrpocoyo has joined #bitcoin-wizards
ThomasV has quit [Ping timeout: 250 seconds]
mrpocoyo has quit [Ping timeout: 250 seconds]
MoALTz has joined #bitcoin-wizards
edvorg has joined #bitcoin-wizards
ThomasV has joined #bitcoin-wizards
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
Ylbam has joined #bitcoin-wizards
ManfredMacx has joined #bitcoin-wizards
heretolearn has quit [Quit: Connection closed for inactivity]
King_Rex has joined #bitcoin-wizards
mrpocoyo has joined #bitcoin-wizards
AaronvanW has quit [Read error: Connection reset by peer]
pro has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 244 seconds]
null_radix has quit [Excess Flood]
null_radix has joined #bitcoin-wizards
dEBRUYNE has quit [Quit: Leaving]
ThomasV has quit [Ping timeout: 258 seconds]
alpalp has joined #bitcoin-wizards
alpalp has quit [Ping timeout: 250 seconds]
freekevin has quit [Read error: Connection reset by peer]
fractex has quit [Ping timeout: 260 seconds]
Davasny has quit [Ping timeout: 244 seconds]
AaronvanW has joined #bitcoin-wizards
Starduster has joined #bitcoin-wizards
mountaingoat has quit [Ping timeout: 272 seconds]
azariah has quit [Ping timeout: 252 seconds]
azariah has joined #bitcoin-wizards
Davasny has joined #bitcoin-wizards
MoALTz_ has joined #bitcoin-wizards
c0rw1n has quit [Ping timeout: 244 seconds]
<instagibbs> btcdrak, "sincePeriodStart" is the bip9 condition
<instagibbs> last2016 is literally just the last 2016
[Derek] has quit [Ping timeout: 272 seconds]
c0rw1n has joined #bitcoin-wizards
RedEmerald has quit [Quit: ZNC - 1.6.0 - http://znc.in]
nabu has quit [Ping timeout: 240 seconds]
MoALTz has quit [Ping timeout: 244 seconds]
MoALTz_ is now known as MoALTz
RedEmerald has joined #bitcoin-wizards
[Derek] has joined #bitcoin-wizards
fractex has joined #bitcoin-wizards
[Derek] is now known as Guest91676
ManfredMacx has quit [Quit: Bye]
<btcdrak> instagibbs: right, but it's useless in BIP9 context.
<btcdrak> it extends past the beginning of the window
ThomasV has joined #bitcoin-wizards
null_radix has quit [Excess Flood]
null_radix has joined #bitcoin-wizards
edvorg has quit [Ping timeout: 244 seconds]
mountaingoat has joined #bitcoin-wizards
dEBRUYNE has joined #bitcoin-wizards
mrpocoyo has joined #bitcoin-wizards
mountaingoat has quit [Ping timeout: 244 seconds]
waxwing has quit [Quit: Leaving]
waxwing has joined #bitcoin-wizards
mountain1 has joined #bitcoin-wizards
dgenr8 has quit [Read error: Connection reset by peer]
dgenr8 has joined #bitcoin-wizards
Noldorin has joined #bitcoin-wizards
Davasny_ has joined #bitcoin-wizards
Davasny__ has joined #bitcoin-wizards
Davasny has quit [Ping timeout: 240 seconds]
Davasny_ has quit [Ping timeout: 252 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
Giszmo has joined #bitcoin-wizards
JackH has quit [Quit: Leaving]
raedah has quit [Remote host closed the connection]
raedah has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 272 seconds]
ThomasV has quit [Ping timeout: 276 seconds]
JackH has joined #bitcoin-wizards
JackH has quit [Client Quit]
JackH has joined #bitcoin-wizards
Sosumi has joined #bitcoin-wizards
Tenhi_ has joined #bitcoin-wizards
roman_ has joined #bitcoin-wizards
Tenhi_ has quit [K-Lined]
ThomasV has joined #bitcoin-wizards
mrpocoyo has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 260 seconds]
digitalmagus has quit [Ping timeout: 240 seconds]
nonaTure has joined #bitcoin-wizards
<buZz> cause you didnt loose enough money yet
<buZz> kanzure: enjoy :)
<kanzure> wtf?
<buZz> oh sorry, i'll retract my offer of enjoyment
Burrito has joined #bitcoin-wizards
<maaku> kanzure: thanks, great link
laurentmt has joined #bitcoin-wizards
laurentmt has quit [Client Quit]
Chris_Stewart_5 has quit [Ping timeout: 272 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
mrpocoyo has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 272 seconds]
HostFat has joined #bitcoin-wizards
ThomasV has quit [Ping timeout: 258 seconds]
AaronvanW has quit [Ping timeout: 276 seconds]
Chris_Stewart_5 has quit [Ping timeout: 244 seconds]
nonaTure has quit [Ping timeout: 246 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 246 seconds]
<JackH> ;;getblock
<gribble> Error: "getblock" is not a valid command.
Chris_Stewart_5 has joined #bitcoin-wizards
frankenmint has joined #bitcoin-wizards
<kanzure> 10:49 <+kanzure> describe your coq chips
<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
mrpocoyo has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 260 seconds]
<bsm117532> I'm going to follow Kanzure and just paste links I'm reading... ;-)
<bsm117532> e.g. for sharing a hash preimage as a secret, used in a hash-locked txn P2SH...
<kanzure> "An efficient multi-use multi-secret sharing scheme based on hash function"
<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
<kanzure> wait, no, wrong channel
<kanzure> "Dependent types without the sugar" http://www.cs.nott.ac.uk/~psztxa/publ/pisigma-new.pdf
Chris_Stewart_5 has quit [Ping timeout: 264 seconds]
edvorg has joined #bitcoin-wizards
edvorg has quit [Remote host closed the connection]
Chris_Stewart_5 has joined #bitcoin-wizards
<nsh> otoh, your face complicates a metatheoretic study and is a potential source of bugs
<nsh> +al
<nsh> (i approve of the approach here though. use a series of metalanguage to keep the formal definition of any one within formal tractability)
<nsh> the second formal meaning proving things about
edvorg has joined #bitcoin-wizards
edvorg has quit [Remote host closed the connection]
priidu has joined #bitcoin-wizards
edvorg has joined #bitcoin-wizards
ruby32 has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Quit: WeeChat 0.4.2]
Chris_Stewart_5 has joined #bitcoin-wizards
gielbier has joined #bitcoin-wizards
gielbier has quit [Changing host]
gielbier has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 264 seconds]
mrpocoyo has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 260 seconds]
ThomasV has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
NewLiberty has quit [Ping timeout: 258 seconds]
Chris_Stewart_5 has quit [Ping timeout: 260 seconds]
nonaTure has joined #bitcoin-wizards
ThomasV has quit [Ping timeout: 276 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
rocch has joined #bitcoin-wizards
rocchh has joined #bitcoin-wizards
rocch has quit [Disconnected by services]
rocchh is now known as rocch
Aranjedeath has quit [Quit: Three sheets to the wind]
Giszmo has quit [Ping timeout: 240 seconds]
ThomasV has joined #bitcoin-wizards
gavinandresen has quit [Ping timeout: 276 seconds]
mrpocoyo has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 244 seconds]
Giszmo has joined #bitcoin-wizards
chjj has quit [Quit: null]
Sosumi has quit [Quit: Bye]
chjj has joined #bitcoin-wizards
frankenmint has quit [Remote host closed the connection]
ThomasV has quit [Ping timeout: 244 seconds]
rusty2 has joined #bitcoin-wizards
dnaleor has quit [Quit: Leaving]
dnaleor has joined #bitcoin-wizards
bildramer1 has joined #bitcoin-wizards
bildramer has quit [Disconnected by services]
bildramer1 is now known as bildramer
Chris_Stewart_5 has quit [Ping timeout: 244 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
mrpocoyo has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 252 seconds]
NewLiberty has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 240 seconds]
ThomasV has joined #bitcoin-wizards
frankenmint has joined #bitcoin-wizards
edvorg has quit [Ping timeout: 260 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
HostFat has quit [Quit: Leaving]
rusty2 has quit [Ping timeout: 260 seconds]
ThomasV has quit [Ping timeout: 246 seconds]
mrpocoyo has joined #bitcoin-wizards
Chaterz has joined #bitcoin-wizards
Chaterz has quit [Changing host]
Chaterz has joined #bitcoin-wizards
er0t has joined #bitcoin-wizards
mrpocoyo has quit [Ping timeout: 276 seconds]
ruby32 has quit [Remote host closed the connection]
paveljanik has quit [Read error: Connection reset by peer]
paveljanik has joined #bitcoin-wizards
paveljanik has joined #bitcoin-wizards
paveljanik has quit [Changing host]
ruby32 has joined #bitcoin-wizards
PERSIAN has quit [Ping timeout: 244 seconds]
vyvojar has joined #bitcoin-wizards
toffoo has joined #bitcoin-wizards
frankenmint has quit [Remote host closed the connection]
c0rw1n- has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 244 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
dnaleor has quit [Quit: Leaving]
dnaleor has joined #bitcoin-wizards
mrpocoyo has joined #bitcoin-wizards
MoALTz has quit [Ping timeout: 244 seconds]
nonaTure has quit [Ping timeout: 276 seconds]
frankenmint has joined #bitcoin-wizards
Davasny__ has quit [Read error: Connection reset by peer]
Guyver2 has quit [Quit: :)]
mrpocoyo has quit [Ping timeout: 252 seconds]
ruby32 has quit [Ping timeout: 246 seconds]
Emcy has quit [Read error: Connection reset by peer]
belcher has joined #bitcoin-wizards
toffoo has quit []
mrpocoyo has joined #bitcoin-wizards
[7] has quit [Read error: Connection reset by peer]
drzw has joined #bitcoin-wizards
TheSeven has joined #bitcoin-wizards
frankenmint has quit [Ping timeout: 244 seconds]
b-itcoinssg has joined #bitcoin-wizards