The readings shared in Bluesky on 11 January 2025 are

• Readings shared January 10, 2025. #ITP #LeanProver #Logic #Math #Haskell #Python #ASP #LogicProgramming #AI #NeuroSymbolicAI #LLMs
• #Exercitium: Números amigos. #Haskell #Python #Matemáticas
• Categories and Haskell (An introduction to the mathematics behind modern functional programming). ~ Jan-Willem Buurlage. #CategoryTheory #Haskell #FunctionalProgramming
• LeanUniverse: A library for consistent and scalable Lean4 dataset management. ~ Aram H. Markosyan, Gabriel Synnaeve, Hugh Leather. #ITP #LeanProver
• Proxy-based small inversions: a case study in MetaCoq programming. ~ Pierre Corbineau, Basile Gros, Jean-François Monin. #ITP #Coq #Rocq
• On the correctness of Barron and Strachey’s cartesian product function. ~ Wouter Swierstra, Jason Hemann. #Haskell #FunctionalProgramming #ITP #Agda
• Alpha beta pruning with the selection monad. ~ Johannes Hartmann, Jeremy Gibbons. #Haskell #FunctionalProgramming
• Using GHC core to normalise student programs. ~ Matilda Blomqvist, Alex Gerdes. #Haskell #FunctionalProgramming
• Shallowly embedded functions. ~ Mart Lubbers, Pieter Koopman, Niek Janssen. #Haskell #FunctionalProgramming
• CoScheme: Compositional copatterns in Scheme. ~ Paul Downen, Adriano Corbelino II. #FunctionalProgramming
• Assessment in computer science education in the GenAI era (Prioritizing critical thinking over syntax mastery). ~ Orit Hazzan. #ComputerSci #Education #GenAI