The readings shared in Bluesky on 29 August 2025 are

• Tic-tac-toe meets Lean 4. ~ Adolfo Ochagavía. #ITP #LeanProver
• Continuous and algebraic domains in univalent foundations. ~ Tom de Jong, Martín Hötzel Escardó. #ITP #Agda
• Erdös problems. ~ Thomas Bloom. #Math
• #Exercitium: Números triangulares con n cifras distintas. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Enumeración de árboles binarios. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Elementos de una matriz con algún vecino menor. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Reiteración de una función. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Pim, Pam, Pum y divisibilidad. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Código de las alergias. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Índices de valores verdaderos. #Haskell #ProgramaciónFuncional #Matemáticas