The readings shared in Bluesky on 5 September 2025 are

• Program verification is not all-or-nothing. ~ Lawrence Paulson. #FormalVerification
• The future of math is programming. ~ Ank Yog. #ITP #LeanProver #Math
• AI-driven formal theorem proving. #ITP #LeanProver #AI #LLMs
• Better Haskell stack traces via user annotations. ~ Hannes Siebenhandl, Matthew Pickering. #Haskell #FunctionalProgramming
• What is the Fourier transform?. ~ Shalma Wegsman. #Math
• #Exercitium: Intercalación de n copias. #Haskell #ProgramaciónFuncional
• #Exercitium: Eliminación de n elementos. #Haskell #ProgramaciónFuncional