How to (efficiently) filter a file/stream on-the-fly?

,

Have you tried Iterators.filter together with CSV.Rows as in this solution?

Or TableOperations.filter as suggested further down in the same thread.