Design of provably good low-density parity check codes | Synapse