Maximal Simplification of Polyhedral Reductions (POPL 2025) [video] youtube.com 1 points by matt_d 13 hours ago