The readings shared in Bluesky on 22 April 2025 are

• The inverse method is a good fit for Datalog theorem proving. ~ Philip Zucker. #Datalog #Logic
• In between myth and reality: AI for math (a case study in category theory). ~ Răzvan Diaconescu. #LLMs #Math
• #Exercitium: Cuadrado más cercano. #Haskell #Python #CommonLisp
• [#Calculemus: Demostraciones con Lean4 y con Isabelle/HOL de "f[s] ∩ t = f[s ∩ f⁻¹t"]]. #LeanProver #IsabelleHOL #Math