Lecturas compartidas el 4 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #FunctionalProgramming #Haskell #Python #Math #AI
Buenos días
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
También están en GitHub.
Saludos, José A.
"Procurando lo mejor estropeamos a menudo lo que está bien." ~ William Shakespeare (1565-1616).
