The readings shared in Bluesky on 25 May 2025 are

• Shallow expressions (in Isabelle/HOL). ~ Simon Foster. #ITP #IsabelleHOL
• Orgro: A mobile Org Mode file editor and viewer. #OrgMode