Lecturas compartidas el 10 de marzo de 2024
Lecturas de Haskell, verificación formal, IA, matemáticas y Emacs.
Buenos días
Las lecturas compartidas en Mastodon el 10 de marzo de 2024 son
Abstracting denotational interpreters. ~ Sebastian Graf, Simon Peyton Jones, Sven Keidel. #Haskell #FunctionalProgramming
Toward verified artificial intelligence (Making AI more trustworthy with a formal methods-based approach to AI system verification and validation). ~ Sanjit A. Seshia, Dorsa Sadigh, S. Shankar Sastry (2022). #AI #FormalVerification
Tabletop games based on math problems. ~ Jeremy Kun (@j2kun@mathstodon.xyz). #Math #Game
GPTs (Figuring out AI for writing). ~ Chris James. #AI #GPT
How to organize technical research? ~ Wayne Joubert. #KnowledgeManagement
Texinfo: el sistema de ayuda de Emacs. ~ Notxor. #Emacs
También están en GitHub.
Saludos, José A.
"El secreto de la alegría es conocer cómo disfrutar lo que tienes, y ser capaz de perder todo el deseo por cosas más allá de tu alcance." ~ Lin Yutang (1895-1975).
