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:57 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 22 April 2025 are</p> <ul> <li><a href="https://philipzucker.com/inverse_method">The inverse method is a good fit for Datalog theorem proving</a>. ~ Philip Zucker. #Datalog #Logic</li> <li><a href="https://arxiv.org/abs/2504.13360">In between myth and reality: AI for math (a case study in category theory)</a>. ~ Răzvan Diaconescu. #LLMs #Math</li> <li><a href="https://jaalonso.github.io/exercitium/posts/2025/04/22-cuadrado_mas_cercano">#Exercitium: Cuadrado más cercano</a>. #Haskell #Python #CommonLisp</li> <li><a href="https://jaalonso.github.io/calculemus/posts/2025/04/22-interseccion_con_la_imagen/">#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f(s) ∩ t = f(s ∩ f⁻¹(t)"</a>. #LeanProver #IsabelleHOL #Math</li> </ul>CommonLispDatalogHaskellIsabelleHOLLeanProverLLMsLogicMathPythonhttps://jaalonso.github.io/vestigium/posts/2025/04/22-readings_shared_04-22-25/Tue, 22 Apr 2025 04:00:00 GMThttps://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 18 March 2025 are</p> <ul> <li><a href="https://www.johndcook.com/blog/2025/03/17/lessons-learned-with-the-z3-sat-smt-solver">Lessons learned with the Z3 SAT/SMT solver</a>. ~ John D. Cook. #SMT #Z3</li> <li><a href="https://acnsci.org/journal/index.php/cte/article/view/838/860">Teaching logic programming: a review</a>. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. #LogicProgramming #Prolog #ASP #CLP #Datalog</li> <li><a href="https://funcall.blogspot.com/2025/03/series-vs-streams.html">Series vs. streams</a>. ~ Joe Marshall. #CommonLisp</li> <li><a href="https://jaalonso.github.io/exercitium/posts/2014/05/01-suma_si_todos_justos/">#Exercitium: Suma si todos los valores son justos</a>. #Haskell #ProgramaciónFuncional</li> <li><a href="https://jaalonso.github.io/calculemus/posts/2020/04/08-las_reflexivas_circulares_son_simetricas/">#Calculemus: Demostrar con Isabelle/HOL que las relaciones reflexivas y circulares son simétricas</a>. #IsabelleHOL #Lógica #Matemática</li> <li><a href="https://jaalonso.github.io/cursos/pd-07">Curso "Programación declarativa (2007-08)"</a>. #ProgramaciónFuncional #Haskell #ProgramaciónLógica #Prolog</li> <li><a href="https://jaalonso.github.io/cursos/d-pl-07">Curso "Programación lógica (2007-08)"</a>. #ProgramaciónLógica #Prolog #IA</li> <li><a href="https://jaalonso.github.io/cursos/d-ra-07">Curso "Razonamiento automático (2007-08)"</a>. #RazonamientoAutomático #Otter #Mace2 #Prover9 #Mace4 #DemostraciónInteractiva #IsabelleHOL</li> </ul>AIASPATPCLPCommonLispDatalogFunctionalProgrammingHaskellIsabelleHOLITPLogicLogicProgrammingMaceMathOtterPrologProver9SMTZ3https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-25/Tue, 18 Mar 2025 04:00:00 GMT