Camelia, the Perl 6 bug

IRC log for #darcs-theory, 2008-09-03

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

All times shown according to UTC.

Time Nick Message
00:00 lispy minidarcs?
00:02 Igloo I think so; you can init and pull (as long as you don't want any commutes to succeed or any conflicting merges not to give an error)
00:02 Igloo lispy: Test implementation for new conflictors
00:04 Igloo Once I've got around to implementing hunk commute you'll be able to actually pull some things, which will feel good  :-)
00:28 lispy Igloo: cool
00:28 lispy Igloo: where is the white paper? ;)
00:28 lispy Igloo: the document in the subjet?
00:28 lispy subject*
00:29 Igloo Yup
00:30 Igloo Code is in code.h.o:/srv/code/minidarcs
00:31 Igloo IM code.h.o:/srv/code/darcs/minidarcs
00:31 lispy Igloo: bsd?
00:32 Igloo yup
00:32 lispy nice
00:43 stepcut cool
00:44 lispy hey, even cabalized
00:56 Igloo Hmm, I don't say that a patch can't commute with its inverse. That's odd, I'm sure I used to
01:12 arjanb things get pretty crazy without that axiom ;)
01:13 Igloo I don't think anything actually breaks. It would just be a bit odd to have UNDO:foo and not foo in your repo  :-)
02:50 stepcut joined #darcs-theory
08:24 kowey joined #darcs-theory
08:27 kowey http://code.haskell.org/darcs/​darcs-news/entries/2008-09-03 <-- thoughts?
08:27 kowey whoops
08:27 kowey wrong channel
09:31 kowey joined #darcs-theory
11:57 Igloo Yay, working pull
12:07 mornfall What, where?
12:09 Igloo minidarcs
12:09 mornfall Hmmm.
12:31 mornfall Igloo: Do you have a repository somewhere?
12:36 Igloo code.haskell.org:/srv/code/darcs/minidarcs
14:06 kowey joined #darcs-theory
16:32 ilbot2 joined #darcs-theory
16:32 Topic for #darcs-theoryis now Patch Theory Semantics || http://wiki.darcs.net/DarcsWiki/PatchTheory || http://wiki.darcs.net/DarcsWiki/PatchTheoryPeople || darcs get http://urchin.earth.li/~ian/theory/ || http://en.wikibooks.org/wiki/Un​derstanding_darcs/Patch_theory || Log http://irclog.perlgeek.de/darcs-theory/
17:33 waern_ joined #darcs-theory
18:50 kowey joined #darcs-theory
18:50 kowey so, I still have this fantasy of getting sigfpe interested in darcs theory
18:51 kowey some questions for Igloo: are there any prerequisites you think it would be best to fulfill before approaching him?
18:51 kowey is there a state when you'd be happy to call your paper sigfpe-ready? (you had called it 'done' at a point, right?)
18:52 kowey would you like minidarcs to be in a particular state as well?
18:52 kowey and finally, is it very straightforward to understand the divergences between darcs-2 and possible-darcs-3?
18:52 * kowey stops peppering
18:52 lispy I hate that I still fight with layout: The last statement in a 'do' construct must be an expression
18:53 lispy kowey: heh
18:54 Igloo kowey: Why sigfpe? The name only rings vague bells with me
18:55 kowey oh they may be silly not-fully-conscious reasons... why best attempt at putting my finger on why might be...
18:56 kowey that he's a well-known mathy Haskeller (although one of you pointed out that he's into rather deeper maths than darcs) with a very strong pedagogical bent
18:56 kowey and that having him write some nice patch theory articles and musings, in conjunction with other darcs activity on our side would be a good thing
18:57 Igloo I doubt he'd be interested with things in their current state, then
18:57 stepcut joined #darcs-theory
18:58 kowey plus I'm generally interested in the problem of patch theory people continuity : http://wiki.darcs.net/index.html/PatchTheoryPeople i.e. how to get us to a state where enough people have a good idea how patch theory works
18:58 kowey oh, that's ok...  any thoughts on what would be a state things have to be before we could start having a useful discussion with him?
19:00 Igloo After the next section 8 rewrite, at least
19:00 kowey thanks
19:00 kowey another person I'd like to get involved is apfelmus
19:00 kowey who has had a couple of exchanges with us, I think
19:00 Igloo Hmm, I think I might have found a GHC bug
19:01 kowey oh!
19:20 stepcut Igloo: impossible!
19:57 * Igloo files http://hackage.haskell.org/trac/ghc/ticket/2562 and wonders how best to work around it
21:03 Igloo Hmm, 1 line of maths into 23 lines of nested cases. Eugh.
21:25 stepcut joined #darcs-theory
21:36 stepcut` joined #darcs-theory
23:54 stepcut joined #darcs-theory

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