Post #2735409
2026-05-11 00:37 UTC
@oantolin@mathstodon.xyz Yep! This is essentially the solution that @das_g@chaos.social posted: https://chaos.social/@das_g/116547298268126736
Replies (1)
-
@oantolin@mathstodon.xyz 2026-05-11 00:40
@byorgey@mathstodon.xyz That's right! I had missed that. I'd insist on reversing since it seems weird to take the input sorted one way and return the result sorted the other way, though. @das_g@chaos.social