New algorithms beat existing methods for synthesizing CNOT and Clifford circuits, crucial for quantum error correction.