← Back to context

Comment by entaloneralie

17 days ago

Henry G. Baker wrote this paper titled "The Thermodynamics of Garbage Collection" in the 90s about linear logic, stack machines, reversibility and the cost of erasing information:

https://wiki.xxiivv.com/docs/baker_thermodynamics.html

A subset of FRACTRAN programs are reversible, and I would love to see rewriting computers as a potential avenue for reversible circuit building(similar to the STARAN cpu):

https://wiki.xxiivv.com/site/fractran.html#reversibility