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/17-readings_shared_10-17-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 17 October 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/10/16-readings_shared_10-16-24">Readings shared October 16, 2024</a>. #AI #Education #FunctionalProgramming #Haskell #ITP #Lean4 #MachineLearning #Math1</li> <li><a href="https://www.youtube.com/live/n5ZtsHrYWq0">The Haskell Unfolder Episode 34: You already understand monads</a>. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming</li> <li><a href="https://github.com/tusharad/ollama-haskell">Ollama-haskell: Haskell bindings for Ollama</a>. ~ Tushar Adhatrao. #Haskell #FunctionalProgramming #Ollama #LLMs</li> <li><a href="https://www.quantamagazine.org/big-advance-on-simple-sounding-math-problem-was-a-century-in-the-making-20241014/">Big advance on simple-sounding math problem was a century in the making</a>. ~ Erica Klarreich. #Math</li> <li><a href="https://sachachua.com/blog/2024/10/thinking-about-12-aspects-of-personal-information-knowledge-management/">Thinking about 12 aspects of personal information/knowledge management</a>. ~ Sacha Chua. #Emacs #OrgMode</li> <li><a href="https://texto-plano.xyz/~tano/archivos-sphinx">Manual en español de GNU/Emacs 29.1</a>. ~ Tano. #Emacs</li> </ul>EmacsFunctionalProgrammingHaskellLLMsMathOllamaOrgModehttps://jaalonso.github.io/vestigium/posts/2024/10/17-readings_shared_10-17-24/Thu, 17 Oct 2024 04:00:00 GMT