lainchan / λ

lisp knight machine

Frank Garza · 2022-08-18 12:57
are there any schematics for this available?
Eldon Tyrell · 2022-08-18 13:02
>>32437 by this i mean the knight machine from lain, not the symbolics 3640 in the op image.
SHODAN · 2022-08-20 09:45
>>32437 You have ``AI Working Paper 80'' from Knight, which describes the CONS micro-processor in the machine which is what you are interested in I'm sure. The copy I have, that is attached to this post, is a draft but seems more than complete enough for a modern Verilog implementation. The actual schematics used to build the machine probably exist guarded by the MIT shrine maidens (MIT has a very large personal archive of work that has not been fully categorized and set free yet). If you want to look past the Knight Machine, research exploded after Sussman and Steele's ``LAMBDA: The Ultimate Opcode''. From there you have a lot you can read about; the MIT CADR, the entire line of SCHEME chips, some Prolog machines, and the G-Machine (which is still alive inside of Haskell's GHC).