Trevor Terris' Personal Blog
Blog Archive
Blog Archive
Untagged
March 2025 - Deriving BB_L(n+1) from BB_L(n) with O(log log n) advice bits