The readings shared in Mastodon on 15 November 2024 are

• Readings shared November 14, 2024. #ITP #LeanProver #Coq #ATP #Logic #Math #Haskell #FunctionalProgramming #FormalMethods #CompSci #Education #RustLang #AI #LLMs
• Formalizing the divided power envelope in Lean. ~ María Inés de Frutos Fernández. #ITP #LeanProver #Math
• The Haskell inlining and specialization FAQ. ~ Gabriella Gonzalez (@GabriellaG439). #Haskell #FunctionalProgramming
• Axiomatic set theory (Version of 9 November 2024). ~ Tom Leinster. #Math #SetTheory
• The metaphors of artificial intelligence. ~ Melanie Mitchell. #AI #LLMs