We review the formalism of stabilizer quantum error correction, in particular homological codes for qubits, oscillators or so-called rotors. We show that rotors can in particular allow for interesting qubit encodings which relate to the physics of superconducting devices. We discuss quantum error correction with the (homological) surface code, in
particular with respect to qubit leakage, for superconducting qubits.