Lecturas compartidas el 30 de marzo de 2024
#FunctionalProgramming #GPT #Haskell #ITP #IsabelleHOL #Math #Python #TypeTheory
Buenos días
Las lecturas compartidas en Mastodon el 30 de marzo de 2024 son
Lecturas compartidas el 29 de marzo de 2024. #Coq #Elm #FunctionalProgramming #Haskell #ITP #IsabelleHOL #Math
#Exercitium: Exponente en la factorización. #Haskell #Python #Matemáticas
Kummer's congruence (in Isabelle/HOL). ~ Manuel Eberl (@pruvisto@graz.social). #ITP #IsabelleHOL
Doob's upcrossing inequality and martingale convergence theorem (in Isabelle/HOL). ~ Ata Keskin. #ITP #IsabelleHOL #Math
Conditional normative reasoning as a fragment of HOL (Isabelle/HOL dataset). ~ Xavier Parent, Christoph Benzmüller. #ITP #IsabelleHOL
Linear algebra of types. ~ Philip Zucker (@sandmouth@types.pl). #TypeTheory #Haskell #FunctionalProgramming
Using SymPy (Symbolic Python) for understanding structural equation modeling. ~ Joel S. Steele, Kevin J. Grimm. #Python #Math
Guía de ingeniería de prompts. ~ Eduardo González (@EduardoGonRob). #GPT
También están en GitHub.
Saludos, José A.
"Sé tú, e intenta ser feliz, pero sobre todo, sé tú." ~ Charles Chaplin (1889-1977).
