Lisp machine
In 1979, he and Tom Knight were the main designers of the MIT Lisp machine. He founded Lisp Machines, Inc. (later renamed Gigamos Systems), according to his vision of an ideal hacker-friendly computer company, as opposed to the more commercial ideals of Symbolics.