The readings shared in Bluesky on 6 May 2025 are

• Sophie Germain’s theorem (in Isabelle/HOL). ~ Benoît Ballenghien. #ITP #IsabelleHOL #Math
• Recamán’s sequence. ~ John D. Cook. #Math #Python
• 25 useful tips for Emacs (for beginners and advanced users). Raoul Comninos. #Emacs