The readings shared in Bluesky on 23 October 2025 are:

• Constructive ordinal exponentiation. ~ Tom de Jong, Nicolai Kraus, Fredrik Nordvall Forsberg, Chuangjie Xu. #ITP #Agda #SetTheory
• Mathematics with large language models as provers and verifiers. ~ Hieu Le Duc, Leo Liberti. #AI #Math #LLM #ITP #LeanProver
• Las mejores películas sobre matemáticas. ~ Eduardo Sastre. #Matemáticas