IRC log of dig on 2006-07-31

Timestamps are in UTC.

03:02:54 [timbl]
timbl (n=timbl@202.76.231.150) has joined #dig
11:02:51 [timbl]
timbl has quit ()
11:27:54 [timbl]
timbl (n=timbl@202.76.231.150) has joined #dig
12:12:03 [timbl]
timbl has quit (Read error: 110 (Connection timed out))
12:37:56 [DanC]
ah... the figures are there... I guess I should check in the lncs stuf...
12:43:01 [DanC]
Committed revision 1807
13:02:23 [djweitzner]
djweitzner (n=djweitzn@pool-70-108-233-162.washdc.east.verizon.net) has joined #dig
13:17:23 [tlr]
tlr (n=roessler@xdsl-87-78-78-241.netcologne.de) has joined #dig
13:33:28 [timbl]
timbl (n=timbl@202.76.231.196) has joined #dig
13:38:02 [yosi_s]
yosi_s (n=chatzill@w3cdhcp27.w3.org) has joined #dig
14:14:39 [timbl_]
timbl_ (n=timbl@202.76.231.196) has joined #dig
14:14:41 [timbl]
timbl has quit (Read error: 54 (Connection reset by peer))
14:16:23 [djweitzner]
Tim?
14:27:34 [timbl_]
timbl_ has quit (Read error: 104 (Connection reset by peer))
14:27:38 [timbl]
timbl (n=timbl@202.76.231.196) has joined #dig
14:44:36 [tlr]
tlr has quit (Read error: 104 (Connection reset by peer))
14:56:52 [timbl]
timbl has quit (Read error: 104 (Connection reset by peer))
14:57:11 [timbl]
timbl (n=timbl@202.76.231.196) has joined #dig
14:57:23 [timbl]
djweitzner?
14:57:28 [timbl]
danny?
14:57:42 [DanC]
djweitzner is finishing a telcon
14:59:04 [timbl]
11pm -- 12 hours out from ET
15:00:20 [yosi_s]
* * * you are feeling sleepier and sleepier * * *
15:00:35 [timbl]
*clunk*
15:01:20 [DanC]
I made some progress on tab.tex; nothing earth-shattering. thanks for checking in the images; I checked in the llncs files
15:03:10 [timbl]
I have done 80% of a http://DesignIssues/LinkedData ... overdue, comments welcome. Not published yet
15:03:20 [timbl]
s/published/linked from anywhere else/
15:40:14 [timbl]
timbl is now known as timbl_zzz
15:41:01 [timbl_zzz]
timbl_zzz has quit ()
15:41:42 [timbl]
timbl (n=timbl@202.76.231.196) has joined #dig
16:49:58 [djweitzner]
djweitzner has quit ()
17:46:42 [alerer]
alerer (i=markus@30-6-168.wireless.csail.mit.edu) has joined #dig
18:13:22 [ryanlee]
ryanlee (n=ryanlee@WHITAKER-ELEVEN-SIXTY-THREE.MIT.EDU) has joined #dig
19:30:27 [ryanlee]
ryanlee has quit ()
20:04:26 [djweitzner]
djweitzner (n=djweitzn@pool-71-252-1-250.washdc.east.verizon.net) has joined #dig
20:23:53 [lkagal]
yosi_s ?
20:24:08 [yosi_s]
yes?
20:24:36 [lkagal]
I'm looking at cwm --help for the argument for making cwm generate all the gives but can't find it. Is it --why=g ?
20:25:18 [yosi_s]
yes
20:25:27 [lkagal]
Thanks, just checking.
20:38:26 [ryanlee]
ryanlee (n=ryanlee@c-65-96-190-159.hsd1.ma.comcast.net) has joined #dig
20:57:55 [djweitzner]
djweitzner has quit ()
21:20:13 [lkagal]
yosi_s, the --why=g does not seem to be generating gives for Inferences which are components of Conjunctions. Could you take a look please ? This is what I get : http://dig.csail.mit.edu/TAMI/lkagal/abstractions/trans-prop.proof. The rules are http://dig.csail.mit.edu/TAMI/lkagal/abstractions/trans-prop.n3
21:37:44 [yosi_s]
e-mail me, I'll get back to you
21:38:46 [yosi_s]
yosi_s has quit ("Chatzilla 0.9.72 [Firefox 1.5.0.4/2006060216]")
22:16:05 [sheets]
sheets (n=dsheets@EASTMAN-FOUR-NINETY-TWO.MIT.EDU) has joined #dig
22:16:33 [alerer]
alerer has quit (Read error: 110 (Connection timed out))
22:19:56 [DanC]
pretty good successive elaboration
22:20:38 [DanC]
might be worth elaborating on the foaf mboxsha1sum privacy thingy a bit; it's not essential to this topic, but it might be essential to keep from scaring people away
22:21:16 [DanC]
"(running in Firefox)" stick out awkwardly. maybe "running in a suitable browser"
22:21:31 [DanC]
or "running in a browser with suitable javascript and DOM support"
22:44:55 [ryanlee]
ryanlee has quit ()
23:42:39 [djweitzner]
djweitzner (n=djweitzn@pool-70-108-201-216.washdc.east.verizon.net) has joined #dig