tag:blogger.com,1999:blog-11295132.post2958025555604848162..comments2007-03-19T10:03:21.838-07:00sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comBlogger3125tag:blogger.com,1999:blog-11295132.post-89322165460722369042007-03-19T10:03:00.000-07:002007-03-19T10:03:00.000-07:00gnaff,<BR/><BR/>Quantum computers *are* reversible computers and the Heat monad is essentially a heatsink. I'm not sure if the notion of a monad makes sense for actual reversible computers, but they're just the right thing to use in a simulation of one to cool your programs down.sigfpehttp://www.blogger.com/profile/08096190433222340957noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-70833753121716239562007-03-19T03:56:00.000-07:002007-03-19T03:56:00.000-07:00The Heat monad reminds me of what I've heard about reversible computing with gates that don't destroy bits of information - so when you have your result, you can reverse the calculation, or you have a set of bits which are to be destroyed, and they could go to a heat sink somewhere...<BR/><BR/>The Heat monad might be a way o controlling the destruction of information and thus the cooling needed for a CPUgnaffhttp://www.blogger.com/profile/17742070409534417521noreply@blogger.comtag:blogger.com,1999:blog-11295132.post-28491123068262650932007-03-19T03:55:00.000-07:002007-03-19T03:55:00.000-07:00Absolutely gorgeous stuff!Anonymousnoreply@blogger.com