https://alok.github.io/assets/lean-position-paper.pdf

i talked about the lisp curse in this old paper. it's rough but explicitly mentions it