The readings shared in Mastodon on 25 October 2024 are

• A formal characterization of discrete condensed objects. ~ Dagur Asgeirsson. #ITP #LeanProver #Math
• Formalization of differential privacy in Isabelle/HOL. ~ Tetsuya Sato, Yasuhiko Minamide. #ITP #IsabelleHOL
• A formalization of Borel determinacy in Lean. ~ #ITP #LeanProver #Math
• Brownian motion in Isabelle/HOL. ~ Christian Pardillo Laursen, Simon Foster, Mark Post. #ITP #IsabelleHOL
• Teaching pure LP with Prolog and a fair search rule. ~ Manuel V. Hermenegildo, Jose F. Morales, Pedro Lopez-Garcia. #Prolog #LogicProgramming
• General game playing - Killer app for logic programming. ~ Michael Genesereth. #Prolog #LogicProgramming
• Teaching Prolog through grammars. ~ David S. Warren. #Prolog #LogicProgramming
• From logic programming to programming in Logica: A first-course in declarative data science & engineering. ~ Evgeny Skvortsov, Yilin Xia, Shawn Bowers & Bertram Ludäscher. #LogicProgramming #Logica
• Logica: language of Big Data. ~ Evgeny Skvortsov et als. #LogicProgramming #Logica
• Democratising access to logic programming: A Web application design tool for querying Prolog code. ~ Santiago Andrés Villarroel, Christian Nelson Gimenez, Jorge Pablo Rodríguez, Laura Andrea Cecchi. #Prolog #LogicProgramming
• Computational thinking with logic programming. ~ Gopal Gupta, Elmer Salazar, Joaquín Arias. #ASP #LogicProgramming
• Generative logic: Teaching Prolog as Generative AI in art and design. ~ Christian Jendreiko. #Prolog #LogicProgramming #GenerativeAI
• Controlled natural language models. ~ Jacinto A. Dávila Quintero. #LLMs #Prolog #LogicProgramming
• On teaching logic programming in the era of generative AI. ~ Paul Tarau. #Prolog #LogicProgramming #GenerativeAI
• Bringing logic programming to primary school: a teacher training course. ~ Laura Andrea Cecchi, Jorge Pablo Rodríguez. #Prolog #LogicProgramming #Education
• On teaching constraint-based modeling and algorithms for decision support in Prolog. ~ François Fages. #CLP #LogicProgramming
• Desarrollo de sistema de resolución de rompecabezas en ASP mediante el uso de LLM. ~ Pedro Pazos Curra. #ASP #LLMs
• Verifying the Rust Standard Library. ~ Rahul Kumar et als. #Rust #Verification