Orthogonal projection, dual Furstenberg problem, and discretized sum-product | Synapse