IRC log of dig on 2008-06-16

Timestamps are in UTC.

00:19:10 [timbl]
timbl (n=timbl@c-24-147-9-199.hsd1.ma.comcast.net) has joined #dig
00:19:10 [timbl_]
timbl_ has quit (Read error: 104 (Connection reset by peer))
00:44:11 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
01:39:34 [lkagal]
lkagal (n=lkagal@7.68.171.66.subscriber.vzavenue.net) has joined #dig
01:45:42 [lkagal]
lkagal has quit ()
02:37:25 [dmwaters]
{global notice} Good day all, I need to do some quick rerouting, this should not take long.
03:30:23 [lkagal]
lkagal (n=lkagal@7.68.171.66.subscriber.vzavenue.net) has joined #dig
04:11:53 [lkagal]
lkagal has quit ()
06:42:29 [timbl]
timbl (n=timbl@c-24-147-9-199.hsd1.ma.comcast.net) has joined #dig
11:55:36 [RalphS]
RalphS (n=swick@w3cdhcp93.w3.org) has joined #dig
11:58:11 [DIGlogger]
DIGlogger (n=dig-logg@groups.csail.mit.edu) has joined #dig
11:58:11 [kubrick.freenode.net]
topic is: DIG meets Mondays, including 7 Apr http://dig.csail.mit.edu/
11:58:11 [kubrick.freenode.net]
Users on #dig: DIGlogger RalphS timbl sandro daniel-soton ericP Tristan harveyj
12:29:06 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
13:19:07 [timbl]
timbl (n=timbl@c-24-147-9-199.hsd1.ma.comcast.net) has joined #dig
13:19:42 [oshani]
oshani (n=oshani@30-7-60.wireless.csail.mit.edu) has joined #dig
13:22:31 [timbl]
timbl has quit (Read error: 104 (Connection reset by peer))
13:22:32 [timbl_]
timbl_ (n=timbl@c-24-147-9-199.hsd1.ma.comcast.net) has joined #dig
13:30:32 [lkagal]
lkagal (n=lkagal@7.68.171.66.subscriber.vzavenue.net) has joined #dig
13:35:34 [DanC]
DanC (n=connolly@pdpc/supporter/active/DanC) has joined #dig
13:37:35 [lkagal]
lkagal has quit ()
14:17:45 [stunes]
stunes (n=stunes@30-6-40.wireless.csail.mit.edu) has joined #dig
14:20:30 [lkagal]
lkagal (n=lkagal@7.68.171.66.subscriber.vzavenue.net) has joined #dig
14:24:14 [lkagal]
lkagal has quit (Client Quit)
14:53:58 [sandro]
Dig today?
14:55:25 [timbl_]
timbl_ has quit ()
14:59:34 [lkagal]
lkagal (n=lkagal@7.68.171.66.subscriber.vzavenue.net) has joined #dig
15:01:48 [lkagal]
lkagal has quit (Client Quit)
15:26:18 [amy]
amy (n=amy@30-7-171.wireless.csail.mit.edu) has joined #dig
15:31:46 [yosi_s]
yosi_s (n=yosi_s@w3cdhcp27.w3.org) has joined #dig
15:55:33 [lkagal]
lkagal (n=lkagal@7.68.171.66.subscriber.vzavenue.net) has joined #dig
15:56:14 [lkagal]
Hi oshani
15:56:30 [oshani]
Hi Lalana
15:56:58 [lkagal]
Other than you and Mike, are there any other students there today ?
15:57:16 [oshani]
Yosi is here as well
15:58:19 [lkagal]
But no other urops ?
15:58:30 [oshani]
nope, don't see any
15:58:37 [lkagal]
Thanks Oshani
15:58:43 [oshani]
welcome
16:05:47 [stunes]
if we're having a meeting today it'd be at 2:30, right?
16:07:31 [RalphS]
RalphS has quit ("bye for today")
16:13:09 [timbl]
timbl (n=timbl@31-35-130.wireless.csail.mit.edu) has joined #dig
16:18:09 [lkagal]
Yes, stunes, but it doesn't look like there will be a meeting today.
16:19:19 [stunes]
lkagal, ok thanks
16:22:16 [lkagal]
lkagal has quit ()
17:06:06 [lkagal]
lkagal (n=lkagal@30-6-167.wireless.csail.mit.edu) has joined #dig
17:16:13 [RalphS]
RalphS (n=swick@w3cdhcp93.w3.org) has joined #dig
17:18:24 [rho]
rho (n=rho@chello213047112079.11.11.vie.surfer.at) has joined #dig
18:28:33 [stunes_]
stunes_ (n=stunes@30-6-40.wireless.csail.mit.edu) has joined #dig
18:29:16 [stunes_]
stunes_ has quit (Client Quit)
18:29:16 [stunes]
stunes has quit ("Leaving")
18:29:34 [stunes]
stunes (n=stunes@30-6-40.wireless.csail.mit.edu) has joined #dig
18:35:00 [rho]
rho has quit (Remote closed the connection)
19:06:55 [lkagal]
yosi_s, do you have some time to chat today ?
19:07:18 [yosi_s]
sure
19:08:08 [lkagal]
How about 3:30 ?
19:13:35 [yosi_s]
ok
19:18:57 [DanC]
been a while
19:19:15 [yosi_s]
hi danc
19:24:37 [DanC]
did you ever get any clarity on unification and such in N3? I am not following current work closely enough to tell where proof checking fits in, if at all
20:10:56 [djweitzner]
djweitzner (n=djweitzn@31-33-208.wireless.csail.mit.edu) has joined #dig
20:13:35 [djweitzner_]
djweitzner_ (n=djweitzn@31-33-208.wireless.csail.mit.edu) has joined #dig
20:13:35 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:15:33 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:16:02 [djweitzner]
djweitzner (n=djweitzn@31-33-208.wireless.csail.mit.edu) has joined #dig
20:16:29 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:16:56 [djweitzner]
djweitzner (n=djweitzn@31-33-208.wireless.csail.mit.edu) has joined #dig
20:17:35 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:18:01 [djweitzner]
djweitzner (n=djweitzn@31-33-208.wireless.csail.mit.edu) has joined #dig
20:18:13 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:18:38 [djweitzner]
djweitzner (n=djweitzn@31-33-208.wireless.csail.mit.edu) has joined #dig
20:18:55 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:19:45 [djweitzner_]
djweitzner_ has quit (Read error: 54 (Connection reset by peer))
20:20:00 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:20:53 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:21:19 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:21:25 [RalphS]
RalphS has quit ("bye for today")
20:22:08 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:22:40 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:23:28 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:23:58 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:24:40 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:25:03 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:26:29 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:27:00 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:28:30 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:28:54 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:29:50 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:30:07 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:32:15 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:32:18 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:37:14 [djweitzner]
djweitzner has quit (Connection timed out)
20:44:02 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:44:02 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
20:44:04 [stunes]
stunes has quit ("Leaving")
20:45:39 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:45:53 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:47:27 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:47:50 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:49:56 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:50:18 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:52:55 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
20:53:22 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:58:16 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
20:58:16 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
21:00:45 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
21:00:45 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
21:01:06 [yosi_s]
yosi_s has quit ("done for now")
21:09:37 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
21:09:53 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
21:11:19 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
21:11:19 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
21:11:41 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
21:12:22 [lkagal]
lkagal has quit ()
21:12:46 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
21:13:29 [djweitzner]
djweitzner has quit (Client Quit)
21:14:33 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
21:30:30 [Rosemary]
Rosemary (i=Rosemary@31-34-116.wireless.csail.mit.edu) has joined #dig
21:31:41 [Rosemary]
Rosemary has quit (Client Quit)
21:57:39 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
21:58:09 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
22:03:29 [oshani]
oshani has quit ()
22:04:27 [oshani]
oshani (n=oshani@30-7-60.wireless.csail.mit.edu) has joined #dig
22:13:45 [oshani]
oshani has quit ()
22:17:43 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
22:17:55 [djweitzner_]
djweitzner_ has quit (Read error: 104 (Connection reset by peer))
22:18:11 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
22:18:25 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
22:22:54 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
22:23:15 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
22:24:34 [djweitzner_]
djweitzner_ (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
22:24:34 [djweitzner]
djweitzner has quit (Read error: 104 (Connection reset by peer))
22:34:14 [oshani]
oshani (n=oshani@SYDNEYPACIFIC-ONE-NINETY-FOUR.MIT.EDU) has joined #dig
22:53:54 [djweitzner_]
djweitzner_ has quit ()
22:55:29 [timbl]
timbl has quit (Remote closed the connection)
23:00:50 [djweitzner]
djweitzner (n=djweitzn@30-5-149.wireless.csail.mit.edu) has joined #dig
23:01:05 [djweitzner]
djweitzner has quit (Client Quit)