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:01 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/08/03-lecturas_compartidas_el_02-ago-24/José A. Alonso<p>Las lecturas compartidas en <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> el 2 de agosto de 2024 son</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/08/02-lecturas_compartidas_el_01-ago-24">Lecturas compartidas el 1 de agosto de 2024</a>. #ITP #Lean4 #Mathlib #Coq #Math #Haskell #FunctionalProgramming</li> <li><a href="https://arxiv.org/abs/2407.20406">Semialgebraic groups and generalized affine buildings</a>. ~ Raphael Appenzeller. #PhDThesis #ITP #LeanProver #Math</li> <li><a href="https://www.isa-afp.org/entries/Lie_Groups.html">Lie groups and algebras (in Isabelle/HOL)</a>. ~ Richard Schmoetten &amp; Jacques D. Fleuriot. #ITP #IsabelleHOL #Math</li> <li><a href="https://arxiv.org/abs/2408.00262">Semantical analysis of intuitionistic modal logics between CK and IK</a>. ~ Jim de Groot, Ian Shillito &amp; Ranald Clouston. #ITP #Coq #Logic</li> <li><a href="https://arxiv.org/abs/2006.09884">Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis</a>. ~ Grigory Devadze, Victor Magron &amp; Stefan Streif. #ITP #MinLog #Math</li> <li><a href="https://stax.strath.ac.uk/downloads/8c97kr00d">A framework for semiring-annotated type systems</a>. ~ James Wood. #ITP #Agda #TypeTheory</li> <li><a href="https://blog.poisson.chat/posts/2024-07-26-adt-history.html">Where does the name "algebraic data type" come from?</a> ~ Li-yao Xia. #FunctionalProgramming #Hope #Miranda</li> <li><a href="https://jappie.me/analyzing-haskell-stability.html">Analyzing Haskell stability</a>. ~ Jappie Klooster. #Haskell #FunctionalProgramming</li> <li><a href="https://injuly.in/blog/monoid-maybe">Data.Maybe, and thoughts on library design</a>. ~ Srijan Paul. #Haskell #FunctionalProgramming</li> <li><a href="https://www.funcas.es/wp-content/uploads/2024/07/PEE-180-WEB1.pdf#page=35">Esta vez sí: Con la IA, nada será igual en la Universidad</a>. ~ Mariano Fernández Enguita. #IA #Educación</li> <li><a href="https://www.funcas.es/wp-content/uploads/2024/07/PEE-180-WEB1.pdf#page=76">La demanda de educación superior ante el cambio tecnológico y la inteligencia artificial</a>. ~ José Ignacio Conde-Ruiz, Juan José Ganuza, Manu García y Carlos Victoria. #IA #Educación</li> <li><a href="https://www.funcas.es/wp-content/uploads/2024/07/PEE-180-WEB1.pdf#page=103">Inteligencia Artificial y capital humano: ¿Pueden estar en peligro sus complementariedades?</a> ~ Juan F. Jimeno y Ana Lamo. #IA</li> </ul>AgdaCoqFunctionalProgrammingHaskellHopeIsabelleHOLITPLeanProverLogicMathMinlogMirandahttps://jaalonso.github.io/vestigium/posts/2024/08/03-lecturas_compartidas_el_02-ago-24/Sat, 03 Aug 2024 04:00:00 GMT