Which might be a Scheme CPU formally derived and verified via LISP-based tech: https://www.cs.indiana.edu/pub/techreports/TR413.pdf https://www.cs.indiana.edu/

Which might be a Scheme CPU formally derived and verified via LISP-based tech: https://www.cs.indiana.edu/pub/techreports/TR413.pdf https://www.cs.indiana.edu/pub/techreports/TR413.pdf Or recently this way: http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf http://scheme2006.cs.uchicago.edu/05-saint-mleux.pdf Interesting enough, the primitive versions of LISP that aren't high-performance (i.e. advanced compilers) could probably be done by hand in hardware where the whole thing was bootstrapped up with LISP-only tech. The LISP would start/stop at the abstract, state machines or RTL of the bootstrapped version. EDIT: Good luck on making it through the hurricane. Feel for yall out there.