The readings shared in Bluesky on 4 December 2025 are:

• Formal analysis of the sigmoid function and formal proof of the universal approximation theorem. ~ Dustin Bryant, Jim Woodcock, Simon Foster. #ITP #IsabelleHOL
• Lean4Less: Eliminating definitional equalities from Lean via an extensional-to-intensional translation. ~ Rishikesh Vaishnav. #ITP #LeanProver
• #Exercitium: Sin consecutivos repetidos. #Haskell #ProgramaciónFuncional