Readings shared November 16, 2024
The readings shared in Mastodon on 16 November 2024 are
- Readings shared November 15, 2024. #ITP #LeanProver #Math #SetTheory #Haskell #FunctionalProgramming #AI #LLMs
- Code with proofs: The Arena. #ITP #Lean4 #FunctionalProgramming
- The Turing Test and our shifting conceptions of intelligence. ~ Melanie Mitchell (@melaniemitchell.bsky.social). #AI
- Debates on the nature of artificial general intelligence. ~ Melanie Mitchell (@melaniemitchell.bsky.social). #AI
- Large Language Models. ~ Melanie Mitchell (@melaniemitchell.bsky.social). #AI #LLMs
- GitHub for mathematicians. ~ Steven Clontz. #Git #GitHub
- Code4math: Consortium of Digital Ecosystems for Mathematics. #Math