Note to libera.chat common lispers:
A lot of confusion can be avoided if you take #cl or #commonlisp and leave #lisp for the lisp family discussions like ##lisp on freenode.
Thinking about this #ZetZ thing (https://www.infoq.com/news/2020/02/zz-formal-verified-c-dialect/) which seems to be C with an additional theorem prover language. It's a very cool idea for a very specific low-level use case.
As a #lisp programmer, I can't help but wince every time someone mentions "the lambda calculus."
If you are interested in #compilers, this lovely little paper will get you started making a bare-bones #Scheme-to-x86 compiler incrementally. http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf I worked through it using Common #Lisp and it was amazing.
The common sort of #lisp hacker, #MartialArtist, spiritual nomad, and father. I like #conlangs, #coding, and #BeeKeeping. I live near #boston. I run the cantos.social instance.