News for hackers. Stuff that matters.
Re:When your data doesn’t fit in memory: the basic techniques by amoron on Monday November 11, 2019 @04:12PM (#21508956)
I would just cat | grep | awk | sed on this stuff rather than resorting to Py.
Re:When your data doesn’t fit in memory: the basic techniques by j88439h84 on Monday November 11, 2019 @10:29PM (#21511301)
Awk pipelines are exactly the area where Mario is useful for Python programmers.

https://github.com/python-mario/mario