The readings shared in Mastodon on 19 November 2024 are

• Readings shared November 18, 2024. #LLMs #Math #Reasoning #Logic #TypeTheory
• Formalising the local compactness of the adele ring. ~ Salvatore Mercuri. #ITP #Lean4 #Math
• Competitive programming in Haskell: Union-Find, part II. ~ Brent Yorgey. #Haskell #FunctionalProgramming