The readings shared in Bluesky on 3 December 2025 are:

• Simp, made simple. ~ Yaël Dillies Paul Lezeau. #ITP #LeanProver
• An introduction to formal real analysis (Lecture 23: Uniformity II: continuity). ~ Alex Kontorovich. #ITP #LeanProver #Math
• ‘Reverse mathematics’ illuminates why hard problems are (Researchers have used metamathematical techniques to show that certain theorems that look superficially distinct are in fact logically equivalent). ~ Ben Brubaker. #Math #CompSci
• Mathematics is hard for mathematicians to understand too. ~ Emily Riehl. #Math
• #Exercitium: Búsqueda en lista de listas de pares. #Haskell #ProgramaciónFuncional