The readings shared in Bluesky on 25 September 2025 are:

• Formalization of Harder-Narasimhan theory. ~ Yijun Yuan. #ITP #LeanProver #Math
• Micrograd in Haskell: Evaluation and backward pass. ~ Ajeet Grewal #Haskell #FunctionalProgramming
• Gödel test: Can large language models solve easy conjectures? ~ Moran Feldman, Amin Karbasi. #LLMs #Math