The readings shared in Bluesky on 1 November 2025 are:

• An introduction to formal real analysis (Lecture 15: The real numbers). ~ Alex Kontorovich. #ITP #LeanProver #Math
• Formalization of coverage checking in Agda. ~ Satoshi Takimoto, Sosuke Moriguchi, Takuo Watanabe. #ITP #Agda #FunctionalProgramming
• Call-by-value and call-by-name: A simple proof of a classic theorem. ~ D. Biernacki, J. McKinna, & F. Sieczkowski. #ITP #Adga #FunctionalProgramming
• #Exercitium: Precio total. #Haskell #ProgramaciónFuncional