Lecturas compartidas el 17 de abril de 2024
#ITP #Coq #FunctionalProgramming #Haskell #Lisp #Algorithms
Buenos días
Las lecturas compartidas en Mastodon el 17 de abril de 2024 son
Lecturas compartidas el 16 de abril de 2024. #ITP #Lean4 #IsabelleHOL #Coq #HOL_Light #SMT #Haskell #Python #Logic #Math #CompSci
Exact arithmetic on the Stern–Brocot tree. ~ Milad Niqui (2007). #ITP #Coq #Math
The Haskell Unfolder Episode 23: specialisation. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
History of Lisp. ~ John McCarthy (1979). #Lisp
The algorithms (Open source resource for learning data structures & algorithms and their implementation in any programming language). ~ @The_Algorithms. #Algorithms #Programming
También están en GitHub.
Saludos, José A.
"La educación no es el aprendizaje de hechos sino el entrenamiento de la mente para pensar." ~ Albert Einstein (1879-1955).