Readings shared March 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/24-readings_shared_03-24-25 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Lisp #LogicProgramming #MachineLearning #Math #Otter #Prolog #Prover9
@Jose_A_Alonso I always look forward to the #lisp you turn up https://borretti.me/article/why-lisp-syntax-works
On uniform vs. specific syntax.
Sign in to follow profiles or hashtags, favourite, share and reply to posts. You can also interact from your account on a different server.