We present a general framework for derandomizing random linear
codes with respect to a broad class of properties, known as local
properties, which encompass several standard notions such as
minimum distance, list-decoding, list-recovery, and perfect...