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:58 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2025/01/24-readings_shared_01-24-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 24 January 2025 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2025/01/23-readings_shared_01-23-25">Readings shared January 23, 2025</a>. #ITP #IsabelleHOL #LeanProver #Python #Programming #Math #AI #LLMs</li> <li><a href="https://arxiv.org/abs/2501.13712">Formally verified neurosymbolic trajectory learning via tensor-based linear temporal logic on finite traces</a>. ~ Mark Chevallier, Filip Smola, Richard Schmoetten, Jacques D. Fleuriot. #ITP #IsabelleHOL #NeuroSymbolicAI</li> <li><a href="https://reasonablypolymorphic.com/blog/code-lenses/">A new perspective on lenses</a>. ~ Sandy Maguire. #Haskell #FunctionalProgramming</li> <li><a href="https://jtobin.io/fast-haskell-redux">Fast Haskell, Redux</a>. ~ Jared Tobin. #Haskell #FunctionalProgramming</li> <li><a href="https://acatalepsie.fr/posts/making-my-life-easier-with-gadts.html">Making my life easier with GADTs</a>. ~ Lucas Escot. #Haskell #FunctionalProgramming</li> <li><a href="https://www.parsonsmatt.org/2025/01/21/making_my_life_harder_with_gadts.html">Making my life harder with GADTs</a>. Matt Parsons. #Haskell #FunctionalProgramming</li> <li><a href="http://systema10.org/posts/making-my-life-easier-with-two-gadts.html">Making my life easier with two GADTs</a>. ~ borar. #Haskell #FunctionalProgramming</li> <li><a href="https://laurentrdc.xyz/posts/HKTGenerics.html">Modeling dataframes in Haskell using higher-kinded types</a>. ~ Laurent P. René de Cotret. #Haskell #FunctionalProgramming</li> <li><a href="https://jezenthomas.com/2025/01/style-guide/">Supercede’s house style for Haskell</a>. ~ Jezen Thomas. #Haskell #FunctionalProgramming</li> <li><a href="https://well-typed.com/blog/2025/01/trace-foreign-calls/">Tracing foreign function invocations</a>. ~ Edsko de Vries, Zubin Duggal, Matthew Pickering. #Haskell #FunctionalProgramming</li> <li><a href="https://seldo.com/posts/what-ive-learned-about-writing-ai-apps-so-far">What I've learned about writing AI apps so far</a>. ~ Laurie Voss. #AI #LLMs</li> <li><a href="https://spectrum.ieee.org/ai-mistakes-schneier">AI mistakes are very different than human mistakes</a>. ~ Bruce Schneier, Nathan E. Sanders. #AI #LLMs #GenerativeAI</li> <li><a href="https://www.microsiervos.com/archivo/ia/como-trabajar-dia-dia-ia-no-morir-intento.html">Cómo trabajar en el día a día con una IA y no morir en el intento</a>. ~ @Alvy. #AI #LLMs</li> <li><a href="https://www.microsiervos.com/archivo/ia/deepseek-nuevo-modelo-ia-razonamiento-logico-resolucion-problemas-licencia-abierta-mit.html">DeepSeek: un nuevo modelo de IA especializado en razonamiento lógico, resolución de problemas y con licencia abierta MIT</a>. No tiene nada que envidiar a los de OpenAI. ~ @Alvy. #AI #LLMs #DeepSeek</li> <li><a href="https://www.deepseek.com">DeepSeek: Into the unknown (Free access to DeepSeek-V3)</a>. #AI #LLMs #DeepSeek</li> </ul>AIFunctionalProgrammingGenerativeAIHaskellIsabelleHOLITPLLMsNeuroSymbolicAIhttps://jaalonso.github.io/vestigium/posts/2025/01/24-readings_shared_01-24-25/Fri, 24 Jan 2025 04:00:00 GMThttps://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 10 January 2025 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2025/01/09-readings_shared_01-09-25">Readings shared January 9, 2025</a>. #ITP #LeanProver #Logic #Math #FunctionalProgramming #Haskell #JavaScript #Python #AI #NeuralNetwork #ChatGPT</li> <li><a href="https://jaalonso.github.io/exercitium/posts/2025/01/10-maxima_suma_de_caminos_en_un_triangulo/">#Exercitium: Máxima suma de caminos en un triángulo</a>. #Haskell #Python #Matemáticas</li> <li><a href="https://user.math.uzh.ch/cattaneo/bottoni.pdf">Teaching "Foundations of mathematics" with the LEAN theorem prover (Master's Thesis)</a>. #ITP #LeanProver #Logic #Math</li> <li><a href="https://aclanthology.org/D15-1118.pdf">Learning to automatically solve logic grid puzzles</a>. ~ Arindam Mitra, Chitta Baral (2015). #ASP #LogicProgramming</li> <li><a href="https://arxiv.org/abs/2501.05435">Neuro-symbolic AI in 2024: A systematic review</a>. ~ Brandon C. Colelough, William Regli. #AI #NeuroSymbolicAI</li> <li><a href="https://www.microsiervos.com/archivo/ia/comparador-modelos-inteligencia-artificial.html">Un comparador de modelos de Inteligencia Artificial</a>. ~ @Alvy. #AI #LLMs</li> </ul>AIASPHaskellITPLeanProverLLMsLogicLogicProgrammingMathNeuroSymbolicAIPythonhttps://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-25/Fri, 10 Jan 2025 04:00:00 GMT