[HN Gopher] A Lisp Interpreter Implemented in Conway's Game of L...
       ___________________________________________________________________
        
       A Lisp Interpreter Implemented in Conway's Game of Life (2021)
        
       Author : pabs3
       Score  : 84 points
       Date   : 2025-12-13 03:06 UTC (19 hours ago)
        
 (HTM) web link (woodrush.github.io)
 (TXT) w3m dump (woodrush.github.io)
        
       | dang wrote:
       | Related. Others?
       | 
       |  _A Lisp interpreter implemented in Conway 's Game of Life
       | (2021)_ - https://news.ycombinator.com/item?id=34266240 - Jan
       | 2023 (25 comments)
       | 
       |  _A Lisp Interpreter Implemented in Conway 's Game of Life_ -
       | https://news.ycombinator.com/item?id=29661616 - Dec 2021 (85
       | comments)
        
       | Xmd5a wrote:
       | https://www.cambridge.org/core/books/abs/algorithmic-informa...
       | 
       | I - Formalisms for Computation: Register Machines, Exponential
       | Diophantine Equations, & Pure LISP
       | 
       | Gregory. J. Chaitin
       | 
       | > And in Chapter 4 we present a register machine interpreter for
       | this LISP, and then compile it into a diophantine equation.
        
       | forgotpwd16 wrote:
       | Since although details given, it isn't explicitly stated, ELVM is
       | an infrastructure with an 8cc front-end, a simple IR, and
       | multiple target back-ends which, alongside others, include
       | QFTASM, that article is about, brainfuck, and lambda / binary
       | lambda calculus. Essentially you can write code in C and have it
       | compiled to bunch of weird targets.
       | 
       | Mentioning the last one (same model, different encoding
       | basically) because that guy (@woodrush*) also made a Lisp to
       | l-calculus expressions compiler which then used to make a Lisp
       | interpreter expressed in l-calculus (which can evaluate
       | aforementioned compiler and also has an a l-calculus interpreter
       | implementation available**) and a VM for a Lisp/ELVM-like
       | assembly. The l ELVM backend was made possible integrating this
       | VM in ELVM. And, of course using his own contributed backend, had
       | an 8cc-based C compiler expressed in l-calculus.
       | 
       | *If want a drink game to get drunk asap, "take a shot for every
       | l" in @woodrush Lambda projects is a strong option.
       | 
       | **For extra inception points, can use it to run 2012 Tromp's l
       | self-interpreter.
        
       ___________________________________________________________________
       (page generated 2025-12-13 23:00 UTC)