https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 13:00:00 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/10/21-readings_shared_10-21-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 21 October 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/10/20-readings_shared_10-20-24">Readings shared October 20, 2024</a>. #ITP # #LambdaCalculus #FunctionalProgramming #ALP #LogicProgramming #AI #LLMs #Math</li> <li><a href="https://lean-lang.org/doc/reference/latest/">The Lean Language Reference</a>. #ITP #LeanProver #Lean4</li> <li><a href="https://arxiv.org/abs/2410.13508">Formalizing hyperspaces and operations on subsets of polish spaces over abstract exact real numbers</a>. ~ Michal Konečný, Sewon Park, Holger Thies.][]]<a href="https://github.com/fzyzcjy/ai_math_paper_list">AI for Mathematics paper list</a>. #AI #Math #AI4Mat #ITP #Coq #Math</li> <li><a href="https://www.aria.org.uk/programme-safeguarded-ai">Safeguarded AI: this programme aims to develop the safety standards we need for transformational AI</a>. #AI</li> <li><a href="https://www.aria.org.uk/wp-content/uploads/2024/04/ARIA-Mathematics-and-modelling-are-the-keys-we-need-to-safely-unlock-transformative-AI-v01.pdf">Mathematics for Safe AI</a>. ~ David Dalrymple. #AI</li> <li><a href="https://www.aria.org.uk/wp-content/uploads/2024/01/ARIA-Safeguarded-AI-Programme-Thesis-V1.pdf">Safeguarded AI: constructing guaranteed safety (Programme thesis)</a>. ~ David Dalrymple. #AI</li> <li><a href="https://www.provablysafe.ai/">ProvablySafe.AI: a collaborative landing page for the field and community at the intersection of AI safety and formal methods</a>. #AI</li> <li><a href="https://programadorwebvalencia.com/cursos/emacs-lisp">Curso de Emacs Lisp</a>. ~ Andros Fenollosa. #Emacs #Lisp</li> <li><a href="https://programadorwebvalencia.com/cursos/ui-emacs-lisp">Curso de Emacs Lisp orientado a las interfaces de usuario</a>. ~ Andros Fenollosa. #Emacs #Lisp</li> </ul>AIAI4MatCoqEmacsITPLean4LeanProverLispMathhttps://jaalonso.github.io/vestigium/posts/2024/10/21-readings_shared_10-21-24/Mon, 21 Oct 2024 04:00:00 GMT