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 12:59:56 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/05/21-readings_shared_05-21-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 21 May 2025 are</p> <ul> <li><a href="https://youtu.be/LylJBfvVzyw">Will computers prove theorems?</a> ~ Kevin Buzzard. #ITP #LeanProver #Math</li> <li><a href="https://youtu.be/aF7IIWfXh3A">Formalizing the future: Lean’s impact on mathematics, programming, and AI</a>. ~ Leo De Moura. #ITP #LeanProver #Math #CompSci #AI</li> <li><a href="https://ankitku.github.io/stuff/floodsub-acl2ws.pdf">A formalization of the correctness of the Floodsub protocol</a>. ~ Ankit Kumar, Panagiotis Manolios. #ITP #ACL2</li> <li><a href="https://github.com/codelion/openevolve">OpenEvolve: Open-source implementation of AlphaEvolve</a>. ~ Asankhaya Sharma. #AI #LLMs #AlphaEvolve #Math</li> <li><a href="https://github.com/PhialsBasement/AlphaEvolve-MatrixMul-Verification">AlphaEvolveVerify: Verification of Google DeepMind's AlphaEvolve 48-multiplication matrix algorithm</a>. ~ Deming Xu. #Python #Programming #Math</li> <li><a href="https://youtu.be/of92m4XNgrM">Toward safe, flexible, and efficient software in Common Lisp</a>. ~ Robert Smith. #CommonLisp</li> <li><a href="https://www.researchgate.net/publication/391802524_Theorems_and_Conjectures_with_Python">Theorems and conjectures with Python</a>. ~ Alessio Drivet. #Math #Python #Programming</li> <li><a href="https://www.researchgate.net/publication/391837654_Analysis_of_selection_noise_in_genetic_algorithms">Analysis of selection noise in genetic algorithms</a>. Nataliya M. Gulayeva, Joaquín Borrego-Díaz, Fernando Sancho-Caparrini. #GeneticAlgoritm</li> <li><a href="https://gitlab.com/purlupar/org-expex">org-expex: Expex glosses in Org-mode (Emacs org-mode extension to auto-create linguistic glosses)</a>. ~ David Diem. #Emacs #OrgMode</li> </ul>ACL2AIAlphaEvolveCommonLispCompSciEmacsGeneticAlgoritmITPLeanProverLLMsMathOrgModeProgrammingPythonhttps://jaalonso.github.io/vestigium/posts/2025/05/21-readings_shared_05-21-25/Wed, 21 May 2025 04:00:00 GMT