“IBM developed an error-correcting code, called the Gross Code, which is an order of magnitude more efficient than previously known codes.”