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/01-readings_shared_10-01-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 1 October 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/09/30-readings_shared_09-30-24">Readings shared September 30, 2024</a>. #ITP #LeanProver #Lean4 #Math #LambdaCalculus</li> <li><a href="https://tinyurl.com/2755evuo">ENS-Lean_course: Homework 2 (Logic)</a>. ~ Roman Soletskyi. #ITP #LeanProver #Lean4 #Math</li> <li><a href="https://mat.uab.cat/~masdeu/argo/">The geometry game</a>. ~ Marc Masdeu.. #ITP #Lean3 #Math</li> <li><a href="https://www.isa-afp.org/entries/Parallel_Shear_Sort.html">Parallel shear sort (in Isabelle/HOL)</a>. ~ Manuel Eberl &amp; Peter Lammich. #ITP #IsabelleHOL #Algorithms</li> <li><a href="https://www.philipzucker.com/ruler/">Rule synthesis etudes for Tao's algebra problem</a>. ~ Philip Zucker. #ATP #SMT #Z3</li> <li><a href="https://smelc.github.io/tn-fp-haskell-course/slides/">Functional programming course for Telecom Nancy, using Haskell</a>. ~ Clément Hurlin. #Haskell #FunctionalProgramming</li> <li><a href="https://youtu.be/32hRTNTgBY8">Integrando AI con mi herramienta de trabajo preferida: Google Gemini, Emacs Lisp y GNU/Linux!! ~ lksadj</a>. #Emacs #AI #GoogleGemini</li> </ul>AIATPEmacsFunctionalProgrammingGoogleGeminiHaskellIsabelleHOLITPLean4LeanProverMathSMTZ3https://jaalonso.github.io/vestigium/posts/2024/10/01-readings_shared_10-01-24/Tue, 01 Oct 2024 04:00:00 GMT