[yawaramin]

The Lisp machine of today is MirageOS: https://mirage.io/

A unikernel that throws out the legacy of Unix and starts fresh to build a library operating system, it's exactly what OP describes:

> With lisp machines, we can cut out the complicated multi-language, multi library mess from the stack, eliminate memory leaks and questions of type safety, binary exploits, and millions of lines of sheer complexity that clog up modern computers.

Even better, Mirage is programmed in OCaml, which is basically a statically-typed facade over Lisp (or Scheme). That's the modern Lisp machine of today. It even takes care of security nightmares like this:

> Everything worked in a single address space, programs could talk to each other in ways operating systems of today couldn’t dream of.

Because in the Mirage model is program is a separate OS image and they can communicate only over defined service interfaces.