The readings shared in Bluesky on 2 September 2025 are

• Aspects of category theory in proof assistants. ~ Luc Chabassier. #ITP #CoqProver #CategoryTheory
• No-free-lunch theorem for machine learning. ~ Michikazu Hirata. #ITP #IsabelleHOL
• #Exercitium: Actualizaciones de ejercicios. #Haskell #ProgramaciónFuncional #Matemáticas