Perl 6 - the future is here, just unevenly distributed

IRC log for #darcs, 2014-05-11

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

All times shown according to UTC.

Time Nick Message
00:19 kowey joined #darcs
00:44 kowey joined #darcs
01:30 kowey joined #darcs
02:12 kowey joined #darcs
03:22 edwardk joined #darcs
03:33 DarkLinkXXXX joined #darcs
03:33 DarkLinkXXXX Why is darcs better than X?
03:58 edwardk joined #darcs
06:31 c74d joined #darcs
06:31 DarkLinkXXXX joined #darcs
06:56 slyfox joined #darcs
06:56 slyfox joined #darcs
08:13 lelit joined #darcs
08:18 c74d joined #darcs
08:42 LnL joined #darcs
08:57 edwardk joined #darcs
09:11 alexei joined #darcs
10:11 kowey joined #darcs
10:24 owst joined #darcs
10:27 kowey joined #darcs
11:14 * owst is bug finding! :-)
13:48 edwardk joined #darcs
13:48 owst Heffalump: around?
13:52 owst I want to have a discussion about readRecorded returning a witness-less tree
13:52 owst And about there being no witness for pending
14:00 owst And maybe about why we can't have treeDiff being something like: treeDiff :: Tree wX -> Tree wY -> FL p wX wY (something like: take two trees at state X and state Y, and return patches to transform X to Y)
14:08 kowey joined #darcs
14:36 edwardk joined #darcs
14:46 alexei joined #darcs
15:06 adnap joined #darcs
15:10 * owst just send an 18 patch set that fixes the move command, it now acts intuitively in all cases! :-)
16:11 alexei joined #darcs
16:44 kowey joined #darcs
17:32 Heffalump owst: I'm here now, but intermittently (kids bedtime coming up)
17:44 kowey joined #darcs
17:45 stulli joined #darcs
17:48 owst joined #darcs
17:52 slyfox joined #darcs
17:52 slyfox joined #darcs
18:09 kowey joined #darcs
19:11 kowey joined #darcs
19:42 alexei joined #darcs
19:50 kowey joined #darcs
20:02 kowey must... focus... write... HCAR update
20:03 kowey somebody needs to reach out and slap me over IRC every time I get distracted, wander off into Reddit or something
20:10 kowey I think I might just delete the paragraph about darcs 2.10?
20:10 kowey maybe bring it back when we're closer to release time?
20:29 kowey done! http://darcs.net/hcar/Darcs.tex
20:29 kowey comments very much appreciated
20:29 kowey lines 31-47 are new
21:19 Heffalump looks fine
21:23 gh_ joined #darcs
21:47 edwardk joined #darcs
21:55 kowey1 joined #darcs
22:11 owst joined #darcs
22:21 kowey joined #darcs
22:41 mizu_no_oto joined #darcs
22:51 * owst has been thinking a bit about DAG-darcs, and came across discussion between Heffalump, droundy and others, about precisely that, back in 2006 - cool!
22:52 alexei joined #darcs
23:01 favonia joined #darcs
23:07 mornfall owst: hmm?
23:09 owst Store a DAG of prim patches
23:10 owst I think it is The Right Thing to do.
23:10 owst But I'm not done reading the IRC logs... presumably, to get to the part where people discounted the idea :-)
23:10 owst It strikes me that all darcs' performance problems stem from losing information in encoding a graph structure in a linear sequence (and then having to recover that structure)
23:11 * owst wishes that all the old pdf links to darcs.net in the IRC logs still existed
23:14 mornfall not quite sure what the dag of prims would represent
23:15 mornfall the problem in general is with contexts, not with patches
23:16 owst In my head at the moment, the edges are patches, the nodes are contexts. I think patches should be pushed nearest the root as they can, to get unique representation
23:17 owst s/nearest/as near to/
23:17 mornfall sure, that's the minimal context idea
23:17 owst Indeed
23:17 owst I think a named patch is then just a set of references to edges in this dag
23:18 owst (doesn't need something like Duplicates - they are just the same reference)
23:20 owst Anyway, bed now, and thesis to write in the day time tomorrow.
23:20 * owst must stop getting excited about darcs again ;-)
23:20 owst DAGrcs that is.
23:21 mornfall Hh.
23:21 mornfall Well.
23:24 owst Last question to Heffalump: did this get anywhere? http://irclog.perlgeek.de/darcs/2006-07-09#i_458486
23:24 * owst is gone, bye!
23:47 pgiarrusso joined #darcs
23:49 kowey joined #darcs

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