I am reading Semantics Engineering with PLT Redex and would be interested in discussing chapters and exercises. I have read through to Part 2, so would be open to starting from the beginning of Part 1, or starting from the beginning of Part 2.
As a separate idea, I would be interested in a slow reading of "A Nanopass Framework for Compiler Education" and potential offshoot projects to attempt to practice the methodology.
I would be interested in going through The Little Typer or The Little Prover. I might join @michaelrauh's idea of Semantics Engineering, I've always been intrigued by Redex, but more for automating other modeling workflows than PL-related ones. Good book/article on probabilistic programming would be interesting too.
Finally, PAIP (Paradigms in Artificial Intelligence Programming) by Norvig has been on my list for ages - it really isn't about AI, or rather, it is about old-school AI. But I really liked the exposition (I got to chapter 8 some years ago), and it's in Common Lisp. It's fairly long, so one would have to pick a subpart, and for many people I'd expect it to be too elementary.
This is fantastic! Thank you! In that case I would recommend as a book either the Redex book or this Essentials of Compilation book you have just linked.
For those following, that's the chapter reconstructing GPS - the general problem solver (which obviously did not turn out to be a general problem solver at all).
I’ve dusted off an old copy of paip and started on chapter 4. (Converting Common LISP to Racket is tricky if you don’t know Common LISP, so I’ve ended up looking at chapters 1 to 3)
The point of a book club is to have some discussion- , should discussion take place here, Slack or discord?