The readings shared in Bluesky on 9 August 2025 are

• Mission-time Linear Temporal Logic Formula Progression (in Isabelle/HOL). ~ Katherine Kosaian, Zili Wang. #ITP #IsabelleHOL
• Two-way deterministic finite automata (in Isabelle/HOL). ~ Felipe Escallón, Tobias Nipkow. #ITP #IsabelleHOL
• Truly functional solutions to the longest uptrend problem (Functional pearl). ~ Alexander Dinges, Ralf Hinze. #Haskell #FunctionalProgramming
• Teaching introductory functional programming using Haskelite. ~ Pedro Vasconcelos. #Haskell #FunctionalProgramming
• Macros in Prolog: Term and goal expansion. ~ Markus Triska. #Prolog #LogicProgramming
• Mathematicians question AI performance at International Math Olympiad. ~ Emily Riehl. #AI #Math #IMO
• Geoint-R1: Formalizing multimodal geometric reasoning with dynamic auxiliary constructions. ~ Jingxuan Wei et als. #ITP #LeanProver #LLMs
• #Exercitium: Problemas de programación con Haskell (diciembre de 2016). #Haskell #ProgramaciónFuncional #Matemáticas