[math-fun] Differential geometry in *finite* fields!