The readings shared in Mastodon on September 19, 2024 are

• Readings shared September 18, 2024. #ITP #IsabelleHOL
• An imperative language for verified exact real-number computation. ~ Andrej Bauer, Sewon Park & Alex Simpson. #ITP #Coq #Math
• The Haskell Unfolder Episode 32: Solving tic-tac-toe. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus@functional.cafe). #Haskell #FunctionalProgramming
• What is logic-based/logicist AI? (Its history). ~ Selmer Bringsjord. #Logic #AI
• The failure of Deep Learning (GPT-4o bites the dust). ~ Selmer Bringsjord. #Logic #AI
• AI should challenge, not obey (Let’s transform our robot secretaries into Socratic gadflies). ~ Advait Sarkar. #AI #CriticalThinking
• La mecánica cuántica explicada de otra forma fácil de entender y en su contexto histórico. ~ @Alvy. #Física