Conversation

Notices

1. Devine Lu Ator (neauoire@merveilles.town)'s status on Monday, 16-Jan-2023 14:15:37 JST Devine Lu Ator

   Taking a little break from working on Potato to implement a playground of Henry G. Baker's Reversible Pointer Automata.

   https://plover.com/~mjd/misc/hbaker-archive/ReverseGC.html

   I think I might go ahead and implement Joy's linear combinators too.

   http://tunes.org/~iepos/joy.html#linear

   • Adrian Cochrane repeated this.
   • Devine Lu Ator (neauoire@merveilles.town)'s status on Monday, 16-Jan-2023 14:15:36 JST Devine Lu Ator

     in reply to

     Looks like I'm implementing #joy afterall.
     http://tunes.org/~iepos/joy.html#linear

     Adrian Cochrane repeated this.
   • Devine Lu Ator (neauoire@merveilles.town)'s status on Tuesday, 17-Jan-2023 04:10:47 JST Devine Lu Ator

     in reply to

     Every operation has to have a mirror image.

     http://wiki.xxiivv.com/site/reversible_computing.html

     *cdr is not an allowed operation in this env, but I added it as a helper.