Lecturas compartidas el 8 de marzo de 2024
Lecturas de razonamiento automático, Haskell, programación funcional, IA y aprendizaje automático.
Las lecturas compartidas en Mastodon el 8 de marzo de 2024 son
Mechanical mathematicians (A new generation of automatic theorem provers eliminate bugs in software and mathematics). ~ Alexander Bentkamp, Jasmin Blanchette, Visa Nummelin, Sophie Tourret, Petar Vukmirović, and Uwe Waldmann (2023). #ITP #Math
Learning guided automated reasoning: A brief survey. ~ Lasse Blaauwbroek, David Cerna, Thibault Gauthier, Jan Jakubův, Cezary Kaliszyk, Martin Suda, Josef Urban. #AutomatedReasoning #MachineLearning
Extending destination-passing style programming to arbitrary data types in Linear Haskell. ~ Thomas Bagrel. #Haskell #FunctionalProgramming
Playing with value iteration in Haskell. ~ Iago Leal de Freitas. #Haskell #FunctionalProgramming
Reshape in Hmatrix. ~ Nicolas Audinet de Pieuchon. #Haskell #FunctionalProgramming
Large language models can do jaw-dropping things. But nobody knows exactly why. ~ Will Douglas Heaven. #AI #LLMs
También están en GitHub.
"La mayor parte de las veces, la alegría es conquistada por una rigurosa disciplina." ~ Ralph Waldo Emerson (1803-1882).
