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:58 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 15 March 2025 are</p> <ul> <li><a href="https://lawrencecpaulson.github.io/2025/03/14/revisiting_demillo.html">Revisiting an early critique of formal verification</a>. ~ Lawrence Paulson. #ITP #Math #FormalVerification</li> <li><a href="https://grantjurgensen.com/posts/schroder-berstein-acl2/">A proof of the Schröder-Bernstein theorem in ACL2</a>. ~ Grant Jurgensen. #ITP #ACL2 #Math</li> <li><a href="https://books.google.com/books/?id=ciVOEQAAQBAJ">Principles of rule-based programming</a>. ~ Thom Frühwirth. #CHR #Constraint #LogicProgramming</li> <li><a href="https://www.doc.ic.ac.uk/~dfg/ProbabilisticInference/InferenceAndMachineLearningNotes.pdf">Mathematics for inference and machine learning</a>. ~ Marc Deisenroth, Stefanos Zafeiriou. #Math #MachineLearning</li> <li><a href="https://notxor.nueva-actitud.org/2019/11/26/introduccion-a-emacs.html">Introducción a la Introducción de Emacs</a>. ~ Notxor. #Emacs</li> <li><a href="https://jaalonso.github.io/exercitium/posts/2014/04/28-primos_consecutivos_con_media_capicua/">#Exercitium: Primos consecutivos con media capicúa</a>. #Haskell #FunctionalProgramming #Math</li> <li><a href="https://jaalonso.github.io/calculemus/posts/2020/03/19-el_problema_de_los_infectados/">#Calculemus: El problema de los infectados</a>. #IsabelleHOL #Lógica #Matemática</li> <li><a href="https://jaalonso.github.io/cursos/pd-06">Curso "Programación declarativa (2006-07)"</a>. #LogicProgramming #Prolog #AI #NLP #Constraints #Logic</li> <li><a href="https://jaalonso.github.io/cursos/li-07">Curso "Lógica informática (2007-08)"</a>. #Lógica #Matemática #Computación</li> </ul>ACL2AICHRConstraintConstraintsEmacsFormalVerificationFunctionalProgrammingHaskellIsabelleHOLITPLogicLogicProgrammingMachineLearningMathNLPProloghttps://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25/Sat, 15 Mar 2025 04:00:00 GMT