Unfortunately, I didn't think to do this on Saturday when there were more of us, so sadly, Juliusz and Andres are missing from this little video:
In the video, you get David, Arjan, Ganesh and me (Eric). You also get members of the future darcs users group, Dmitry, Alexander, Michael, and Joseph. Although, I might add Dmitry has expressed a certain interest in formalising patch theory as a sequent calculus, or something like that, so maybe the darcs developers will have another logician on their side?
Oh, yes and I did mention a videoblog somewhere. This is being cross-posted to a collective video blog shared by a small group of friends from high school,
gfdjax.
Unfortunately, I didn't think to do this on Saturday when there were more of us, so sadly, Juliusz and Andres are missing from this little video:
In the video, you get David, Arjan, Ganesh and me (Eric). You also get members of the future darcs users group, Dmitry, Alexander, Michael, and Joseph. Although, I might add Dmitry has expressed a certain interest in formalising patch theory as a sequent calculus, or something like that, so maybe the darcs developers will have another logician on their side?
Oh, yes and I did mention a videoblog somewhere. This is being cross-posted to a collective video blog shared by a small group of friends from high school,
gfdjax.
darcs developers at fosdem 2006!
No comments:
Post a Comment