Lecturas compartidas el 16 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Agda #Logic #Math #FunctionalProgramming #Haskell #LLMs
Buenos días
Las lecturas compartidas en Mastodon el 16 de mayo de 2024 son
Lecturas compartidas el 15 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #PVS #Coq #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL de "Si G es un grupo y a, b, c ∈ G tales que a·b = a·c, entonces b = c". #ITP #Lean4 #IsabelleHOL #Math
Course: Logic in Software Engineering (Lean). ~ Alexander Kurz. #ITP #Lean4 #Logic
Interactive theorem proving:Introduction to Agda. ~ Jeremy Siek. #ITP #Agda
Implementing categorical notions of partiality and delay in Agda. ~ Leon Vatthauee. #ITP #Agda #FunctionalProgramming #Haskell
Evaluating Large Language Model performance on Haskell. ~ Andrew Chen. #LLMs #Haskell #FunctionalProgramming
The Haskell Unfolder Episode 25: from Java to Haskell. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
También están en GitHub.
Saludos, José A.
"Las palabras no son inocentes, llevan un lastre. Cuando pensamos lo hacemos con las palabras que lo acarrean. Tal como hablamos, pensamos, y tal como pensamos, actuamos. Dependiendo de las palabras que utilicemos, así será nuestro mundo." ~ Chantal Maillard (1951-).
