[math-fun] New error-correcting codes ...