The readings shared in Bluesky on 24 July 2025 are

• Formally verifying automata for trusted decision procedures. ~ Zhaobo (Aeacus) Sheng. #ITP #LeanProver
• Competitive programming in Haskell: sparse tables. ~ Brent Yorgey. #Haskell #FunctionalProgramming
• Four ways of declaring interfaces in Haskell. ~ Marco Perone. #FunctionalProgramming #haskell
• Inlining in the Glasgow Haskell Compiler: empirical investigation and improvement. ~ Celeste Hollenbeck. #Haskell #FunctionalProgramming
• Type-level programming for safer resource management. ~ Fraser Tweedale. #Haskell #FunctionalProgramming
• The Haskell Unfolder Episode 47: Pure parallelism. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming
• DeepMind and OpenAI achieve IMO Gold. What does it all mean? (What we know, what we would like to know, and what it may take years to know). ~ Ernest Davis, Gary Marcus. #AI #Math #LLMs
• #Exercitium: Problemas de programación con Haskell de enero de 2020. #Haskell #ProgramaciónFuncional #Matemáticas