December 3, 2025How we built checkpointingAnd why we picked GPT-5 to do the hardest bitsBy Jackson de Campos, Omid Mogasemi, Charlie Holtz