The readings shared in Bluesky on 5 November 2025 are:

• Formalizing Schwartz functions and tempered distributions. ~ Moritz Doll. #ITP #LeanProver #Math
• Tree-based premise selection for Lean4. ~ Zichen Wang, Anjie Dong, Zaiwen Wen. #ITP #LeanProver #AI
• #Exercitium: Conjunto de primos relativos. #Haskell #ProgramaciónFuncional #Matemáticas
• #Exercitium: Repetición de elementos. #Haskell #ProgramaciónFuncional
• #Exercitium: Último dígito no nulo del factorial. #Haskell #ProgramaciónFuncional #Matemáticas