The readings shared in Bluesky on 9 February 2025 are

• What is a quotient? ~ Kevin Buzzard. #ITP #LeanProver #Math
• Systems correctness practices at AWS: Leveraging formal and semi-formal methods. ~ Marc Brooker, Ankush Desai. #FormalMethods #ITP #LeanProver
• Turner, Bird, Eratosthenes: An eternal burning thread. ~ Jeremy Gibbons. #Haskell #FunctionalProgramming
• Chatbot software begins to face fundamental limitations. ~ Anil Ananthaswamy. #LLMs