Bet 02 / Speculative decoding
A cheap draft proposes K tokens; the target verifies them in one pass and accepts a prefix. Each accepted token is one you did not pay full price for, but a longer draft costs more per step, so there is an optimal K. And counterintuitively, sampling is slower than greedy even at higher acceptance, because rejection and resampling add overhead the arithmetic does not see.
From the derivation. Expected tokens per iteration = (1 − α^(K+1)) / (1 − α); speedup = tokens / (1 + K·c).
c. This is why greedy at 62.5% acceptance beat sampling at 64.3% (1.10x vs 0.85x) in the post.