Viewing profile — GiggleLiu

> What if the reversibility of a program was implemented at the function level? Are you finding NiLang? - an embedded domain specific language in Julia for creating reversible func…

It is not clever to build a completely reversible computer. No one wants to undo the computing to erase the disk after training a neural network for a month. Reversible computing i…

Nice project, please also check this notebook of Billiard ball model cellular automata (BBMCA) in NiLang: https://giggleliu.github.io/NiLang.jl/dev/notebooks/margolus... . BBMCA is…

According to [Michael Frank's video]( https://youtu.be/IQZ_bQbxSXk?t=547 ), there is an architectural overhead of ~500x that people can not get over (IIUC, this overhead only appli…

Graph embedding example is not missing, it in the appendix of the paper's master branch: https://github.com/GiggleLiu/nilangpaper/blob/master/invc.pd... The source code is availabl…

This is the latest NiLang tutorial notebook: https://github.com/JuliaReverse/NiLangTutorial

Snapshots can be freed through reverse computing in NiLang. Reverse computing has subtle relationship with checkpointing, see author's blog: https://nextjournal.com/giggle/reverse-…

Thanks for the link to the paper, also check the latest version here: https://github.com/GiggleLiu/nilangpaper/blob/master/invc.pd...

1. Scalar level Various benchmarks (including those in the paper) show NiLang is much better than Zygote to differentiate scalar functions. And Zygote is much faster than TF and Py…

Very good question. Floating point `+=` and `-=` are not exactly reversible. This is the only approximation that we have made in NiLang. To compile NiLang to a reversible device (r…

NiLang requires every instruction being reversible, e.g. `SWAP` and `y += f(args...)`. The back-propagation is implemented on a limited instruction set. It is different with Neural…

The github page is https://github.com/GiggleLiu/NiLang.jl . Search “Reversible Computing” and “Reversible programming” for more discussions about reversible programming in Hacker n…