[gradschoolfail]

Top of my deadtree stack is Chazelle, The Discrepancy Method (1998)

(Father of the regrettably more famous Chazelle, if you’re okay californicating rabbit holes)

[gsf_emergency]

Update:

Now that I've pushed BC back to the stack, here's a ref that might be worthier of the (nonnewtonian) process heap

https://archive.fo/4mlUU

(Pls use the usual Chinese bulk carrier resilient doi tricks as might be required)

Lagniappe:

https://hn.algolia.com/?dateRange=all&page=0&prefix=true&que...

[082349872349872]

That sounds like the perfect swith* for me as well — I'd already been meaning to hide some imperative O(n)s behind functional-seeming O(n log n)s, but if soft heaps have no huge constant involved, maybe no rabbits have to be hidden in hats?

* http://bitsnbobstones.watershipdown.org/lapine/unit12.html#:...

[082349872349872]

Heh, not that any of us would be willing to tolerate getting stuff back in corrupted order ;)

If the constant factors aren't intolerable, it seems like one really ought to be able to do something with the fact that corruption (galois connection connexion?) only happens in one direction (corruption monad as closure)...

Lagniappe: https://www.youtube.com/watch?v=_yExwkQYcp0