The readings shared in Bluesky on 31 October 2025 are:

• Virasoro algebra and Sugawara constructions formally in Lean. ~ Kalle Kytölä. #ITP #LeanProver #Math
• Derivation of fundamental physical constants from substrate ontology. ~ Matthew Scherf. #ITP #LeanProver #Physics
• Conjecture extraction for proof autoformalization. ~ Simon Sorg, Wenda Li, Soumya Banerjee. #AI #Math #ITP #LeanProver #Autoformalization
• Accelerating discovery with the AI for Math Initiative (The initiative brings together some of the world's most prestigious research institutions to pioneer the use of AI in mathematical research). ~ Pushmeet Kohli, Eugénie Rives. #AI #Math
• GenAI for computing careers: A sunny take (Positive outcomes for computer science graduates will take some determined action from both educators and learners). ~ Saurabh Bagchi. #GenAI #CompSci #Education
• #Exercitium: Extensión de un fichero. #Haskell #ProgramaciónFuncional