The readings shared in Mastodon on 21 October 2024 are

• Readings shared October 20, 2024. #ITP # #LambdaCalculus #FunctionalProgramming #ALP #LogicProgramming #AI #LLMs #Math
• The Lean Language Reference. #ITP #LeanProver #Lean4
• Formalizing hyperspaces and operations on subsets of polish spaces over abstract exact real numbers. ~ Michal Konečný, Sewon Park, Holger Thies.][]]AI for Mathematics paper list. #AI #Math #AI4Mat #ITP #Coq #Math
• Safeguarded AI: this programme aims to develop the safety standards we need for transformational AI. #AI
• Mathematics for Safe AI. ~ David Dalrymple. #AI
• Safeguarded AI: constructing guaranteed safety (Programme thesis). ~ David Dalrymple. #AI
• ProvablySafe.AI: a collaborative landing page for the field and community at the intersection of AI safety and formal methods. #AI
• Curso de Emacs Lisp. ~ Andros Fenollosa (@andros@activity.andros.dev). #Emacs #Lisp
• Curso de Emacs Lisp orientado a las interfaces de usuario. ~ Andros Fenollosa (@andros@activity.andros.dev). #Emacs #Lisp