In reversible computing, a program is reversible, which means it can run either forward or backward. Reversible computing features energy efficiency, scalable fault tolerance, scalable debugging, and hardware-level differentiability.
From a physical perspective, I will show why reversible computing is the future of computing. From the software perspective, I will explain why reversible computing is an ideal platform for differential programming.
https://github.com/GiggleLiu/NiLang.jl
https://arxiv.org/abs/2003.04617