https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 12:59:59 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/11/16-readings_shared_11-16-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 16 November 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/11/15-readings_shared_11-15-24">Readings shared November 15, 2024</a>. #ITP #LeanProver #Math #SetTheory #Haskell #FunctionalProgramming #AI #LLMs</li> <li><a href="https://tinyurl.com/23xrlngz">Code with proofs: The Arena</a>. #ITP #Lean4 #FunctionalProgramming</li> <li><a href="https://www.science.org/doi/10.1126/science.adq9356">The Turing Test and our shifting conceptions of intelligence</a>. ~ Melanie Mitchell. #AI</li> <li><a href="https://www.science.org/doi/10.1126/science.ado7069">Debates on the nature of artificial general intelligence</a>. ~ Melanie Mitchell. #AI</li> <li><a href="https://oecs.mit.edu/pub/zp5n8ivs/release/1?readingCollection=9dd2a47d">Large Language Models</a>. ~ Melanie Mitchell. #AI #LLMs</li> <li><a href="https://g4m.code4math.org/g4m.html">GitHub for mathematicians</a>. ~ Steven Clontz. #Git #GitHub</li> <li><a href="https://code4math.org/">Code4math: Consortium of Digital Ecosystems for Mathematics</a>. #Math</li> </ul>AIFunctionalProgrammingGitGitHubITPLean4LLMsMathhttps://jaalonso.github.io/vestigium/posts/2024/11/16-readings_shared_11-16-24/Sat, 16 Nov 2024 04:00:00 GMT