#commonlisp
1
From github.io
Readings shared January 18, 2025
1 1
The readings shared in Bluesky on 18 January 2025 are Readings shared January 17, 2025. #Haskell #Python #ITP #Coq #Rocq #LeanProver #Logic #Math #AI #LLMs #Reasoning #Exercitium: Mastermind. #Haske
#AI #ITP #coq #LLMs #math #rocq #logic #python #haskell #commonlisp
10h ago
1
From itch.io
A sidescrolling game as a Pratt parser - lispmoo2 by screwtape
1 1
1. NUD is my movement towards a Pratt parser. Tbh, I was having a lot of difficulty with where-to-put the lisp code parsed from new-grammar-language. So I wrote a silly program first, themed around mo...
#game #itch #lisp #repl #parser #gamedev #itch_io #commonlisp #sidescrolling #textadventure
20h ago