@gsuberland@chaos.social The problem with a memory limit is that the algorithm must be guaranteed to successfully complete; it cannot just throw up its hands and give up once a limit is hit, unless that limit is directly encoded as part of the system that produces the graph (and is statically verifiable without doing the actual sorting process itself)