| I'm unconvinced. >Means no more downtime,
no possibilities of censorship, be it from states or from companies. Wrong. >historically, patch-based systems have been very simple to learn and use, but slow, whereas snapshot-based systems can be extremely fast, but are usually hard to use for more than simple operations. As an example, cherry-picking is not intuitive in git/mercurial How is cherry-picking not intuitive? >Category theory has certainly been an inspiration for Pijul, but categories are neither algorithms nor data structures in themselves. In order to get the semantics we wanted, especially the handling of multiple files, rollbacks and unrecords, designing and implementing new algorithms and data structures was at least as useful as learning theoretical stuff. Yet another thing with relatively little practically use, but hey, it uses category theory! It must be good! Oh look, it's also functional! All of that said, props to Pierre-Étienne for putting in the time and effort to make this. He probably learned a lot. |