The readings shared in Bluesky on 17 November 2025 are:

• An introduction to formal real analysis (Lecture 19: The rearrangement theorems). ~ Alex Kontorovich. #ITP #LeanProver #Math
• Formalizing neural networks (in Isabelle/HOL). ~ Achim D. Brucker, Amy Stell. #ITP #IsabelleHOL #NeuralNetwork
• xeus-haskell: a Jupyter kernel for Haskell based on the native implementation of the Jupyter protocol xeus. ~ Masaya Taniguchi. #Haskell #FunctionalProgramming
• #Exercitium: Aplicaciones alternativas. #Haskell #ProgramaciónFuncional