https://danluu.com/symbolics-lisp-machines/
Also interesting bits about the fall of Symbolics, the AI winter, and why Lisp adoption waned as a result.