Hacker News new | ask | show | jobs
by MarkMMullin 2447 days ago
All the experience I had was theorem proving for crypto apps - that said, I think there is only the appearance of reversibility at the symbolic level, underneath its the same old mess - I vaguely recall that at full tilt, the room with all the Suns would get quite toasty . :-)