--- Log opened Sun Apr 17 00:00:57 2022
05:27 -!- amanr [~sarcastic@218.185.248.66] has joined ##miniscript
06:26 -!- amanr [~sarcastic@218.185.248.66] has quit [Ping timeout: 240 seconds]
07:35 -!- elsirion [~quassel@gateway/tor-sasl/elsirion] has quit [Remote host closed the connection]
07:36 -!- elsirion [~quassel@gateway/tor-sasl/elsirion] has joined ##miniscript
08:03 -!- roconnor [~roconnor@coq/roconnor] has quit [Ping timeout: 240 seconds]
10:26 < sanket1729> It might not be necessary to have these rules in the first place. 
10:27 < sanket1729> I mean, if we stick of what is already there, we are not losing much
10:28 < sanket1729> I am updating rust-miniscript to follow the website. 
10:29 <@sipa> The C++ implementation doesn't follow the website exactly; there are some shortcuts that lead to simpler implementation and are equivalent.
10:30 <@sipa> That's perhaps exactly what you're referring to? I don't know what on that PR you wanted to link to.
10:32 < sanket1729> I don't mean the shortcut. I mean the malleability rule of `e` property for thresh on website can be more relaxed
10:33 < sanket1729> The spec says, thresh is e when `e=all children are s`
10:34 < sanket1729> But we can get away with at-most `k` are non-s
10:34 < sanket1729> Meaning that thresh is always `e`. Because at-most `k` are non-s is a pre-condition
10:35 < sanket1729> I am suggesting a possible improvement to the spec.
10:35 < sanket1729> If it's too late to change, it's okay. Not a big deal
10:36 <@sipa> So you're suggesting changing "e=all are s" into "e=at most k are non-s" ?
10:36 < sanket1729> Yeah
10:36 < sanket1729> Because the satisfaction algorithm would satisfy all the non-s first 
10:36 <@sipa> I don't think that's right.
10:37 <@sipa> e is about unique unconditional dissatisfactions
10:37 <@sipa> the "dissatisfy all children" is always a unique unconditional dissatisfaction
10:37 < sanket1729> Oh right.
10:37 < sanket1729> Sorry for the fuzz
10:37 <@sipa> Keep fuzzing!
22:43 -!- Netsplit *.net <-> *.split quits: michaelfolkson2
22:44 -!- michaelfolkson [~michaelfo@138.68.143.20] has joined ##miniscript
22:48 -!- Netsplit *.net <-> *.split quits: RiccardoCasatta[, notmandatory_, fjahr, sandipndev, ksedgwic
22:48 -!- Netsplit over, joins: sandipndev
22:48 -!- Netsplit over, joins: fjahr
22:49 -!- notmandatory [notmandato@2600:3c00::f03c:92ff:fe8e:dce6] has joined ##miniscript
22:53 -!- RiccardoCasatta[ [~rcasattam@2001:470:69fc:105::c85] has joined ##miniscript
22:56 -!- ksedgwic [~ksedgwicm@2001:470:69fc:105::ce1] has joined ##miniscript
--- Log closed Mon Apr 18 00:00:59 2022