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/25-readings_shared_08-24-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on August 24, 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/08/24-readings_shared_08-23-24">Readings shared August 23, 2024</a>. #ITP #IsabelleHOL #LeanProver #Lean4 #AI #DeepLearning #Haskell #FunctionalProgramming #LogicProgramming #Python</li> <li><a href="https://cs.uwaterloo.ca/~plragde/flaneries/LACI/">Logic and computation intertwined</a>. ~ Prabhakar Ragde. #Logic #Racket #ITP #Coq #Agda</li> <li><a href="https://jpyamamoto.com/projects/dependent-types/dept.pdf">Tipos dependientes: λP</a>. ~ Juan Pablo Yamamoto Zazueta. #TypeTheory #CurryHoward</li> </ul>AgdaCoqCurryHowardITPLogicRacketTypeTheoryhttps://jaalonso.github.io/vestigium/posts/2024/08/25-readings_shared_08-24-24/Sun, 25 Aug 2024 04:00:00 GMThttps://jaalonso.github.io/vestigium/posts/2024/08/06-lecturas_compartidas_el_05-ago-24/José A. Alonso<p>Las lecturas compartidas en <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> el 5 de agosto de 2024 son</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/08/05-lecturas_compartidas_el_04-ago-24">Lecturas compartidas el 4 de agosto de 2024</a>. #ITP #IsabelleHOL #Diproche #Math</li> <li><a href="https://arxiv.org/abs/2408.00986">A SAT-based approach to rigorous verification of Bayesian networks</a>. ~ Ignacy Stępka, Nicholas Gisolfi &amp; Artur Dubrawski. #ATP #SAT</li> <li><a href="https://adueck.github.io/blog/on-haskell-jazz-and-pure-math/">Why does everyone hate Haskell, jazz, and pure math? ~ Adam Dueck</a>. #Haskell #FunctionalProgramming</li> <li><a href="https://adueck.github.io/blog/curry-howard-proofs-are-programs/">Proofs are programs: A few examples of the Curry-Howard correspondence</a>. ~ Adam Dueck. #CurryHoward #TypeScript</li> </ul>ATPCurryHowardFunctionalProgrammingHaskellSATTypeScripthttps://jaalonso.github.io/vestigium/posts/2024/08/06-lecturas_compartidas_el_05-ago-24/Tue, 06 Aug 2024 04:00:00 GMT