--- Day changed Sun Feb 09 2020 02:09 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Excess Flood] 02:09 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 02:52 < andytoshi> sipa: the name collision does bother my by itself, yes 02:52 < andytoshi> but only because i want to support pk() as a "bare descriptor", i.e. a miniscript that goes in the scriptpubkey 02:52 < andytoshi> which i understnad you don't want to support, since everything non-segwit is a mess 03:13 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Remote host closed the connection] 03:13 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has quit [Remote host closed the connection] 03:13 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Read error: Connection reset by peer] 03:13 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Remote host closed the connection] 03:15 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 03:15 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined ##miniscript 03:30 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript 03:38 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined ##miniscript 03:58 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection] 03:59 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript 06:10 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection] 06:11 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript 07:07 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has quit [Remote host closed the connection] 07:08 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined ##miniscript 08:18 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Ping timeout: 240 seconds] 08:49 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 09:14 < sipa> andytoshi: well i think you should support pk() as a bare descriptor; i just never thought of it as something that miniscript would do 09:15 < sipa> as in, it's at the same level as sh() and wsh() 09:15 < sipa> but perhaps there is a way to make things more uniform 09:16 < sipa> so that what you choose implementation wise to deal with as miniscript or not is an implementation detail, and doesn't affect semantics 09:30 < sipa> that probably means renaming (miniscript's) pk to pk_k or so, and making pk a shorthand for c:pk (like and_n(x,y) is a shorthand for andor(x,y,0) 09:31 < sipa> and renaming thresh_m to multi as achow101 suggests 09:38 -!- ghost43 [~daer@gateway/tor-sasl/daer] has quit [Remote host closed the connection] 09:40 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript 12:01 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has quit [Remote host closed the connection] 12:01 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined ##miniscript 13:24 -!- Netsplit *.net <-> *.split quits: harrigan 13:25 -!- Netsplit over, joins: harrigan 13:26 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has quit [Max SendQ exceeded] 13:27 -!- harrigan [~harrigan@ptr-93-89-242-235.ip.airwire.ie] has joined ##miniscript 13:29 -!- Netsplit *.net <-> *.split quits: Aleru, felixweis 13:30 -!- Netsplit over, joins: felixweis, Aleru 13:33 -!- Netsplit *.net <-> *.split quits: jnewbery, digi_james 13:33 -!- Netsplit over, joins: jnewbery 13:33 -!- digi_james [sid281632@gateway/web/irccloud.com/x-dfjtnwutsesastim] has joined ##miniscript 13:35 -!- Netsplit *.net <-> *.split quits: kallewoof, meshcollider, harding, RubenSomsen 13:35 -!- Netsplit over, joins: RubenSomsen, harding, meshcollider, kallewoof 13:36 -!- Netsplit *.net <-> *.split quits: harding, achow101, schmidty, jnewbery, jb55, andytoshi, gwillen, harrigan, hugohn, ghost43, (+11 more, use /NETSPLIT to show all of them) 13:36 -!- Netsplit over, joins: kallewoof, harding, RubenSomsen, meshcollider, harrigan, ghost43, afk11, elichai2, schmidty, achow101 (+10 more) 13:36 -!- Netsplit *.net <-> *.split quits: gwillen, harrigan, achow101, Ed0 13:38 -!- Netsplit over, joins: gwillen, harrigan, achow101, Ed0 13:38 -!- Netsplit *.net <-> *.split quits: hugohn 13:38 -!- Netsplit over, joins: andytoshi 13:38 -!- Netsplit *.net <-> *.split quits: schmidty, elichai2 13:39 -!- Netsplit over, joins: hugohn 13:39 -!- Netsplit over, joins: elichai2, schmidty 13:39 -!- Netsplit *.net <-> *.split quits: ghost43, jb55, sipa, afk11 13:39 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-cbgzncrypihcnuzr] has quit [Ping timeout: 245 seconds] 13:41 -!- RubenSomsen [sid301948@gateway/web/irccloud.com/x-bwhyuyenhxtslndx] has quit [Ping timeout: 260 seconds] 13:42 -!- hugohn [sid304114@gateway/web/irccloud.com/x-kahnetsstftsqfuz] has quit [Ping timeout: 252 seconds] 13:42 -!- RubenSomsen [sid301948@gateway/web/irccloud.com/x-bbjyzezpdeacymrx] has joined ##miniscript 13:42 -!- schmidty [sid297174@gateway/web/irccloud.com/x-frphjgyxoixiqfhi] has quit [Ping timeout: 245 seconds] 13:43 -!- hugohn [sid304114@gateway/web/irccloud.com/x-edtqqwhxggvtejob] has joined ##miniscript 13:44 -!- schmidty [sid297174@gateway/web/irccloud.com/x-qcozuqvpewfxjjtb] has joined ##miniscript 13:44 -!- sipa [~pw@gateway/tor-sasl/sipa1024] has joined ##miniscript 13:44 -!- ghost43 [~daer@gateway/tor-sasl/daer] has joined ##miniscript 13:44 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 13:44 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined ##miniscript 13:45 -!- Netsplit *.net <-> *.split quits: afk11, ghost43, sipa, jb55 13:50 -!- Netsplit over, joins: ghost43, afk11, sipa, jb55 13:50 -!- elichai2 [sid212594@gateway/web/irccloud.com/x-poaqqqpfoopjpogd] has joined ##miniscript 14:02 -!- Netsplit *.net <-> *.split quits: afk11, ghost43, sipa, jb55 14:07 -!- Netsplit over, joins: ghost43, afk11, sipa, jb55 15:28 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Ping timeout: 240 seconds] 15:29 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript 15:55 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has quit [Ping timeout: 240 seconds] 16:09 -!- jb55 [~jb55@gateway/tor-sasl/jb55] has joined ##miniscript