Problem for this talk:
Given d, find the largest k for which there exists a [1000,k,d] binary linear code.Too hard! So we consider the following much easier problem:
Given d, find the largest k for which the existence of a [1000,k,d] binary linear code is not contradicted by linear programming.
Largely worked out.
But how can we interpret the resulting data?
Compare with the (best known) asymptotic bounds of
Gilbert-Varshamov (lower) and McEliece-Rodemich-Rumsey-Welch (upper).

next