What was that other one that stretches or shortens songs to a specific length? Supposed to work better than just trimming. I think it was posted on HN but I can

What was that other one that stretches or shortens songs to a specific length? Supposed to work better than just trimming. I think it was posted on HN but I can't find it now