The readings shared in Bluesky on 1 July 2025 are

• Diophantine equations over Z: Universal bounds and parallel formalization. ~ Jonas Bayer, Marco David, Malte Hassler, Yuri Matiyasevich, Dierk Schleicher. #ITP #IsabelleHOL #Math
• Solutions to Tao's "Analysis I". ~ Dan Abramov. #ITP #LeanProver #Math
• The best new programming language is a proof assistant. ~ Harry Goldstein. #ITP #LeanProver
• Reseña de «Diophantine equations over Z: Universal bounds and parallel formalization». #ITP #IsabelleHOL #Math