The readings shared in Bluesky on 2 June 2025 are

• Regex decision procedures in extended RE#. ~ Ian Erik Varatalu et als. #ITP #LeanProver
• Learn physics with functional programming. ~ Esteban Marin. #Haskell #FunctionalProgramming #Physics