The sparse ruler constant
Find the limit of F(N)/√N, where F(N) is the fewest marks on a ruler of length N that measures every distance; it lies in [1.56, √3].
Comparing changes
Choose two branches to see what changed, then open a pull request to bring the work across.
Pick two different branches
A pull request can go from any branch into any other.