The readings shared in Bluesky on 8 October 2025 are:

• Growing Mathlib: Maintenance of a large scale mathematical library. ~ Anne Baanen, Matthew Robert Ballard, Johan Commelin, Bryan Gin-ge Chen, Michael Rothgang, Damiano Testa. #ITP #LeanProver #Mathlib #Math
• #Exercitium: Cadenas de ceros y unos. #Haskell #ProgramaciónFuncional #Matemáticas