Lecturas compartidas el 20 de abril de 2024
#ITP #IsabelleHOL #FunctionalProgramming #Math #AI #LLMs #ChatGPT #Philosophy
Buenos días
Las lecturas compartidas en Mastodon el 20 de abril de 2024 son
Lecturas compartidas el 19 de abril de 2024. #FunctionalProgramming #Haskell
The formal verification of the ctm approach to forcing. ~ Emmanuel Gunther et als. #ITP #Isabelle #Math
A verified proof checker for metric first-order temporal logic. ~ Andrei Herasimau, Jonathan Julian Huerta y Munive, Leonardo Lima, Martin Raszyk, Dmitriy Traytel. #ITP #IsabelleHOL
Applying large language models to enhance the assessment of parallel functional programming assignments. ~ Skyler Grandel, Douglas C. Schmidt, Kevin Leach. #FunctionalProgramming #LLMs #ChatGPT
Two announcements: AI for Math resources, and erdosproblems.com. ~ Terence Tao (@tao@mathstodon.xyz). #AI #Math
Why engineers should study Philosophy. ~ Marco Argenti. #AI #Philosophy
También están en GitHub.
Saludos, José A.
"La lectura de todos los buenos libros es como una conversación con las mejores mentes de los siglos pasados." ~ Immanuel Kant (1724-1804).
