--- Log opened Sat Nov 26 00:00:29 2022
00:19 -!- landabaso77 [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
00:20 -!- landabaso77 [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Client Quit]
00:22 -!- jl_landabaso [~jl_landab@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
00:24 -!- jl_landabaso is now known as landabaso_
00:25 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Quit: landabaso]
00:25 -!- landabaso_ is now known as landabaso
00:34 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
00:35 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Client Quit]
00:35 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
00:36 -!- landabaso [~jl_landab@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 264 seconds]
00:37 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Client Quit]
00:37 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
00:37 -landabaso:##miniscript- Another question. For thresh(k,X1,...,Xn), the first dsat reads: "All dsats".
00:37 < landabaso> This corresonds to: "dsat(Xn) dsat(Xn-1) ... dsat(X1)". Right?
00:38 < landabaso> This is not entirely trivial (having to reverse the sub-indices). The same applies to all sats and dsats. Can you confirm?
00:51 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 268 seconds]
00:53 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
00:58 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
01:00 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 260 seconds]
01:06 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Quit: Leaving...]
01:08 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
01:09 < landabaso> (sorry for the username/connect/disconnect notifications SPAM; I'm trying to properly setup a registered username/irc client)
03:16 <@sipa> @landabaso Both correct I think.
03:19 < landabaso> Thanks @sipa. I submitted a PR for the multi dsat typo. https://github.com/sipa/miniscript/pull/125
03:20 < landabaso>  (I'm not sure you replied to that question regarding "multi"; I had problems with my IRC client).
03:20 <@sipa> Yeah, both your observations are correct I think (ordering of dsats, and multi dsat needing k+1 0's)
03:21 < landabaso> Understood. Thanks!
06:53 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 268 seconds]
07:36 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript
07:54 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 265 seconds]
07:55 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript
08:09 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Read error: Connection reset by peer]
08:09 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
08:54 -!- landabas_ [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Read error: Connection reset by peer]
08:54 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
08:55 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 265 seconds]
09:37 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript
12:35 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
14:21 < andytoshi> good catch. i got most of the way through complaining that you were wrong, then i remembered that 'multi' has its own opcode and is distinct from the other kinds of thresholds :)
17:13 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
17:18 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 265 seconds]
19:14 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
19:19 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 265 seconds]
19:40 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds]
19:42 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript
20:03 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 265 seconds]
20:05 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript
22:15 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
23:37 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Remote host closed the connection]
23:38 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has joined ##miniscript
23:43 -!- landabaso [~landabaso@217.red-83-40-231.dynamicip.rima-tde.net] has quit [Ping timeout: 265 seconds]
--- Log closed Sun Nov 27 00:00:30 2022