The readings shared in Bluesky on 26 July 2025 are

• Higher order logic. ~ Mark Jago. #Logic
• My Emacs writing experience. ~ Sacha Chua. #Emacs #Org
• Finding the shape of my thoughts. ~ Sacha Chua. #Emacs #Org
• Writing experience: My decade with Org. ~ Álvaro Ramírez. #Emacs #OrgMode
• #Exercitium: Problemas de programación con Haskell (junio de 2019). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (mayo de 2019). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (abril de 2019). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (marzo de 2019). #Haskell #ProgramaciónFuncional #Matemáticas