--- Log opened Sat May 10 00:00:39 2025
03:08 -!- pyth [~pyth@user/pyth] has joined ##miniscript
03:10 -!- pyth [~pyth@user/pyth] has quit [Remote host closed the connection]
06:47 -!- pyth [~pyth@user/pyth] has joined ##miniscript
07:20 -!- pyth [~pyth@user/pyth] has quit [Ping timeout: 248 seconds]
12:53 -!- brunoerg_ [~brunoerg@187.183.60.121] has joined ##miniscript
12:54 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Remote host closed the connection]
13:11 -!- brunoerg_ [~brunoerg@187.183.60.121] has quit [Ping timeout: 245 seconds]
13:49 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has joined ##miniscript
13:55 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Ping timeout: 265 seconds]
14:28 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has joined ##miniscript
14:29 -!- pyth [~pyth@user/pyth] has joined ##miniscript
14:36 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Ping timeout: 248 seconds]
15:06 -!- brunoerg [~brunoerg@187.183.60.121] has joined ##miniscript
15:17 -!- brunoerg [~brunoerg@187.183.60.121] has quit [Ping timeout: 260 seconds]
15:53 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has joined ##miniscript
15:59 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Ping timeout: 268 seconds]
16:10 -!- Earnestly [~earnest@user/earnestly] has quit [Ping timeout: 268 seconds]
16:12 -!- andytosh1 [~apoelstra@user/andytoshi] has joined ##miniscript
16:18 -!- Netsplit *.net <-> *.split quits: andytoshi, shesek
16:41 < andytosh1> trying to figure out whether and_n(u:0,1) should be considered malleable ... currently rust-miniscript accepts this because we don't do malleability checks when calling from_str
16:41 < andytosh1> (rust-miniscript is full of places where we don't validate stuff because the logic is inconsistently duplicated, which i'm trying to fix)
16:41 -!- andytosh1 is now known as andytoshi
16:42 < andytoshi> lemme expand this -- andor(or_i(0,0),1,0)
16:44 < andytoshi> IF 0 ELSE 0 ENDIF NOTIF 0 ELSE 1 ENDIF
16:44 < andytoshi> this can only be dissatisfied, not satisfied, and the dissatisfaction can be 3rd-party malleated
17:12 -!- pyth [~pyth@user/pyth] has quit [Remote host closed the connection]
17:14 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has joined ##miniscript
17:15 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Remote host closed the connection]
17:16 -!- brunoerg [~brunoerg@187.183.60.121] has joined ##miniscript
17:21 -!- brunoerg [~brunoerg@187.183.60.121] has quit [Ping timeout: 244 seconds]
17:53 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has joined ##miniscript
17:56 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Remote host closed the connection]
18:03 -!- pyth [~pyth@user/pyth] has joined ##miniscript
18:09 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has joined ##miniscript
18:16 -!- pyth [~pyth@user/pyth] has quit [Quit: Leaving]
18:16 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Ping timeout: 265 seconds]
22:03 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has joined ##miniscript
22:08 -!- brunoerg [~brunoerg@2804:14d:5285:8318:a968:d360:8859:935c] has quit [Ping timeout: 244 seconds]
--- Log closed Sun May 11 00:00:40 2025