“Since we only needed 436 bytes, that means LISP has now outdistanced FORTH and BASIC to be the tiniest programming language in the world.”
A garbage-collected LISP now fits in a floppy boot sector with bytes to spare. It runs on any PC back to 1981 and can host the proof assistant from LISP 1.5. Your text editor ships a 200MB browser to show you a file. Size is a choice.