aboutsummaryrefslogtreecommitdiffstats
path: root/pandoc2man.jq
diff options
context:
space:
mode:
authorGuilhem Moulin <guilhem@fripost.org>2019-11-11 16:43:40 +0100
committerGuilhem Moulin <guilhem@fripost.org>2019-11-13 06:23:57 +0100
commitc3bf5d306ff1396d6117774316afd998f6e9874a (patch)
treec9017afe719565f28c233630002a8cc06c70c0ed /pandoc2man.jq
parent23046d58204e636880ff4412e52799e0c06065b4 (diff)
interimap: raise SELECT sample set size from 64 to 256 bytes.
A n-bytes set covers at least ⌊(n+1)/11⌋ UIDs (UIDs are at most 10 bytes of size), hence 23 UIDs for 256 bytes long sets. However we exceed it by another range, so in the worst case (if the the higher UIDs are sparse) we'll sample ⌊(n+1)/11+1⌋ UIDs: 1000000000,1000000002,1000000004,…,1000000046 This was 6 UIDs for n=64 which is a tad low; this is now raised to 24 UIDs. The actual set size returned by sample() is of max size n+22 bytes (extra "$UID1:$UID2," where $UID1 and $UID2 are both ≥10⁹).
Diffstat (limited to 'pandoc2man.jq')
0 files changed, 0 insertions, 0 deletions