--- Day changed Fri Jul 03 2020 00:09 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has quit [Ping timeout: 240 seconds] 00:58 -!- jonatack [~jon@213.152.162.15] has joined ##miniscript 02:05 -!- jonatack [~jon@213.152.162.15] has quit [Ping timeout: 244 seconds] 02:07 -!- jonatack [~jon@192.113.14.109.rev.sfr.net] has joined ##miniscript 02:22 -!- jonatack [~jon@192.113.14.109.rev.sfr.net] has quit [Ping timeout: 244 seconds] 02:22 -!- jonatack [~jon@213.152.161.229] has joined ##miniscript 04:49 -!- jonatack [~jon@213.152.161.229] has quit [Ping timeout: 246 seconds] 05:32 -!- jonatack [~jon@2a01:e0a:53c:a200:bb54:3be5:c3d0:9ce5] has joined ##miniscript 08:24 -!- jnewbery_ [~john@cpe-74-72-241-241.nyc.res.rr.com] has joined ##miniscript 08:25 -!- jnewbery [~john@cpe-74-72-241-241.nyc.res.rr.com] has quit [Ping timeout: 240 seconds] 09:59 < andytoshi> sanket1729: hmmm 09:59 < andytoshi> re hidden policies 09:59 < andytoshi> we have the same issue for simplicity and for taproot 10:00 < andytoshi> where there's a question of, what should happen when you lift a program that has already been pruned 10:09 -!- jnewbery [~john@164.90.178.190] has joined ##miniscript 10:25 -!- jnewbery_ [~john@cpe-74-72-241-241.nyc.res.rr.com] has quit [Quit: leaving] 12:48 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has quit [Remote host closed the connection] 12:49 -!- afk11 [~afk11@gateway/tor-sasl/afk11] has joined ##miniscript