The readings shared in Bluesky on 9 September 2025 are

• Higher order differential calculus in Mathlib. ~ Sébastien Gouëzel. #ITP #LeanProver #Math
• Ordinal exponentiation in homotopy type theory. ~ Tom de Jong et als. #ITP #Agda #HoTT #Math
• The story of mathematics. #Math
• La historia de las matemáticas: 35.000 años de números, año arriba, año abajo. ~ @Alvy. #Matemáticas
• #Exercitium: Renombramiento de un árbol. #Haskell #ProgramaciónFuncional
• #Exercitium: Divide si todos son múltiplos. #Haskell #ProgramaciónFuncional #Matemáticas