--- Log opened Thu Apr 20 00:00:38 2023 04:23 -!- jonatack1 [~jonatack@user/jonatack] has joined ##miniscript 04:25 -!- jon_atack [~jonatack@user/jonatack] has quit [Ping timeout: 246 seconds] 05:19 -!- jonatack2 [~jonatack@user/jonatack] has joined ##miniscript 05:21 -!- jonatack1 [~jonatack@user/jonatack] has quit [Ping timeout: 240 seconds] 06:03 -!- jonatack3 [~jonatack@user/jonatack] has joined ##miniscript 06:06 -!- jonatack2 [~jonatack@user/jonatack] has quit [Ping timeout: 264 seconds] 08:09 < michaelfolkson> In pre Taproot'd Policy you put N@ to indicate probability of subpolicy being satisfied. Was it considered to put something similar into post Taproot'd Policy so it would actually construct the Taproot tree for you based on the probabilities? 08:11 < michaelfolkson> Or does that introduce too much complexity for too little upside? Just manually construct the Taproot tree yourself and stick to just the subpolicies in the Policy, Miniscript compiler? 08:27 < michaelfolkson> I guess Taproot'd Policy isn't yet defined, just Taproot'd Miniscript 11:59 -!- jonatack3 [~jonatack@user/jonatack] has quit [Quit: WeeChat 3.8] 12:00 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 12:53 -!- Earnestly [~earnest@user/earnestly] has joined ##miniscript 14:56 -!- jonatack [~jonatack@user/jonatack] has quit [Read error: Connection reset by peer] 14:56 -!- jonatack [~jonatack@user/jonatack] has joined ##miniscript 16:52 -!- Earnestly [~earnest@user/earnestly] has quit [Ping timeout: 264 seconds] 19:51 -!- pakaro [~quassel@2001-1ae9-297-1f00-14f4-9600-a12f-4c70.ip6.tmcz.cz] has joined ##miniscript 19:52 -!- pakaro [~quassel@2001-1ae9-297-1f00-14f4-9600-a12f-4c70.ip6.tmcz.cz] has quit [Client Quit] 21:12 -!- jon_atack [~jonatack@user/jonatack] has joined ##miniscript 21:14 -!- jonatack [~jonatack@user/jonatack] has quit [Ping timeout: 260 seconds] 23:31 -!- jonatack1 [~jonatack@user/jonatack] has joined ##miniscript 23:31 -!- jon_atack [~jonatack@user/jonatack] has quit [Read error: Connection reset by peer] 23:59 -!- Earnestly [~earnest@user/earnestly] has joined ##miniscript --- Log closed Fri Apr 21 00:00:38 2023