This might help https://malisper.me/category/debugging-common-lisp/

I am not aware of another lang/platform that can offer this kind of flexibility except may be Smalltalk or Erlang, but then they don't have the homoiconicity.

This is great, thanks for the link.

Probability Theory: The Logic of Science by E. T. Jaynes.

I wonder why not much is done to bring high performance scientific computing to common lisp. There are some interesting projects I was able to find like https://github.com/clasp-developers/clasp and https://github.com/marcoheisig/Petalisp and https://github.com/takagi/avm. But I guess it would be good to have a coordinated effort in this area.

Check this out. https://docs.julialang.org/en/v1/devdocs/boundscheck/