The readings shared in Mastodon on 16 October 2024 are

• Readings shared October 15, 2024. #AI #ChatGPT #Emacs #FunctionalProgramming #GeoGebra #Haskell #ITP #LambdaCalculus #Lean4 #LeanProver #LogicProgramming #Math #OrgMode #Prolog
• Lean: First steps (13 - Disquality). ~ Tariq Rashid (@rzeta0@mastodon.social) #ITP #Lean4 #Math
• Munihac WASM experiment: convert Haskell expressions to pointfree in your browser. ~ Sergey Vinokurov (@5ergv). #Haskell #FunctionalProgramming
• Por qué debemos enseñar Machine Learning en todos los títulos universitarios. ~ Manuel de León Rodríguez y Rodrigo Trujillo González. #Education #AI #MachineLearning