The readings shared in Mastodon on 25 November 2024 are

• Readings shared November 24, 2024. #ITP #Lean4 #Math #AI #LLMs #Programming #Education
• Cryptography experiments in Lean 4: SHA-3 implementation. ~ Gérald Doussot. #ITP #Lean4 #FunctionalProgramming
• Scaling up mechanized proof automation for small-step semantics. ~ Sandrine Blazy, Alain Delaët, Denis Merigoux. #ITP #Rocq
• Counting connected components of a graph. ~ Atabey Kaygun. #FunctionalProgramming #CommonLisp

The readings shared in Mastodon on 24 November 2024 are

• Readings shared November 23, 2024. #Math #SetTheory #Bluesky
• Lean: First steps (Appendix B - Libraries). ~ Tariq Rashid. #ITP #Lean4 #Math
• Lean: First steps (17 - Using our own lemma). ~ Tariq Rashid. #ITP #Lean4 #Math
• Papers with computer-checked proofs. ~ Daniel J. Bernstein. #ITP
• Does AI mean the end of teaching programming? ~ Alfred Thompson. #AI #Programming #Education
• Are Large Language Models memorizing bug benchmarks? ~ Daniel Ramos, Claudia Mamede, Kush Jain, Paulo Canelas, Catarina Gamboa, Claire Le Goues. #LLMs #Programming

The readings shared in Mastodon on 23 November 2024 are

• Readings shared November 22, 2024. #Logic #Math #FCA #ConExp #AI
• 'A place of joy': why scientists are joining the rush to Bluesky. ~ Smriti Mallapaty. #Bluesky
• Axiomatic set theory (Version of 23 November 2024). ~ Tom Leinster. #Math #SetTheory

The readings shared in Mastodon on 22 November 2024 are

• Readings shared November 21, 2024. #ITP #Lean4 #Coq #Haskell #OCaml #FunctionalProgramming #ITP #Prolog #LogicProgramming #Math
• The elementary theory of free Steiner triple systems. ~ Silvia Barbina, Enrique Casanovas. #Logic #Math
• FCA (Formal Concept Analysis) using the Concept Explorer in 2024. ~ Edith Vargas-GarcÍa, Andreas Wachtel. #FCA #ConExp
• Conferencia Leonardo Torres Quevedo: ¿Puede pensar una máquina? ~ Francisco A. González Redondo y Alfonso Hernando González. #AI

The readings shared in Mastodon on 21 November 2024 are

• Readings shared November 20, 2024. #ITP #Lean4 #Math #AI
• Lean4 and the Curry-Howard isomorphism. ~ Luis Wirth. #ITP #Lean4
• Repository for the conference "Lean For The Curious Mathematician 2024". #ITP #Lean4 #Math
• The denotational semantics of SSA. ~ Jad Elkhaleq Ghalayini, Neel Krishnaswami. #ITP #Lean4
• Tail modulo cons, OCaml, and relational separation logic. ~ Clément Allain, Frédéric Bour, Basile Clément, François Pottier, Gabriel Scherer. #ITP #Coq #OCaml #FunctionalProgramming
• Scientific computing with confidence using typed dimensions. ~ Laurent P. René de Cotret. #Haskell #FunctionalProgramming
• The Haskell Unfolder Episode 36: Concurrency and the FFI. ~ Edsko de Vries, Andres Löh. #Haskell #FunctionalProgramming
• The Prolog Trinity ecosystem (Extracts from the current manuscripts). ~ Torbjörn Lager. #Prolog #LogicProgramming
• Apuntes de programación lógica (Hasta Prolog y más allá). ~ Joaquín Arias. #Prolog #LogicProgramming

The readings shared in Mastodon on 20 November 2024 are

• Readings shared November 19, 2024. #ITP #Lean4 #Math #Haskell #FunctionalProgramming
• Anatomy of a formal proof. ~ Jeremy Avigad, Johan Commelin, Heather Macbeth, Adam Topaz. #ITP #Lean4 #Math
• A course of Algebra (Part I). ~ Aleksandr Aleksandrovich Zykov. #Math
• El aprendizaje automático ayuda a atacar problemas matemáticos clásicos. ~ Juanjo Rué y Ágata A. Timón. #AI #Math

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

The readings shared in Mastodon on 18 November 2024 are

• Readings shared November 17, 2024. #ITP #Coq #Haskell #CommonLisp #FunctionalProgramming #Python #Programming #CategoryTheory
• Do Large Language Models truly grasp mathematics? An empirical exploration from cognitive psychology. ~ Wei Xie, Shuoyoucheng Ma, Zhenhua Wang, Enze Wang, Kai Chen, Xiaobing Sun, Baosheng Wang. #LLMs #Math #Reasoning
• Monoid theory in Alonzo: A little theories formalization in simple type theory. ~ William M. Farmer, Dennis Y. Zvigelsky. #Logic #Math #TypeTheory

The readings shared in Mastodon on 17 November 2024 are

• Readings shared November 16, 2024. #ITP #Lean4 #FunctionalProgramming #Math #AI #LLMs #Git #GitHub
• Designing proof deautomation for Coq. ~ Jessica Shi, Cassia Torczon, Harrison Goldstein, Andrew Head, Benjamin C. Pierce. #ITP #Coq
• Type-checking and type-inference. ~ René Thiemann. #Haskell #FunctionalProgramming
• Type-inference in Haskell, kinds and explicit foralls. ~ René Thiemann. #Haskell #FunctionalProgramming
• Functors, record syntax, case study: a simple parser. ~ René Thiemann. #Haskell #FunctionalProgramming
• Monads in general, state monads. ~ René Thiemann. #Haskell #FunctionalProgramming
• Evaluation of monadic code, example: Tseitin, error monads. ~ René Thiemann. #Haskell #FunctionalProgramming
• Parsing in general, Parsec. ~ René Thiemann. #Haskell #FunctionalProgramming
• Number of isomorphism classes of ternary trees. ~ Atabey Kaygun. #FunctionalProgramming #CommonLisp
• Sieves and sheaves. ~ Bartosz Milewski. #CategoryTheory
• Python is no more the king of data science (5 reasons why Python is losing its crown). ~ Abdur Rahman. #Python #Programming

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. #AI
• Debates on the nature of artificial general intelligence. ~ Melanie Mitchell. #AI
• Large Language Models. ~ Melanie Mitchell. #AI #LLMs
• GitHub for mathematicians. ~ Steven Clontz. #Git #GitHub
• Code4math: Consortium of Digital Ecosystems for Mathematics. #Math