The readings shared in Bluesky on 27 November 2025 are:

• An introduction to formal real analysis (Lecture 22: Uniformity). ~ Alex Kontorovich. #ITP #LeanProver #Math
• Mathematics: the rise of the machines. ~ Yang-Hui He. #AI #ITP #Math
• #Exercitium: Llanuras de longitud dada. #Haskell #ProgramaciónFuncional