Number V: Federati N5
  • Login
Number V: Federati N5 is Temporarily the Test site for Federati Networks' GNU social N-Series instances.
  • Public

    • Public
    • Groups
    • Recent tags
    • Popular
    • People

Notices tagged with darcs

  1. Nobody [LinuxWalt (@lnxw48a1)] (lnxw48a1@nu.federati.net)'s status on Friday, 11-Dec-2020 20:31:42 UTC Nobody [LinuxWalt (@lnxw48a1)] Nobody [LinuxWalt (@lnxw48a1)]
    Remote profile options...
    Okay, I think I'm going to temporarily stop the efforts to install #Pijul #scm #vcs ... the forum suggests that installing the latest Rustup would fix things, but there's a checksum error showing up.

    On the other hand, I now have a current version of #Darcs installed (on Windows; the Ubuntu repositories only have 2.14).

    I'll play around with it a little.
    In conversation about a month ago from nu.federati.net permalink
  2. Nobody [LinuxWalt (@lnxw48a1)] (lnxw48a1@nu.federati.net)'s status on Friday, 11-Dec-2020 05:47:55 UTC Nobody [LinuxWalt (@lnxw48a1)] Nobody [LinuxWalt (@lnxw48a1)]
    Remote profile options...
    in reply to
    • Nobody [LinuxWalt (@lnxw48a1)]
    So the #Pijul compile failed on both operating systems.

    The #Darcs compile finished successfully.
    In conversation about a month ago from nu.federati.net permalink
  3. Nobody [LinuxWalt (@lnxw48a1)] (lnxw48a1@nu.federati.net)'s status on Friday, 11-Dec-2020 05:31:49 UTC Nobody [LinuxWalt (@lnxw48a1)] Nobody [LinuxWalt (@lnxw48a1)]
    Remote profile options...
    • Brandon Hall
    @bthall had some problems compiling #Pijul, so I’m testing it. On the Win10 machine, it failed on libsodium. On Kubuntu, it is still going, with all 4 CPU cores pegged at 98%+ and using all the swap.

    I also noticed that the newest version of #Darcs now has a pre-compiled binary for Windows ... but I decided to try to compile it (in progress).

    #version-control #vcs #scm
    In conversation about a month ago from nu.federati.net permalink
  4. Nobody [LinuxWalt (@lnxw48a1)] (lnxw48a1@nu.federati.net)'s status on Monday, 30-Nov-2020 23:43:55 UTC Nobody [LinuxWalt (@lnxw48a1)] Nobody [LinuxWalt (@lnxw48a1)]
    Remote profile options...
    https://arxiv.org/abs/1311.3903

    A Categorical Theory of Patches

    A formalization of the #Darcs theory of patches. Darcs ( http://darcs.net/ ) is a #DVCS, like #git or #hg or #Fossil, but based around patches.

    #VCS #version-control
    In conversation about 2 months ago from nu.federati.net permalink

    Attachments

    1. Darcs - FrontPage
    2. A Categorical Theory of Patches
      When working with distant collaborators on the same documents, one often uses a version control system, which is a program tracking the history of files and helping importing modifications brought by others as patches. The implementation of such a system requires to handle lots of situations depending on the operations performed by users on files, and it is thus difficult to ensure that all the corner cases have been correctly addressed. Here, instead of verifying the implementation of such a system, we adopt a complementary approach: we introduce a theoretical model, which is defined abstractly by the universal property that it should satisfy, and work out a concrete description of it. We begin by defining a category of files and patches, where the operation of merging the effect of two coinitial patches is defined by pushout. Since two patches can be incompatible, such a pushout does not necessarily exist in the category, which raises the question of which is the correct category to represent and manipulate files in conflicting state. We provide an answer by investigating the free completion of the category of files under finite colimits, and give an explicit description of this category: its objects are finite sets labeled by lines equipped with a transitive relation and morphisms are partial functions respecting labeling and relations.
  5. N-5-O-body (n5admin@n5.federati.net)'s status on Sunday, 26-Apr-2020 05:45:07 UTC N-5-O-body N-5-O-body
    in reply to
    • N-5-O-body
    I much prefer #Fossil to #Git.

    I haven't really used #Breezy / #brz ( the actively developed fork of #Bazaar / #bzr ) or #Mercurial / #hg or #Darcs or #Pijul. I should explore some of these.

    Maybe I should see about getting a #Launchpad account.
    In conversation about 9 months ago from web permalink
  6. Nobody [LinuxWalt (@lnxw48a1)] (lnxw48a1@nu.federati.net)'s status on Tuesday, 14-Jan-2020 02:29:47 UTC Nobody [LinuxWalt (@lnxw48a1)] Nobody [LinuxWalt (@lnxw48a1)]
    Remote profile options...
    The SCM/VCS #Pijul (a #Rust based descendant of #Darcs) is undergoing a rewrite. https://discourse.pijul.org/t/is-this-project-still-active-yes-it-is/451
    In conversation about a year ago from nu.federati.net permalink

    Attachments

    1. Is this project still active? Yes it is
      I’m answering here to Discussion #444 on the Nest. Is Pijul still under active development? Last patches on master were June 8th? It seems like patches were pretty regular before then, maybe work is just being done in private and not pushed to public but I sure hope there is still activity, I really love this project. That’s right, the last patches are pretty old. A few things have happened since then, but they’re not public yet. This has included (1) thinking about new algorithms to solve ...

Feeds

  • Activity Streams
  • RSS 1.0
  • RSS 2.0
  • Atom
  • Help
  • About
  • FAQ
  • Privacy
  • Source
  • Version
  • Contact

Number V: Federati N5 is a social network. It runs on GNU social, version 2.0.0-dev, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Number V: Federati N5 content and data are available under the Creative Commons Attribution 3.0 license.

Switch to mobile site layout.