Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-04-13

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

All times shown according to UTC.

Time Nick Message
01:11 Heffalump gh_: fair enough
01:11 Heffalump why the specific interest in it, are they having problems with it?
05:18 dleverton joined #darcs
05:18 sm joined #darcs
05:18 alexsuraci joined #darcs
05:18 stepcut joined #darcs
05:18 edwardk joined #darcs
05:18 xstill joined #darcs
05:18 Igloo joined #darcs
05:18 MasseR joined #darcs
05:18 n-dolio joined #darcs
05:18 dolio joined #darcs
05:18 lambdabot joined #darcs
05:18 rieper joined #darcs
05:18 heath joined #darcs
05:18 gh_ joined #darcs
05:18 burp joined #darcs
05:18 vikraman joined #darcs
05:18 hvr joined #darcs
05:18 tnzk joined #darcs
05:18 felipe joined #darcs
05:18 lispy joined #darcs
05:18 amgarching joined #darcs
05:19 alexsuraci_ joined #darcs
05:19 c74d joined #darcs
05:19 siel joined #darcs
05:19 haasn joined #darcs
05:19 mornfall joined #darcs
05:19 xymox joined #darcs
05:19 notdan joined #darcs
05:25 xymox joined #darcs
05:30 IbnFirnas_ joined #darcs
05:30 byorgey joined #darcs
05:30 Heffalump joined #darcs
05:30 thorkilnaur joined #darcs
05:54 mal`` joined #darcs
07:19 edwardk joined #darcs
07:30 xymox joined #darcs
07:56 lelit joined #darcs
08:34 amgarching joined #darcs
08:43 raichoo joined #darcs
09:15 c74d joined #darcs
09:19 IbnFirnas_ joined #darcs
09:19 byorgey joined #darcs
09:19 Heffalump joined #darcs
09:19 thorkilnaur joined #darcs
09:22 amgarching joined #darcs
11:28 c74d joined #darcs
11:43 c74d joined #darcs
12:01 lelit joined #darcs
13:11 rieper joined #darcs
13:33 gh_ joined #darcs
13:37 amgarching joined #darcs
15:51 amgarching joined #darcs
15:52 gh_ Heffalump, no, it was just me collecting big real-world darcs repositories for peformance testing
16:11 alegadea joined #darcs
16:57 gh_ since december 2013 agda is considering moving everything to github, in fact they already moved agda-stdlib, main agda repo is next
16:57 gh_ (I'm reading IRC logs and mailing lists archives)
17:05 gh_ Beyond the network effect, concerns were: performance of repo cloning, lack of online file browsing, lack of bug tracking synchronization, the "couldn't get" bug that is only fixed by using --no-cache
17:06 gh_ mail about the switch: https://lists.chalmers.se/pipermail/agda/2014/006301.html
17:09 gh_ also lack of darcs support for Travis
17:10 gh_ sorry, forget about that last one, there is support but bad performance makes it impossible
17:32 rieper joined #darcs
18:39 whaletechno joined #darcs
18:48 mm_freak_ joined #darcs
18:48 mm_freak_ hi there
18:49 mm_freak_ is there a way to tell darcs, "if the patch name matches this, don't push -a it"?
18:51 mm_freak_ for example when you have a large file, but a single line of it is author-specific
19:08 c74d joined #darcs
19:22 alegadea joined #darcs
19:26 sm mm_freak_: no nice way AFAIK
19:27 sm you might be able to script something with multiple repos and pull --complement|--intersect, perhaps
19:29 mm_freak_ oh yeah, that might work
19:29 mm_freak_ thanks
20:27 colDrMcBeardman joined #darcs
20:40 edwardk joined #darcs
20:56 mm_freak_ left #darcs
21:15 mizu_no_oto joined #darcs
21:15 nebnesknarf joined #darcs
21:18 nebnesknarf A question to the core darcs developers: have you ever considered using pipes (or another one of the available streaming libraries out there)?
21:19 nebnesknarf I mean, instead of doing lazy IO
21:29 Heffalump not very seriously
21:30 Heffalump as in we haven't really looked into it. I think hashed-storage mostly avoids lazy IO anyway
21:43 rieper joined #darcs
22:15 nebnesknarf So how do you cope with e.g. large repos?
22:15 nebnesknarf Or large files, like binaries?
22:17 nebnesknarf (BTW, the problem with my bounced patches seems to be fixed, thanks!)
22:43 carter joined #darcs
22:45 carter joined #darcs
23:19 carter joined #darcs

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