Camelia, the Perl 6 bug

IRC log for #darcs, 2013-02-11

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

All times shown according to UTC.

Time Nick Message
00:52 mizu_no_oto joined #darcs
02:13 carter joined #darcs
02:37 mizu_no_oto joined #darcs
02:52 mizu_no_oto joined #darcs
02:56 carter joined #darcs
03:29 mizu_no_oto joined #darcs
03:32 mizu_no_oto joined #darcs
04:41 mizu_no_oto joined #darcs
04:56 preflex_ joined #darcs
05:16 whaletechno joined #darcs
06:50 carter joined #darcs
07:24 carter joined #darcs
08:22 dixie \o/
08:30 raichoo joined #darcs
08:45 M30W joined #darcs
08:46 M30W Hmm
08:46 M30W Should the lock on the server side timeout?
08:48 kmels joined #darcs
08:49 M30W sm: hub.darcs.net /home/darcsden/users/M30W/Blog/_darcs/lock << file shouldn't exist and doesn't seem to timeout.... Mind deleting this for me?
08:54 M30W joined #darcs
08:54 M30W Sorry for disconnect, had to swap gateways.
08:58 M30W_ joined #darcs
09:08 donri joined #darcs
09:15 M30W joined #darcs
09:46 bsrk joined #darcs
09:46 bsrk Hi,
09:47 bsrk Is there anyone to do some patch index testing
09:48 bsrk My laptop broke down, but I think I identified the reason why amend-record is slow
09:59 bsrk Never mind, I got a laptop now
10:12 bsrk joined #darcs
10:12 donri show must go on?
10:12 donri my laptop may break but i'll still hack on darcs!
10:18 bsrk donri: I am hacking darcs because my laptop broke ;-)
10:18 donri oh ;)
10:26 gh_ joined #darcs
10:38 owst joined #darcs
10:41 gh_ hi
10:41 owst hi gh_
10:41 gh_ I changed a little the donations page of the wiki, following the example of the LibreOffice donations page: http://darcs.net/Donations
10:45 gh_ did we ever accept bitcoin donations?
10:45 owst I'm not sure, I seem to recal kowey saying something about it with mndrix...?
10:49 gh_ https://plus.google.com/11499134​7543804898741/posts/2vtn4zzSc89 yeah it stopped working so it was removed from the page
10:50 gh_ mndrix, any possibility (and interest) to make it working again?
11:01 iago joined #darcs
11:21 donri nice donation page. i wonder if we can make the link to it more prominent on the front page, without making it obtrusive
11:43 M30W sm: ping
11:45 owst M30W: Not for another 4/5 hours
11:45 owst @localtime sm
11:45 lambdabot Local time for sm is Mon Feb 11 03:45:37 2013
11:45 M30W :(
11:46 M30W owst: I can't touch my darcs on hub.darcs.net due to lock file not going away :(
11:46 M30W darcs oblit lock D:
11:47 owst Argh :-(
12:00 delamonpansie joined #darcs
12:13 M30W owst: Yea.. :(
12:13 M30W Was painful when I noticed.
12:15 owst I don't think it should be too tricky to extend the ssh commands accepted by darcsden to include a lock clearer
12:16 owst Though it'd be nice to understand why they are there in the first place
12:17 owst It feels a bit too low-level to expose `rm _darcs/lock`
12:17 owst But it also seems silly to prevent people working due to a lockfile they know can be deleted
12:22 M30W owst: ssh user@hub.darcs.net force-unlock
12:22 M30W That'd make sense
12:22 owst yeah, that's what I've got in mind
12:22 owst Should be easy to write
12:22 M30W owst: More than easy. one liner
12:22 M30W :)
12:23 M30W Or atleast in the web frontend
12:23 owst You'd also want to specify a repo
12:23 M30W Yea that too
12:23 owst http://hub.darcs.net/simon/dar​csden/browse/src/SSHServer.hs Go on then ;-)
12:23 * M30W can't click
12:23 M30W ;-)
12:23 M30W owst: Go go go
12:24 * M30W knows darcs get http://hub.darcs.net/simon/darcsden would work just the same but nahh.
12:24 * M30W might already have it local anyhow..
12:24 M30W Meh
12:24 * owst is busy writing a paper, I want to help, but shouldn't
12:24 * M30W is going to bed now..
12:24 M30W Good night owst
12:24 owst g'night M30W
12:24 M30W Fair enough
12:24 * M30W spent a bit of time debugging http://jamesm.com.au/ Ty #hakyll. <3
12:25 * M30W has a few nasty hacks/things he doesn't like in live but will/should be fixed tomorrow.
12:25 M30W Also pagentation, bit of extra work so the developer of hakyll decided to work on a pagentation module which made me very very happy to read. :D
12:25 * M30W was going to bed....
12:25 M30W G'night again owst
12:26 owst ciao
12:30 gal_bolle joined #darcs
13:19 mizu_no_oto joined #darcs
13:26 whaletechno joined #darcs
13:51 mizu_no_oto joined #darcs
13:56 mizu_no_oto joined #darcs
14:07 gh_ a recent commentary about darcs in spanish http://www.youtube.com/wat​ch?v=iqcD5iJkpI0#t=15m45s
14:07 gh_ summary: cherry-picking is great, but UI's are lacking
14:09 iago UI's are lacking?
14:10 iago that's the problem?
14:14 mizu_no_oto joined #darcs
14:19 gh_ iago, yeah, apart from that everything seems fine :)
14:21 owst What do they say about git then?
14:21 owst :-)
14:27 dixie more people more tastes
14:27 iago gh_, I was trying to express that I do not agree with that
14:27 iago it seems that the guy has very little experience with Darcs
14:28 iago what I understood is that he used it a couple of times and Darcs looked fine, and he wonders why there is no more adoption
14:29 gh_ yes
14:33 iago I don't know, it's a very vague and uninformed opinion
14:33 iago "mathematically advanced" ? :-P
14:33 iago what does it mean?
14:34 iago being based on a non-formalized theory, relying on properties that have not been demonstrated?
14:35 iago or being more specific, properties that are known to be broken by Darcs
14:35 owst \o/
14:35 dixie :)
14:35 owst Conflicts are just a royal PITA!
14:36 dixie iago: maybe it will be next buzz word in enterprise software area ... "Our software uses the mathematically advanced concepts"
14:41 * dixie to be honest, I found myself speaking about Darcs like "version control using the patch theory"
14:43 gh_ iago, yes it's a vague opinion, but I find interesting that to some people, a UI would really make a difference for darcs
14:44 * dixie uses the darcsum
14:47 gh_ more graphical interface, please :)
14:47 iago dixie, it sounds like that...
14:48 iago "based on a theory of patches" is certainly more correct than saying "mathematically advanced"
14:49 iago even though I would say "first-class patches", or "patch-oriented vs snapshot-oriented"
14:49 donri re non-formalized theory etc, is that darcs you're talking about?
14:51 iago :-P
14:51 iago gh_, then the only good VCS is probably Subversion, AFAIK GUI support for Git and Hg is not very good
14:52 donri i'm serious, i don't follow
14:53 iago donri, I was talking about Darcs, why
14:53 donri well i didn't know that about darcs
14:54 bsrk joined #darcs
14:54 iago sorry being me who gives you the news
14:54 donri heh
15:03 mizu_no_oto joined #darcs
15:05 M30W_ joined #darcs
15:06 pierreee_ joined #darcs
15:14 dixie Is handling of the conflict in darcs something which can not changed due backward compatibility? Does it need change of patch meta-data?
15:14 owst yes
15:15 owst also that we don't know how to represent them
15:15 owst i.e. we don't have a design
15:40 sm morning all
15:40 sm @localtime M30W_
15:40 lambdabot Local time for M30W_ is Tue Feb 12 02:40:49 2013
15:41 owst hey sm
15:41 sm hey owst
15:42 sm M30W_: lock cleared
15:42 sm byorgey also had one, 10h old
15:49 byorgey thanks sm
15:58 drostie joined #darcs
16:09 favonia joined #darcs
17:38 sm I've opened http://hub.darcs.net/simon/darcsden/issue/46 for this issue and put a bounty on it.. feel free to chip in!
17:40 owst I wonder how the remote end knows that the connection's died
17:41 raichoo joined #darcs
17:42 carter joined #darcs
18:16 amgarchIn9 joined #darcs
18:25 mizu_no_oto joined #darcs
18:41 nomeata joined #darcs
18:59 amgarchIn9 joined #darcs
19:08 schlaftier joined #darcs
19:28 amgarchIn9 joined #darcs
20:18 iago joined #darcs
20:35 teratorn joined #darcs
20:37 donri joined #darcs
20:42 owst joined #darcs
21:11 owst joined #darcs
22:50 iago joined #darcs
22:55 C-Keen joined #darcs
22:59 nomeata joined #darcs
23:21 mizu_no_oto joined #darcs

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