The readings shared in Mastodon on 17 October 2024 are

• Readings shared October 16, 2024. #AI #Education #FunctionalProgramming #Haskell #ITP #Lean4 #MachineLearning #Math1
• The Haskell Unfolder Episode 34: You already understand monads. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
• Ollama-haskell: Haskell bindings for Ollama. ~ Tushar Adhatrao. #Haskell #FunctionalProgramming #Ollama #LLMs
• Big advance on simple-sounding math problem was a century in the making. ~ Erica Klarreich (@EricaKlarreich). #Math
• Thinking about 12 aspects of personal information/knowledge management. ~ Sacha Chua (@sacha@social.sachachua.com). #Emacs #OrgMode
• Manual en español de GNU/Emacs 29.1. ~ Tano. #Emacs