12:28:47 [eikeon]eikeon has quit ()
12:37:40 [eikeon]eikeon (n=eikeon@dsl092-168-155.wdc2.dsl.speakeasy.net) has joined #dig
12:42:56 [claudiof]claudiof (i=claudiof@31-35-17.wireless.csail.mit.edu) has joined #dig
13:04:39 [harveyj]harveyj (n=harveyj@dhcp-18-188-70-229.dyn.mit.edu) has joined #dig
13:17:27 [harveyj]harveyj has quit ()
13:22:10 [harveyj]harveyj (n=harveyj@30-5-253.wireless.csail.mit.edu) has joined #dig
13:23:12 [harveyj]harveyj has quit (Client Quit)
13:25:20 [lkagal]lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
13:27:58 [yosi_s]yosi_s (n=chatzill@w3cdhcp27.w3.org) has joined #dig
13:41:15 [harveyj]harveyj (n=harveyj@30-5-253.wireless.csail.mit.edu) has joined #dig
14:32:53 [crowell]crowell (n=crowell@SLUGWIKI.MIT.EDU) has joined #dig
14:46:01 [yuhsin]yuhsin is now known as evoli
14:54:28 [lkagal]lkagal has quit ()
14:55:29 [harveyj]harveyj has quit ()
15:04:30 [lkagal]lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
15:44:27 [yosi_s]lkagal, I eagerly await more testcases that I have broken
15:54:06 [lkagal]Yosi, the proof I was trying to generate was not one of the testcases. Do you want to take a look at that anyway ?
15:54:14 [yosi_s]yes
15:54:19 [lkagal]I'm trying to recreate Vlad's result. Something seems to be missing.
16:02:58 [ryanlee]ryanlee (n=ryanlee@c-65-96-190-159.hsd1.ma.comcast.net) has joined #dig
16:46:55 [lkagal]lkagal has quit (Remote closed the connection)
16:47:50 [lkagal]lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
16:53:05 [lkagal]lkagal has quit ()
18:43:49 [lkagal]lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
18:46:43 [lkagal]lkagal has quit (Client Quit)
18:57:55 [lkagal]lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
19:22:22 [amyvdh]amyvdh (n=chatzill@clancy.w3.org) has joined #dig
19:33:00 [yosi_s]DIGlogger, what do you do?
19:33:00 [yosi_s]I'm logging. Sorry, searching removed.
19:39:52 [tlr]tlr has quit ("leaving")
19:52:57 [timbl_]timbl_ (n=timbl@146-115-112-112.c3-0.lex-ubr1.sbo-lex.ma.cable.rcn.com) has joined #dig
19:55:53 [lkagal]lkagal has quit (Read error: 110 (Connection timed out))
20:03:13 [timbl]timbl has quit (Read error: 110 (Connection timed out))
20:16:28 [amyvdh]amyvdh has quit ("ChatZilla 0.9.61 [Mozilla rv:1.7.3/20040910]")
20:28:05 [RalphS]RalphS has quit ("bye for today")
21:09:25 [lkagal]lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
21:10:16 [yosi_s]yosi_s has quit (Remote closed the connection)
22:22:46 [claudiof]claudiof has quit (Read error: 110 (Connection timed out))
22:31:07 [lkagal]lkagal has quit ()
23:21:10 [evoli]evoli has quit ("Leaving")