Skip to content

The denominator-13 inverse needs bias, aborts or unbounded fair-bit sampling - #6068

Merged
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
zxv:codex/odd-denominator-rounding-budget
Oct 28, 2026
Merged

The denominator-13 inverse needs bias, aborts or unbounded fair-bit sampling#6068
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
zxv:codex/odd-denominator-rounding-budget

Prove sharp fair-bit budgets and the bias of capped rational retries

689e282
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 28, 2026 in 4m 43s