José A. AlonsoMay 22
Readings shared May 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/05/21-readings_shared_05-21-25 #ACL2 #AI #AlphaEvolve #CommonLisp #CompSci #Emacs #GeneticAlgoritm #ITP #LLMs #LeanProver #Math #OrgMode #Programming #Python
Readings shared May 21, 2025

The readings shared in Bluesky on 21 May 2025 are Will computers prove theorems? ~ Kevin Buzzard. #ITP #LeanProver #Math Formalizing the future: Lean’s impact on mathematics, programming, and AI. ~ L

Vestigium
José A. AlonsoMay 21
Analysis of selection noise in genetic algorithms. Nataliya M. Gulayeva, Joaquín Borrego-Díaz, Fernando Sancho-Caparrini. https://www.researchgate.net/publication/391837654_Analysis_of_selection_noise_in_genetic_algorithms #GeneticAlgoritm