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
bpalmer1 has quit []
mauz555 has quit [Remote host closed the connection]
davispuh has joined #bitcoin-wizards
marcoagner has quit [Ping timeout: 240 seconds]
shush has quit [Remote host closed the connection]
rusty has joined #bitcoin-wizards
flukiluke has joined #bitcoin-wizards
rjected_ has joined #bitcoin-wizards
jonatack has quit [Ping timeout: 272 seconds]
rusty has quit [Quit: Leaving.]
jonatack has joined #bitcoin-wizards
rjected_ has quit [Client Quit]
TheoStorm has quit [Quit: Leaving]
shush has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
jonatack has quit [Read error: Connection reset by peer]
mdunnio has joined #bitcoin-wizards
jonatack has joined #bitcoin-wizards
<digi_james> roasbeef: Perhaps I may add - BitML is itself already a state machine representation (process algebras represent state machines of concurrent processes). Each BitML expression or “BitML configuration” describes a single contract state and all subsequent, reachable states/possible execution traces.
shush has quit []
zmnscpxj has quit [Ping timeout: 240 seconds]
peterrizzo has quit [Quit: peterrizzo]
davispuh has quit [Quit: http://quassel-irc.org - Chat comfortably. Anywhere.]
mdunnio has quit [Remote host closed the connection]
AaronvanW has quit [Remote host closed the connection]
_whitelogger has joined #bitcoin-wizards
nick_fre_ has quit [Remote host closed the connection]
nick_freeman has joined #bitcoin-wizards
nick_freeman has quit [Remote host closed the connection]
DeanWeen has quit [Ping timeout: 240 seconds]
orange_ has quit [Quit: My MacBook has gone to sleep. ZZZzzz…]
shush has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 260 seconds]
flukiluke has quit []
rusty2 has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
rusty has quit [Ping timeout: 240 seconds]
achow101 has quit [Ping timeout: 260 seconds]
achow101 has joined #bitcoin-wizards
ghost43 has quit [Quit: Leaving]
yanmaani has quit [Ping timeout: 240 seconds]
ghost43_ has joined #bitcoin-wizards
yanmaani has joined #bitcoin-wizards
smtx has joined #bitcoin-wizards
shush has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
DeanWeen has joined #bitcoin-wizards
shush has quit [Ping timeout: 256 seconds]
Belkaar has quit [Ping timeout: 260 seconds]
Belkaar has joined #bitcoin-wizards
Belkaar has joined #bitcoin-wizards
Belkaar has quit [Changing host]
achow101 has quit [Ping timeout: 256 seconds]
achow101 has joined #bitcoin-wizards
shush has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 256 seconds]
ghost43_ has quit [Remote host closed the connection]
ghost43 has joined #bitcoin-wizards
achow101 has quit [Ping timeout: 265 seconds]
achow101 has joined #bitcoin-wizards
rusty2 has quit [Quit: Leaving.]
ghost43 has quit [Remote host closed the connection]
ghost43 has joined #bitcoin-wizards
ddustin has joined #bitcoin-wizards
ddustin has quit [Remote host closed the connection]
ghost43_ has joined #bitcoin-wizards
ghost43 has quit [Ping timeout: 240 seconds]
vtnerd has quit [Ping timeout: 256 seconds]
ddustin has joined #bitcoin-wizards
ddustin has quit [Ping timeout: 240 seconds]
CryptoDavid has quit [Quit: Connection closed for inactivity]
AaronvanW has joined #bitcoin-wizards
smtx has quit []
ddustin has joined #bitcoin-wizards
achow101 has quit [Ping timeout: 258 seconds]
AaronvanW has quit [Ping timeout: 255 seconds]
vtnerd has joined #bitcoin-wizards
ddustin has quit [Ping timeout: 260 seconds]
ddustin has joined #bitcoin-wizards
Leo-WAC-WAC has joined #bitcoin-wizards
betawaffle has quit [Quit: Oh noes, my ZNC!]
betawaffle has joined #bitcoin-wizards
ghost43_ has quit [Remote host closed the connection]
ghost43 has joined #bitcoin-wizards
Kiminuo has quit [Ping timeout: 260 seconds]
Kiminuo has joined #bitcoin-wizards
vtnerd has quit [Ping timeout: 256 seconds]
vtnerd has joined #bitcoin-wizards
Guyver2 has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
<jeremyrubin> fwiw I don't think BitML is quite there for being able to support OP_CTV like constructs, but I can look again. It's a bit hard to actually define recursive templates robustly...
<jeremyrubin> Also worth taking a look at BCash's SPEDN language, which I think is actually in production use
achow101 has joined #bitcoin-wizards
rusty has joined #bitcoin-wizards
marcoagner has joined #bitcoin-wizards
asoltys has quit [Ping timeout: 240 seconds]
Leo-WAC-WAC has quit []
AaronvanW has quit [Ping timeout: 260 seconds]
asoltys has joined #bitcoin-wizards
nick_freeman has joined #bitcoin-wizards
nick_freeman has quit [Remote host closed the connection]
Livestradamus has quit [Quit: I'm out.]
Livestradamus has joined #bitcoin-wizards
TheoStorm has joined #bitcoin-wizards
nick_freeman has joined #bitcoin-wizards
nick_fre_ has joined #bitcoin-wizards
stranger64 has joined #bitcoin-wizards
nick_freeman has quit [Ping timeout: 256 seconds]
bildramer1 has joined #bitcoin-wizards
nick_fre_ has quit [Remote host closed the connection]
bildramer has quit [Disconnected by services]
bildramer1 is now known as bildramer
achow101 has quit [Ping timeout: 256 seconds]
achow101 has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
rusty has quit [Quit: Leaving.]
DougieBot5000_ has joined #bitcoin-wizards
DougieBot5000 has quit [Ping timeout: 260 seconds]
mauz555 has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 265 seconds]
EmmyNoether has quit [Ping timeout: 258 seconds]
TheoStorm has quit [Remote host closed the connection]
TheoStorm has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
_whitelogger has joined #bitcoin-wizards
nick_freeman has quit [Ping timeout: 256 seconds]
stranger64 has quit []
slivera has quit [Remote host closed the connection]
slivera has joined #bitcoin-wizards
arcticmetal has joined #bitcoin-wizards
peterrizzo has joined #bitcoin-wizards
slivera has quit [Ping timeout: 240 seconds]
nick_freeman has joined #bitcoin-wizards
nick_freeman has quit [Remote host closed the connection]
nick_freeman has joined #bitcoin-wizards
<gleb1> jeremyrubin "Renegotiation and recursion in Bitcoin contracts" is the extension of BitML, which came out 2 weeks ago. That's how I stumbled upon this project.
peterrizzo has quit [Quit: peterrizzo]
masterP has quit [Quit: Leaving]
jb55 has quit [Ping timeout: 240 seconds]
meshcollider has quit [Ping timeout: 272 seconds]
jb55 has joined #bitcoin-wizards
TheoStorm has quit [Quit: Leaving]
AaronvanW has quit [Ping timeout: 272 seconds]
AaronvanW has joined #bitcoin-wizards
spinza has quit [Ping timeout: 265 seconds]
justanotheruser has quit [Ping timeout: 265 seconds]
<digi_james> Exactly, this is a first step towards state channels with BitML.
shush has quit [Ping timeout: 256 seconds]
shush has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
justanotheruser has joined #bitcoin-wizards
mauz555 has quit []
bitcoin-wizards9 has joined #bitcoin-wizards
mdunnio has joined #bitcoin-wizards
bitcoin-wizards9 has quit [Client Quit]
arcticmetal has quit []
justanotheruser has quit [Read error: Connection reset by peer]
shush has joined #bitcoin-wizards
TheoStorm has joined #bitcoin-wizards
shush_ has joined #bitcoin-wizards
shush has quit [Ping timeout: 260 seconds]
beaups has joined #bitcoin-wizards
beaups is now known as Guest28732
Kiminuo has quit [Ping timeout: 265 seconds]
justanotheruser has joined #bitcoin-wizards
meshcollider has joined #bitcoin-wizards
shush_ has quit [Remote host closed the connection]
mauz555 has joined #bitcoin-wizards
shush has joined #bitcoin-wizards
justanotheruser has quit [Ping timeout: 240 seconds]
justanotheruser has joined #bitcoin-wizards
phwalkr has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
meshcollider has quit [Ping timeout: 272 seconds]
spinza has joined #bitcoin-wizards
mdunnio has quit [Remote host closed the connection]
DeanWeen has quit [Ping timeout: 240 seconds]
mdunnio has joined #bitcoin-wizards
captjakk has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
yanmaani1 has joined #bitcoin-wizards
yanmaani has quit [Disconnected by services]
yanmaani1 is now known as yanmaani
peterrizzo has joined #bitcoin-wizards
Guyver2_ has joined #bitcoin-wizards
Guyver2 has quit [Ping timeout: 240 seconds]
shush has quit [Remote host closed the connection]
peterrizzo has quit [Client Quit]
TheoStorm has quit [Quit: Leaving]
shush has joined #bitcoin-wizards
Guest28732 has quit []
phwalkr has quit [Ping timeout: 256 seconds]
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
kenshi84_ has quit [Ping timeout: 246 seconds]
kenshi84 has joined #bitcoin-wizards
cprofitt1 has joined #bitcoin-wizards
TheoStorm has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
justanotheruser has quit [Ping timeout: 272 seconds]
DougieBot5000_ is now known as DougieBot5000
TheoStorm has quit [Quit: Leaving]
<jeremyrubin> oh cool link?
TheoStorm has joined #bitcoin-wizards
TheoStorm has quit [Remote host closed the connection]
rusty has joined #bitcoin-wizards
yanmaani has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
yanmaani has joined #bitcoin-wizards
DeanWeen has joined #bitcoin-wizards
rusty has quit [Quit: Leaving.]
shush has quit [Remote host closed the connection]
berndj has quit [Read error: Connection reset by peer]
berndj has joined #bitcoin-wizards
shush has joined #bitcoin-wizards
Chris_Stewart_5 has quit [Ping timeout: 258 seconds]
Chris_Stewart_5 has joined #bitcoin-wizards
cprofitt1 has quit []
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
Kiminuo has joined #bitcoin-wizards
rossjones has joined #bitcoin-wizards
Guyver2_ has quit [Quit: Going offline, see ya! (www.adiirc.com)]
<roasbeef> digi_james: yeh I just mean the output of it is actual transactions to sign vs a sript to put in to a single or many transactions
kenshi84_ has joined #bitcoin-wizards
mdunnio has quit [Remote host closed the connection]
kenshi84 has quit [Ping timeout: 256 seconds]
real_or_random has quit [Quit: ZNC 1.7.5 - https://znc.in]
real_or_random has joined #bitcoin-wizards
stoner19 has quit [Remote host closed the connection]
stoner19 has joined #bitcoin-wizards
stoner19 has quit [Changing host]
stoner19 has joined #bitcoin-wizards
dgrove has quit [Ping timeout: 258 seconds]
dgrove has joined #bitcoin-wizards
CryptoDavid has joined #bitcoin-wizards
orange__ has joined #bitcoin-wizards
<digi_james> roasbeef: 👍
TheoStorm has joined #bitcoin-wizards
Dean_Guss has joined #bitcoin-wizards
stoner19 has quit [Remote host closed the connection]
stoner19 has joined #bitcoin-wizards
stoner19 has quit [Changing host]
stoner19 has joined #bitcoin-wizards
DeanGuss has joined #bitcoin-wizards
slivera has joined #bitcoin-wizards
DeanWeen has quit [Ping timeout: 240 seconds]
Dean_Guss has quit [Ping timeout: 240 seconds]
peterrizzo has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
shush has joined #bitcoin-wizards
peterrizzo has quit [Quit: peterrizzo]
rusty has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
mdunnio has joined #bitcoin-wizards
mdunnio has quit [Remote host closed the connection]
Kiminuo has quit [Ping timeout: 260 seconds]
captjakk has quit [Remote host closed the connection]
captjakk has joined #bitcoin-wizards
shush has joined #bitcoin-wizards
meshcollider has joined #bitcoin-wizards
shush has quit [Remote host closed the connection]
Kiminuo has joined #bitcoin-wizards
captjakk has quit [Ping timeout: 265 seconds]
Zenton has quit [Ping timeout: 258 seconds]
captjakk has joined #bitcoin-wizards
captjakk has quit [Remote host closed the connection]
captjakk has joined #bitcoin-wizards
captjakk has quit [Ping timeout: 240 seconds]
shush has joined #bitcoin-wizards
mauz555 has quit [Ping timeout: 272 seconds]
shush has quit [Remote host closed the connection]
Chris_Stewart_5 has quit [Ping timeout: 256 seconds]
justanotheruser has joined #bitcoin-wizards
Chris_Stewart_5 has joined #bitcoin-wizards
bitdex has joined #bitcoin-wizards
marcoagner has quit [Ping timeout: 265 seconds]
shush has joined #bitcoin-wizards