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/15-readings_shared_10-15-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 15 October 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/10/13-readings_shared_10-13-24">Readings shared October 13, 2024</a>. #AI #CategoryTheory #Coq #Education #FunctionalProgramming #Haskell #ITP #ITP</li> <li><a href="https://www.mdpi.com/2073-431X/13/8/187">On using GeoGebra and ChatGPT for geometric discovery</a>. ~ Francisco Botana, Tomás Recio, María Pilar Vélez. #GeoGebra #ChatGPT #Math #AI</li> <li><a href="https://leanfirststeps.blogspot.com/2024/10/12-odd-even.html">Lean: First steps (12 - Odd &amp; Even )</a>. ~ Tariq Rashid #ITP #Lean4 #Math</li> <li><a href="https://www.youtube.com/@LeanFirstSteps">Tutorial videos for the course "Lean: First Steps"</a>. ~ Tariq Rashid. #ITP #Lean4 #Math</li> <li><a href="https://thebook.zib.de/graph%20theory/2024/10/11/handshaking-lemma.html">The handshaking lemma</a>. ~ Christoph Spiegel. #ITP #LeanProver #Lean4 #Math</li> <li><a href="https://nicaudinet.github.io/2024/10/14/watersort-haskell/">Water sort in Haskell</a>. ~ Nicolas Audinet de Pieuchon. #Haskell #FunctionalProgramming</li> <li><a href="https://www.metalevel.at/prolog">The power of Prolog</a>. ~ Markus Triska. #Prolog #LogicProgramming</li> <li><a href="https://jaalonso.github.io/materias/PLconProlog/temas/tema-9.html">Programación lógica con restricciones</a>. #Prolog #LogicProgramming</li> <li><a href="https://www.cs.us.es/~jalonso/apuntes/Emacs_para_ciencias_del_dato/Emacs_para_ciencias_del_dato.html">Emacs para ciencias del dato</a>. #Emacs #OrgMode</li> <li><a href="https://lawrencecpaulson.github.io/2024/10/14/Church_Rosser.html">The λ-calculus, 2: The Church-Rosser theorem</a>. ~ Lawrence Paulson. #LambdaCalculus</li> </ul>AIChatGPTEmacsFunctionalProgrammingGeoGebraHaskellITPLambdaCalculusLean4LeanProverLogicProgrammingMathOrgModeProloghttps://jaalonso.github.io/vestigium/posts/2024/10/15-readings_shared_10-15-24/Tue, 15 Oct 2024 04:00:00 GMT