Las lecturas compartidas en Mastodon el 4 de mayo de 2024 son

• Lecturas compartidas el 3 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #CompSci #Education #AI #GenerativeAI #MachineLearning #DeepLearning
• Libro "Piensa en Haskell y en Python" (versión del 3-may-24). #Haskell #Python #Matemáticas #Algorítmica
• Resumen de lecturas compartidas durante abril de 2024. #ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell
• La semana en Calculemus (Demostraciones con Lean4 e Isabelle/HOL) (4-mayo-24). #ITP #Lean4 #IsabelleHOL #Math
• Substitutions for lambda-free higher-order terms (in Isabelle/HOL). ~ Vincent Trélat. #ITP #IsabelleHOL
• A narrative history of Artificial Intelligence. ~ Masayuki Ida. #AI