This resonates hard. I recently migrated a legacy pandas pipeline to Polars for a similar "out of memory" crisis, and the lazy execution was the real game-changer. The ability to filter and project early without loading everything was a total flow-saver.