Readings shared October 17, 2024
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, Andres Löh. #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. #Math
- Thinking about 12 aspects of personal information/knowledge management. ~ Sacha Chua. #Emacs #OrgMode
- Manual en español de GNU/Emacs 29.1. ~ Tano. #Emacs