The readings shared in Bluesky on 18 November 2025 are:

• Teaching real analysis as a game. ~ Alex Kontorovich. #ITP #LeanProver #Math
• Are automated proof assistants ready for semigroup research? Orientation-preserving mappings and proof assistant Lean. ~ Alastair Litterick, Alexei Vernitski, Billy Woods. #ITP #LeanProver #Math
• Lispy sets in CHICKEN Scheme. ~ Peter Bex.f#page=36 #Scheme #FunctionalProgramming
• Evaluating autoformalization robustness via semantically similar paraphrasing. ~ Hayden Moore, Asfahan Shah. #AI #Math #Autoformalization #ITP #LeanProver
• «Paged Out!»: una revista en PDF sobre programación, donde con un artículo por página sobra. ~ @Alvy #Programming
• Universidad e Inteligencia Artificial: realidad, retos y expectativas de la aplicación de la IA en las universidades españolas. ~ Teodoro Luque, Lucia Porcu, Isamel García Varea y Iñaki Fuertes Tudanca. #IA #Universidad
• #Exercitium: Evaluación de árboles de expresiones aritméticas. #Haskell #ProgramaciónFuncional #Matemáticas