The readings shared in Bluesky on 22 July 2025 are

• A parametricity-based formalization of semi-simplicial and semi-cubical sets. ~ Hugo Herbelin, Ramkumar Ramachandra. #ITP #Rocq
• Comparing codes: Image rotation (Mutable arrays in Haskell). ~ James Bowen. #Haskell #FunctionalProgramming #Rust
• Advanced version of Gemini with Deep Think officially achieves gold-medal standard at the International Mathematical Olympiad. #LLMs #Math #IMO