The readings shared in Bluesky on 13 July 2025 are

• Formalizing quasi-categories in Lean. ~ Jack McKoen. #ITP #LeanProver
• A simple AI chatbot (ChatGPT clone) built entirely in Haskell. ~ Tushar Adhatrao. #Haskell #FunctionalProgramming #LLMs