The readings shared in Bluesky on 31 July 2025 are

• The math is haunted. ~ Dan Abramov. #ProofAssistant #LeanProver #Math
• #Exercitium: Problemas de programación con Haskell (julio de 2018). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (junio de 2018). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (mayo de 2018). #Haskell #ProgramaciónFuncional #Matemáticas