The readings shared in Bluesky on 02 October 2025 are:

• Digitalizing physics into Lean 4. ~ Joseph Tooby-Smith. #ITP #LeanProver #Physics #Math
• A very early history of algebraic data types. ~ Hillel Wayne. #FunctionalProgramming
• The Haskell Unfolder Episode 48: Safe coercions. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming