The readings shared in Bluesky on 22 August 2025 are

• Definite integrals, II: improper integrals. ~ Lawrence Paulson. #ITP #IsabelleHOL #Math
• Continuous and algebraic domains in univalent foundations. ~ Tom de Jong, Martín Hötzel Escardó. #ITP #Agda #Math
• Reasoning about weak isolation levels in separation logic. ~ Anders Alnor Mathiasen et als. #ITP #Rocq
• The Baby paradox in Haskell. ~ Justin Le. #Haskell #FunctionalProgramming #Logic
• Applicative-wired monad pattern. ~ Chris Done. #Haskell #FunctionalProgramming
• #Exercitium: Iguales al siguiente. #Haskell #FunctionalProgramming
• #Exercitium: Ordenación por el máximo. #Haskell #FunctionalProgramming
• #Exercitium: La bandera tricolor. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Determinación de los elementos minimales. #Haskell #ProgramaciónFuncional #Matemáticas