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/2025/01/11-readings_shared_01-11-25/José A. Alonso<p>The readings shared in <a href="https://bsky.app/profile/jalonso.bsky.social">Bluesky</a> on 11 January 2025 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-25">Readings shared January 10, 2025</a>. #ITP #LeanProver #Logic #Math #Haskell #Python #ASP #LogicProgramming #AI #NeuroSymbolicAI #LLMs</li> <li><a href="https://jaalonso.github.io/exercitium/posts/2025/01/11-numeros_amigos/">#Exercitium: Números amigos</a>. #Haskell #Python #Matemáticas</li> <li><a href="https://raw.githubusercontent.com/jwbuurlage/category-theory-programmers/master/doc/categories_for_programmers.pdf">Categories and Haskell (An introduction to the mathematics behind modern functional programming)</a>. ~ Jan-Willem Buurlage. #CategoryTheory #Haskell #FunctionalProgramming</li> <li><a href="https://github.com/facebookresearch/LeanUniverse">LeanUniverse: A library for consistent and scalable Lean4 dataset management</a>. ~ Aram H. Markosyan, Gabriel Synnaeve, Hugh Leather. #ITP #LeanProver</li> <li><a href="https://hal.science/hal-04859450v1/file/jfla2025-final36.pdf">Proxy-based small inversions: a case study in MetaCoq programming</a>. ~ Pierre Corbineau, Basile Gros, Jean-François Monin. #ITP #Coq #Rocq</li> <li><a href="https://trendsfp.github.io/abstracts/paper-006.pdf">On the correctness of Barron and Strachey’s cartesian product function</a>. ~ Wouter Swierstra, Jason Hemann. #Haskell #FunctionalProgramming #ITP #Agda</li> <li><a href="https://trendsfp.github.io/abstracts/paper-028.pdf">Alpha beta pruning with the selection monad</a>. ~ Johannes Hartmann, Jeremy Gibbons. #Haskell #FunctionalProgramming</li> <li><a href="https://trendsfp.github.io/abstracts/paper-012.pdf">Using GHC core to normalise student programs</a>. ~ Matilda Blomqvist, Alex Gerdes. #Haskell #FunctionalProgramming</li> <li><a href="https://trendsfp.github.io/abstracts/paper-007.pdf">Shallowly embedded functions</a>. ~ Mart Lubbers, Pieter Koopman, Niek Janssen. #Haskell #FunctionalProgramming</li> <li><a href="https://trendsfp.github.io/abstracts/paper-010.pdf">CoScheme: Compositional copatterns in Scheme</a>. ~ Paul Downen, Adriano Corbelino II. #FunctionalProgramming</li> <li><a href="https://cacm.acm.org/blogcacm/assessment-in-computer-science-education-in-the-genai-era/">Assessment in computer science education in the GenAI era (Prioritizing critical thinking over syntax mastery)</a>. ~ Orit Hazzan. #ComputerSci #Education #GenAI</li> </ul>AgdaCategoryTheoryComputerSciCoqEducationFunctionalProgrammingGenAIHaskellITPLeanProverMathPythonRocqhttps://jaalonso.github.io/vestigium/posts/2025/01/11-readings_shared_01-11-25/Sat, 11 Jan 2025 04:00:00 GMT