Lecturas compartidas el 28 de marzo de 2024
#Coq #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math
Buenos días
Las lecturas compartidas en Mastodon el 28 de marzo de 2024 son
Lecturas compartidas el 27 de marzo de 2024. #AI #Blog #DeepLearning #Hugo #ITP #LeanProver #MachineLearning #Math
A comprehensive overview of the Lebesgue differentiation theorem in Coq. ~ Reynald Affeldt, Zachary Stone. #ITP #Coq #Math
Machines are on the verge of tackling Fermat’s last theorem—a proof that once defied them. ~ Caroline Delbert. #ITP #LeanProver #Math
Investigating the performance of language models for completing code in functional programming languages: a Haskell case study. ~ Tim van Dam et als. #LLMs #Haskell #FunctionalProgramming
Functional programming for securing cloud and embedded environments. ~ Abhiroop Sarkar. #Haskell #FunctionalProgramming
The curse of the excluded middle ("Mostly functional" programming does not work). ~ Erik Meijer (@headinthebox@twtr.plus). #FunctionalProgramming #Haskell
También están en GitHub.
Saludos, José A.
"Madurar es perder algunas ilusiones para empezar a tener otras." ~ Virginia Woolf (1882-1941).
