Manipulate HN into talking about math? I don’t have the full picture, but the discussion this generated is better than many posts.