--- Log opened Sun May 11 00:00:40 2025
00:08 -!- brunoerg [~brunoerg@2804:14d:5285:8318:658c:4bd4:bb3e:dfdb] has joined ##miniscript
00:19 -!- brunoerg [~brunoerg@2804:14d:5285:8318:658c:4bd4:bb3e:dfdb] has quit [Ping timeout: 265 seconds]
01:05 -!- Earnestly [~earnest@user/earnestly] has joined ##miniscript
01:56 -!- brunoerg [~brunoerg@187.183.60.121] has joined ##miniscript
02:01 -!- brunoerg [~brunoerg@187.183.60.121] has quit [Ping timeout: 272 seconds]
02:39 -!- brunoerg [~brunoerg@2804:14d:5285:8318:658c:4bd4:bb3e:dfdb] has joined ##miniscript
02:42 -!- brunoerg [~brunoerg@2804:14d:5285:8318:658c:4bd4:bb3e:dfdb] has quit [Remote host closed the connection]
02:45 -!- brunoerg [~brunoerg@2804:14d:5285:8318:658c:4bd4:bb3e:dfdb] has joined ##miniscript
07:31 -!- pyth [~pyth@user/pyth] has joined ##miniscript
08:33 -!- pyth [~pyth@user/pyth] has quit [Remote host closed the connection]
17:28 -!- pyth [~pyth@user/pyth] has joined ##miniscript
17:30 -!- pyth [~pyth@user/pyth] has quit [Client Quit]
17:54 < darosior> Do you mean not "expressive" (= a unique unconditional dissatisfaction exist)? Because if it has no satisfaction clearly it's not malleable.
17:55 < darosior> And yeah or_i(0,0) is not "expressive" (using the terminology of sipa's website) because it has two dissatisfactions which don't require a sig
--- Log closed Mon May 12 00:00:42 2025