On Mon, Jul 2, 2018 at 7:27 PM Stefan Beller [off-list ref] wrote:
On Sun, Jul 1, 2018 at 8:57 AM Michael Haggerty [off-list ref] wrote:
[...]
So this suggests to have MAX_BORING to be
"hunk size + some small constant offset" ?
That would be my suggestion, yes. There are cases where it will be
more expensive than a fixed `MAX_BORING`, but I bet on average it will
be faster. Plus, it should always give the right answer.
Michael