The readings shared in Bluesky on 27 December 2024 are

• Readings shared December 26, 2024. #Haskell #Python #Math
• A generalization of the Cauchy–Davenport theorem (in Isabelle/HOL). ~ Mantas Bakšys. #ITP #IsabelleHOL #Math
• Formally verified approximate policy iteration. ~ Maximilian Schäffeler, Mohammad Abdulaziz. #ITP #IsabelleHOL
• Myths of mathematics teaching. ~ Daniel J. Velleman. #Math #Teaching
• Mathematics and machine creativity: A survey on bridging mathematics with AI. ~ Shizhe Liang, Wei Zhang, Tianyang Zhong. #AI #LLMs #Math
• AI: Beyond the headlines (The hype surrounding artificial intelligence has created misconceptions that may lead to missed opportunities). ~ Erdin Beshimov. #AI
• Dibujando figuras con Emacs. ~ Notxor. #Emacs