The readings shared in Bluesky on 10 August 2025 are

• A practical formalization of monadic equational reasoning in dependent-type theory. ~ Reynald Affeldt, Jacques Garrigue, Takafumi Saikawa, #ITP #CoqProver
• Domain-specific tensor languages. ~ Jean-Philippe Bernardy, Patrik Jansson. #Haskell #FunctionalProgramming
• Binary search—think positive. ~ Alexander Dinges, Ralf Hinze. #ITP #Agda #FunctionalProgramming
• GradSTL: Comprehensive signal temporal logic for neurosymbolic reasoning and learning. ~ Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot. #ITP #IsabelleHOL
• A contextual formalization of structural coinduction. ~ Paul Downen, Zena M. Ariol. #FunctionalProgramming
• OCaml Blockly. ~ Kenichi Asai. #OCaml #FunctionalProgramming
• The graphical theory of monads. ~ Ralf Hinze, Dan Marsden. #CategoryTheory
• #Exercitium: Problemas de programación con Haskell (noviembre de 2016). #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Problemas de programación con Haskell (mayo de 2016). #Haskell #ProgramaciónFuncional #Matemáticas