The readings shared in Bluesky on 4 April 2025 are

• Learning Lean in the age of Artificial Intelligence. ~ Adolfo Neto. #ITP #LeanProver
• Guessing game: Haskell style. ~ kqr. #Haskell #FunctionalProgramming
• Function application needs to grow a spine already. ~ Thunderseethe. #Haskell #FunctionalProgramming
• Why you should maintain a personal LLM coding benchmark. ~ Edward Z. Yang. #LLMs #Programming
• #Exercitium: Trenzado de listas. #Haskell #ProgramaciónFuncional
• Demostraciones con Lean4 y con Isabelle/HOL de "f⁻¹(u ∩ v) = f⁻¹(u) ∩ f⁻¹(v)". #LeanProver #IsabelleHOL #Math #Calculemus
• Curso "Informática (2011-12)". #Haskell #ProgramaciónFuncional #Algorítmica #CálculoSimbólico #Maxima
• Temas de "Programación funcional" (2011-12). #Haskell #ProgramaciónFuncional
• Ejercicios de programación funcional con Haskell (curso 2011–12). #Haskell #ProgramaciónFuncional
• Exámenes de programación funcional con Haskell (curso 2011–12). #Haskell #ProgramaciónFuncional