Progress links digest, 2023-08-02: Superconductor edition — LessWrong