The readings shared in Bluesky on 30 August 2025 are

• Exploiting instantiations from paramodulation proofs in Isabelle/HOL. ~ Lukas Bartl, Jasmin Blanchette, Tobias Nipkow. #ITP #IsabelleHOL
• Demostración incorrecta de P ≠ NP publicada en la revista "Frontiers of Computer Science". ~ Francisco R. Villatoro. #Math
• #Exercitium: Descomposiciones triangulares. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Número de inversiones. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Separación por posición. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Emparejamiento de árboles. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Eliminación de las ocurrencias aisladas. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Ordenada cíclicamente. #Haskell #ProgramaciónFuncional
• #Exercitium: Órbita prima. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Divisores de un número con final dado. #Haskell #ProgramaciónFuncional #Matemáticas