Using Polars to find pitcher velocity drops

While looking at a fantasy baseball trade involving Freddy Peralta, I caught this X post about a potential drop in his velocity against the Chicago White Sox on April 29, 2025: I used Polars to explore by loading Baseball Savant data the following morning, and building a concise pipeline that