IRC log of dig on 2006-09-14
Timestamps are in UTC.
- 01:00:49 [DanC_lap]
- DanC_lap (n=connolly@w-mob101-128-62-120-115.public.utexas.edu) has joined #dig
- 02:02:55 [djweitzner]
- djweitzner has quit ()
- 03:09:45 [DanC_lap]
- DanC_lap has quit (Read error: 110 (Connection timed out))
- 03:26:38 [DanC_lap]
- DanC_lap (n=connolly@72-254-169-98.client.stsn.net) has joined #dig
- 04:05:54 [harveyj]
- harveyj (n=harveyj@c-71-232-12-252.hsd1.ma.comcast.net) has joined #dig
- 05:17:27 [harveyj]
- harveyj has quit ()
- 05:36:33 [harveyj]
- harveyj (n=harveyj@c-71-232-12-252.hsd1.ma.comcast.net) has joined #dig
- 05:37:59 [harveyj]
- harveyj has quit (Client Quit)
- 06:14:33 [DanC_lap]
- DanC_lap has quit (Read error: 104 (Connection reset by peer))
- 07:13:44 [tlr]
- tlr (n=roessler@ip-83-99-70-191.dyn.luxdsl.pt.lu) has joined #dig
- 10:46:43 [pxrsa]
- pxrsa (i=bhbpm@200.49.140.117) has joined #dig
- 11:05:04 [Biblio]
- Biblio has quit (Read error: 113 (No route to host))
- 11:05:16 [pxrsa]
- pxrsa is now known as Biblio-
- 11:39:32 [RalphS]
- RalphS (n=swick@30-7-207.wireless.csail.mit.edu) has joined #dig
- 11:56:36 [Biblio-]
- Biblio- has quit ()
- 12:41:41 [djweitzner]
- djweitzner (n=djweitzn@30-6-29.wireless.csail.mit.edu) has joined #dig
- 12:55:06 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 13:04:44 [timbl]
- timbl has quit ()
- 13:04:50 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 13:06:40 [timbl]
- s there an open channel for the w3c project review danny?
- 13:07:06 [timbl]
- i have no tunnels
- 13:25:34 [DanC_lap]
- DanC_lap (n=connolly@72-254-169-98.client.stsn.net) has joined #dig
- 13:33:54 [jfisteus]
- jfisteus (i=jaf@30-6-86.wireless.csail.mit.edu) has joined #dig
- 13:50:19 [DanC_lap]
- DanC_lap has quit (Read error: 104 (Connection reset by peer))
- 14:04:59 [RalphS]
- Jesus presents his work to Tim and Ralph ...
- 14:06:12 [RalphS]
- "A hash algorithm fo rN3 graphs in CWM" -- work in progress
- 14:06:55 [RalphS]
- -> http://www.it.uc3m.es/jaf/mit/20060914/presentation.pdf presentation
- 14:09:32 [timbl]
- timbl has quit ()
- 14:13:23 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 14:16:37 [RalphS]
- Tim: re: slide 8 -- you need to distinguish between strings and URIs
- 14:19:46 [RalphS]
- re: lists -- concern that XORing with small integers may lead to collisions
- 14:21:25 [RalphS]
- Tim: 3 kinds of variables; universal, existential, and unbound
- 14:32:58 [RalphS]
- CBD - Concise Bounded Description -- http://www.w3.org/Submission/CBD/
- 14:33:08 [RalphS]
- and extensions by Jeremy Carroll
- 14:34:29 [RalphS]
- Tim: ok for an algorithm to throw an error when it recognizes a pathological graph but not ok for it to believe its canonicalized when its not
- 14:52:38 [tlr]
- tlr has quit ("off to the airport")
- 15:01:46 [djweitzner]
- djweitzner has quit ()
- 15:07:00 [timbl]
- DanC?
- 15:07:33 [djweitzner]
- djweitzner (n=djweitzn@30-6-29.wireless.csail.mit.edu) has joined #dig
- 15:07:47 [yosi_lap]
- yosi_lap (n=syosi@30-5-26.wireless.csail.mit.edu) has joined #dig
- 15:09:36 [harveyj]
- harveyj (n=harveyj@30-5-107.wireless.csail.mit.edu) has joined #dig
- 15:18:19 [DanC_lap]
- DanC_lap (n=connolly@w-mob201-128-62-99-147.public.utexas.edu) has joined #dig
- 15:19:07 [yosi_lap]
- yosi_lap has quit ()
- 15:19:32 [ryanlee]
- ryanlee (n=ryanlee@c-65-96-190-159.hsd1.ma.comcast.net) has joined #dig
- 15:24:28 [RalphS]
- RalphS has quit (Read error: 110 (Connection timed out))
- 15:36:21 [yosi_lap]
- yosi_lap (n=syosi@30-5-26.wireless.csail.mit.edu) has joined #dig
- 15:53:09 [jfisteus]
- jfisteus has quit (Read error: 110 (Connection timed out))
- 15:59:46 [yosi_lap]
- yosi_lap has quit ()
- 16:06:07 [DanC_lap]
- yosi was here and I missed him? DARN!
- 16:19:30 [djweitzner]
- djweitzner has quit ()
- 16:21:16 [harveyj]
- harveyj has quit ()
- 16:25:29 [harveyj]
- harveyj (n=harveyj@30-5-107.wireless.csail.mit.edu) has joined #dig
- 16:48:20 [ryanlee]
- ryanlee has quit ()
- 17:08:19 [djweitzner]
- djweitzner (n=djweitzn@30-6-29.wireless.csail.mit.edu) has joined #dig
- 17:12:15 [ryanlee]
- ryanlee (n=ryanlee@30-7-213.wireless.csail.mit.edu) has joined #dig
- 17:48:57 [jfisteus]
- jfisteus (i=jaf@30-6-86.wireless.csail.mit.edu) has joined #dig
- 18:06:00 [djweitzner]
- djweitzner has quit ()
- 18:10:26 [djweitzner]
- djweitzner (n=djweitzn@30-6-29.wireless.csail.mit.edu) has joined #dig
- 18:20:15 [RalphS]
- RalphS (n=swick@31-33-217.wireless.csail.mit.edu) has joined #dig
- 18:48:43 [harveyj]
- harveyj has quit ()
- 18:49:49 [ryanlee]
- ryanlee has quit ()
- 19:01:57 [ryanlee]
- ryanlee (n=ryanlee@30-7-213.wireless.csail.mit.edu) has joined #dig
- 19:18:15 [DanC_lap]
- DanC_lap has quit (Read error: 110 (Connection timed out))
- 19:26:39 [harveyj]
- harveyj (n=harveyj@30-5-107.wireless.csail.mit.edu) has joined #dig
- 19:29:40 [djweitzner]
- djweitzner has quit ()
- 20:20:50 [RalphS]
- RalphS has quit ("bye for today")
- 20:24:24 [harveyj]
- harveyj has quit ()
- 20:31:35 [DanC_lap]
- DanC_lap (n=connolly@w-mob101-128-62-120-8.public.utexas.edu) has joined #dig
- 20:32:03 [DanC_lap]
- timbl, I'm gonna talk to the head of the computer science honors program about the tabulator in half an hour.
- 20:32:04 [DanC_lap]
- it seems like the sort of thing where having you join us by phone might be good.
- 20:39:56 [goingtoalpha]
- goingtoalpha (n=goingtoa@pool-72-77-71-200.pitbpa.east.verizon.net) has joined #dig
- 20:40:10 [goingtoalpha]
- goingtoalpha has left #dig
- 20:56:07 [timbl]
- danc ... what about the btabulator ? as an intro to the sem web?
- 20:57:35 [DanC_lap]
- these honors cs students have to pick some sort of project... I'm going to talk about the possibility that they might pick the tabulator
- 20:57:57 [DanC_lap]
- I guess I'll try to interest him in finding somebody around here who could supervise that sort of thing
- 20:59:14 [timbl]
- Well, I'd be happy to chat for a few if you like.
- 21:00:21 [DanC_lap]
- ok. cool. I'll try to work it into the conversation
- 21:00:55 [DanC_lap]
- ah... it's 4pm here now. I guess I should head over to his office.
- 21:01:17 [DanC_lap]
- boy, am I tired. after the ACL2 seminar last night, it was 11pm before I found dinner and later before I found sleep
- 21:16:58 [jfisteus]
- jfisteus has quit (Read error: 110 (Connection timed out))
- 21:17:18 [DanC_lap]
- ok, that turned out to be quick.
- 21:18:01 [DanC_lap]
- But some of the Turing Scholars are also Dean's Scholars, and I'm having lunch with the Dean's scholars tomorrow.
- 21:18:26 [DanC_lap]
- the tabulator crashed my browser while I was demoing it. :-/
- 21:26:55 [timbl]
- ooops
- 22:04:02 [ryanlee]
- ryanlee has quit ()
- 22:11:22 [DanC_lap]
- Some photos of family fun in Austin and walking around the campus: http://www.flickr.com/photos/dckc/archives/date-taken/2006/09/detail/
- 22:18:39 [timbl]
- timbl has quit ()
- 23:22:15 [timbl]
- timbl (n=timbl@146-115-112-112.c3-0.lex-ubr1.sbo-lex.ma.cable.rcn.com) has joined #dig
- 23:22:59 [timbl]
- timbl has quit (Client Quit)
- 23:33:11 [timbl]
- timbl (n=timbl@146-115-112-112.c3-0.lex-ubr1.sbo-lex.ma.cable.rcn.com) has joined #dig