Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2016-12-01

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary

All times shown according to UTC.

Time Nick Message
02:47 ilbot3 joined #darcs
02:47 Topic for #darcs is now http://darcs.net/ | logs: http://irclog.perlgeek.de/darcs/ | darcs 2.12.1 is out http://darcs.net/Releases/2.12
02:56 pointfree refi64: Yes.
08:00 peb` joined #darcs
10:31 stef204 joined #darcs
10:33 pointfree joined #darcs
10:37 Igloo_ joined #darcs
10:43 thorkilnaur_ joined #darcs
12:51 mizu_no_oto joined #darcs
14:02 Weltraumschaf joined #darcs
16:47 mornfall for some mysterious reason, darcs rec --ask-deps does not work on openbsd
16:48 mornfall it just corrupts the repo (updates pristine, but doesn't create the patch) ... does not crash either, claims it all worked fine
16:48 mornfall also tried 2.12.4 from cabal, same thing happens
17:00 mornfall btw. is anyone still using darcs?
17:32 pointfree mornfall: Yes, I use it daily. Although, I might jump over to pijul when that's ready.
17:33 mornfall hm, pijul's web page doesn't exactly inspire trust
17:34 pointfree This one? https://pijul.org/
17:35 mornfall yeah, that one
17:38 pointfree What about it? SSL is valid
17:39 mornfall pointfree: nah, I mean the math jargon coupled with bad grammar :-)
17:50 pointfree I trust the math. As for the grammar, perhaps the devs are not native English speakers. The repo of the website is here http://hub.darcs.net/pmeunier/pijul.org
17:50 mornfall pointfree: in what sense do you trust it?
17:51 mornfall as in, you went through the papers and it made sense to you?
17:51 mornfall paper*
17:55 pointfree https://arxiv.org/abs/1311.3903 I went through the paper and it sounded reasonable to me. The devs had implementations in other languages that were tested with random records (commits). The now defunct mailing list had some comments about it outperforming git.
18:00 mornfall pointfree: well, I have so far failed to find anything that would suggest that the "merge operation" (construction of the pushout in this case) is associative (commutativity appears to follow from the thing being a pushout)
18:02 mornfall which is basically the only "hard" thing in the theory (the rest is easy, even though in that paper it is presented in a rather opaque way)
18:25 Riastradh joined #darcs
18:46 Heffalump mornfall: wouldn't associativity follow from it being a pushout too?
22:12 mizu_no_oto joined #darcs

| Channels | #darcs index | Today | | Search | Google Search | Plain-Text | summary