Foundations

• The Bravyi–König bound for topological Pauli stabilizer codes
• The Bravyi–Poulin–Terhal tradeoff in two dimensions
• The bound zoo
• CSS codes & chain complexes
• Decoding basics
• Knill–Laflamme conditions
• Logical operators & distance
• Pauli operators as binary symplectic vectors
• Measurement schedules & ISGs
• Stabilizer codes
• Subsystem & gauge codes