Lecturas compartidas el 2 de mayo de 2024
#ITP #Lean4 #IsabelleHOL #Coq #Prover9 #Mace4 #FunctionalProgramming #Haskell #Python #Math #AI #ChatGPT
Buenos días
Las lecturas compartidas en Mastodon el 2 de mayo de 2024 son
Lecturas compartidas el 1 de mayo de 2024. #ITP #Lean4 #IsabelleHOL #Agda #Math
#Calculemus: Demostraciones con Lean4 e Isabelle/HOL del teorema de Cantor. #ITP #Lean4 #IsabelleHOL #Math
#Exercitium: Números triangulares con n cifras distintas. #Haskell #Python #Matemáticas
Automated reasoning for mathematics. ~ Jeremy Avigad. #ITP #ATP #IsabelleHOL #LeanProver #Coq #Math
Compactness via pattern stepping bisimulation. ~ Matias Scharager. #ITP #Coq
Commutative residual algebra motivation, decision, and applications. ~ Vincent van Oostrom. #ATP #Prover9 #Mace4 #Math
Pick's theorem (in Isabelle/HOL). ~ Sage Binder, Katherine Kosaian. #ITP #IsabelleHOL #Math
The Haskell Unfolder Episode 24: generic (un)folds. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
Python sequences: A comprehensive guide. ~ Stephen Gruppetta. #Python
Introduction to Prompt Engineering (Focusing on ChatGPT). ~ Chameera Dedduwage. #ChatGPT
También están en GitHub.
Saludos, José A.
"Siempre me siento feliz. ¿Sabes por qué? Porque no espero nada de nadie; esperar siempre duele. Los problemas no son eternos, siempre tienen solución. Lo único que no se resuelve es la muerte. La vida es corta, por eso ámala, se feliz y siempre sonríe, solo vive intensamente. Antes de hablar, escucha. Antes de escribir, piensa; Siente antes de herir. Antes de rendirte, intenta. Antes de morir, vive." ~ William Shakespeare (1565-1616).