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):
No comments yet
Contribute on Hacker News ↗