2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/134382This research announcement describes in very rough terms methods and a computer language under development, which can be used to prove the nonexistence of binary linear codes. Over a hundred new results have been obtained by the author. For example, there is no [29,11,10] code. The proof of this is roughly outlined.CombinatoricsInformation Theory94B65text