The readings shared in Bluesky on 24 May 2025 are

• A formal proof of complexity bounds on diophantine equations. ~ Jonas Bayer, Marco David. #ITP #IsabelleHOL #Math
• Munta: A verified model checker for timed automata (in Isabelle/HOL). ~ Simon Wimmer. #ITP #IsabelleHOL
• Learning Physics with functional programming and Haskell. ~ Esteban Marín. #Haskell #FunctionalProgramming #Physics
• Is AI making coders obsolete? (Are there problems with having AI tools take over coding from humans?). ~ Jennifer Goforth Gregory. #AIforCode