The whole #github thing (no I'm not using any sleep over it ^^) re-kindled more interest int #darcs :3 "A formalization of #darcs patch theory using" inverse semigroups ftp://ftp.math.ucla.edu/pub/camreport/cam09-83.pdf
Show this thread
-
I was using Darcs around 2005/6. I have vague memories of trying to discover dependencies between patches by virtue only of which questions its interactive API would ask me...
...but I agree it was groundbreaking. I had aspirations of using the theory of patches in an eventually-consistent distributed database. I was way ahead of my time... mainly in the sense that I really wasn't equipped with the knowledge/experience to attempt anything so ambitious.
-
-
I remember checking the Darcs system and its "theory of patches" but back then there was no formalisation of it, it was just "hey, this looks sensible let's call it theory" (although my memory of it is very vague)
-
That was enough for me. ;)
- Show replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.