Today I learned that Polars allows non-strict vertical concatenation of dataframes with the parameter how="vertical".
how="vertical"
What do you call dudes who love maths? Algebros.