A channel for left_adjoint's miscellany: mostly music, tutorial videos on CS and math topics, but maybe an occasionally video essay on the philosophy of mathematics