http://www.youtube.com/watch?v=nW5kIhcByac
On Thu, May 28, 2009 at 10:28 AM, Robby Findler <ro...@eecs.northwestern.edu> wrote: > http://www.youtube.com/watch?v=LjSjmw_7uIE > > On Thu, May 28, 2009 at 10:23 AM, Matthias Felleisen > <matth...@ccs.neu.edu> wrote: >> >> doctordoctor is the right name :-) >> >> >> On May 28, 2009, at 7:44 AM, Noel Welsh wrote: >> >>> On Thu, May 28, 2009 at 12:03 AM, Jay McCarthy <jay.mccar...@gmail.com> >>> wrote: >>>> >>>> 2) A suggestion for a name [I'm thinking pis: the PLT Integration Server >>>> =P] >>> >>> Unfortunate acronym. >>> >>> DrDr? (As in, the thing that checks DrScheme is healthy) >>> Doodlebug? (It runs around a lot, not really getting anywhere. [Also, >>> unfortunate connotations in line .ss -- gives the IRC trolls something >>> to talk about]) >>> Astrolabe? (PLT Scheme is the sun around which PLaneT orbits. The >>> astrolabe predicts the orbits.) >>> >>> N. >>> _________________________________________________ >>> For list-related administrative tasks: >>> http://list.cs.brown.edu/mailman/listinfo/plt-dev >> >> _________________________________________________ >> For list-related administrative tasks: >> http://list.cs.brown.edu/mailman/listinfo/plt-dev >> > _________________________________________________ > For list-related administrative tasks: > http://list.cs.brown.edu/mailman/listinfo/plt-dev > -- http://www.wisdomandwonder.com/ _________________________________________________ For list-related administrative tasks: http://list.cs.brown.edu/mailman/listinfo/plt-dev
