Lecturas compartidas el 13 de abril de 2024
#ITP #IsabelleHOL #FunctionalProgramming #Haskell
Buenos días
Las lecturas compartidas en Mastodon el 13 de abril de 2024 son
Lecturas compartidas el 12 de abril de 2024. #ITP #Lean4 #IsabelleHOL #Coq #FunctionalProgramming #Haskell #Math #IMO #AI #NeuralNetwork #Emacs #OrgMode
A formal proof for the correctness of tangle learning. ~ Suzanne Ellen van der Veen. #ITP #IsabelleHOL
Knuth–Morris–Pratt illustrated. ~ Cameron Moy. #FunctionalProgramming #Haskell
Asymptotic speedup via effect handlers. ~ Daniel Hillerström, Sam Lindley, John Longley. #FunctionalProgramming
También están en GitHub.
Saludos, José A.
"La vida es una suma de todas tus elecciones. Entonces, ¿qué estás haciendo hoy?" ~ Albert Camus (1913-1960).
