Post B5EBExJz4BIj9LYdGa by neauoire@merveilles.town
 (DIR) More posts by neauoire@merveilles.town
 (DIR) Post #B5E1UEEzRYccQVrjeK by neauoire@merveilles.town
       0 likes, 0 repeats
       
       I've always been interested in the connection between linear logic and reversibility, but lacked a language malleable enough so that reversibility could emerge naturally from its resource model rather than being bolted on top.Most programming languages I've come across are designed as if thermodynamics don't apply, and when it is considered, reversibility is either an afterthought or the language's entire point. In a linear resource model, every transformation must account for what it consumes, information cannot be silently acquired or discarded. Reversible computing might be a way toward zero energy dissipation, and this is how I choose to explore it!https://wiki.xxiivv.com/site/rejoice#reversibility
       
 (DIR) Post #B5EAcn8qSwYUZe9KQC by gustav@merveilles.town
       0 likes, 0 repeats
       
       @neauoire I love following this even though I don’t quite understand it!
       
 (DIR) Post #B5EBExJz4BIj9LYdGa by neauoire@merveilles.town
       0 likes, 0 repeats
       
       @gustav I'd love to help you understand the bits you don't, if you're interested :)
       
 (DIR) Post #B5EFMehsYgzRYDf3xY by gustav@merveilles.town
       0 likes, 0 repeats
       
       @neauoire Will ask some questions when I’ve had some time to read through the material, been a busy week :)