
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.
No comments:
Post a Comment