The readings shared in Bluesky on 7 October 2025 are:

• A formally verified IEEE 754 floating-point implementation of interval iteration for MDPs. ~ Bram Kohlen, Maximilian Schäffeler, Mohammad Abdulaziz, Arnd Hartmanns, Peter Lammich. #ITP #IsabelleHOL
• The Mondrian introduction to functional optics. ~ Marco Perone. #Haskell #FunctionalProgramming
• Using an LLM on the Advent of Code. ~ Joe Marshall. #Advent_of_Code #AI_coding #CommonLisp #Gemini #LLM
• #Exercitium: Números con todos sus dígitos primos. #Haskell #ProgramaciónFuncional #Matemáticas