Buenos días
Las lecturas compartidas en Mastodon el 19 de abril de 2024 son
Lecturas compartidas el 18 de abril de 2024. #ITP #LeanProver #Lean4 #IsabelleHOL #Coq #Imandra #ATP #SMT #AI #DeepLearning #Math #CategoryTheory
Core inspection. ~ Oleg Grenrus. #Haskell #FunctionalProgramming
Why streaming is my favourite Haskell streaming library. ~Jack Kelly. #FunctionalProgramming #Haskell
También están en GitHub.
Saludos, José A.
"Se mide la inteligencia de un individuo por la cantidad de incertidumbres que es capaz de soportar." ~ Immanuel Kant (1724-1804).