Tool for turning long videos into shorts

I was listening to one of the other media channels, and Thomas mentioned a tool they use to turn long videos into shorts. Does anyone remember this? Thx!