IRC log of dig on 2006-09-07
Timestamps are in UTC.
- 00:23:25 [djweitzner]
- djweitzner (n=djweitzn@pool-70-108-182-109.washdc.east.verizon.net) has joined #dig
- 00:29:01 [djweitzner]
- djweitzner has quit (Read error: 104 (Connection reset by peer))
- 01:05:50 [lkagal]
- lkagal (n=lkagal1@98.68.171.66.subscriber.vzavenue.net) has joined #dig
- 01:48:26 [Biblio]
- Biblio (i=tehfil@200.49.140.95) has joined #dig
- 06:06:49 [eikeon_]
- eikeon_ has quit (Read error: 110 (Connection timed out))
- 06:33:46 [eikeon]
- eikeon (n=eikeon@dsl092-168-155.wdc2.dsl.speakeasy.net) has joined #dig
- 08:05:28 [tlr]
- tlr (n=roessler@ip-83-99-50-11.dyn.luxdsl.pt.lu) has joined #dig
- 11:15:25 [Biblio]
- Biblio has quit (Read error: 113 (No route to host))
- 11:58:08 [RalphS]
- RalphS (n=swick@31-33-217.wireless.csail.mit.edu) has joined #dig
- 12:27:24 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 13:32:55 [minjod]
- minjod (n=angry@lan-84-240-12-80.vln.skynet.lt) has joined #dig
- 14:24:01 [jfisteus]
- jfisteus (i=jaf@30-6-86.wireless.csail.mit.edu) has joined #dig
- 14:28:53 [lkagal]
- lkagal has quit ()
- 14:34:14 [timbl]
- timbl has quit ()
- 14:43:00 [ryanlee]
- ryanlee (n=ryanlee@30-7-213.wireless.csail.mit.edu) has joined #dig
- 14:44:43 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 14:52:50 [timbl]
- timbl has quit ()
- 14:53:54 [harveyj]
- harveyj (n=harveyj@30-5-107.wireless.csail.mit.edu) has joined #dig
- 14:55:15 [DanC]
- yosi, did you see my message about @forSome in proofs? http://lists.w3.org/Archives/Public/public-cwm-talk/2006JulSep/0009.html
- 14:55:20 [DanC]
- timbl, please take a look
- 15:00:01 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 15:04:26 [timbl]
- There is a TAMI meeting now?
- 15:04:40 [timbl]
- In what room?
- 15:05:32 [timbl]
- Hal has not been seen today.
- 15:05:38 [djweitzner]
- djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
- 15:05:54 [timbl]
- Gerry says he fughting fires and will be ~30mins late
- 15:06:07 [timbl]
- There is a TAMI meeting?
- 15:07:00 [timbl]
- djweitzner?
- 15:07:30 [harveyj]
- there's a tami meeting
- 15:07:34 [djweitzner]
- hi tim
- 15:07:40 [harveyj]
- i'm alone in 531 right now
- 15:08:47 [djweitzner]
- Tim, are attending TAMI?
- 15:09:41 [timbl]
- I didn't spot the room change.
- 15:09:47 [timbl]
- I will be up shortly
- 15:09:58 [lkagal]
- lkagal (n=lkagal1@30-5-242.wireless.csail.mit.edu) has joined #dig
- 15:10:08 [timbl]
- timbl has quit ()
- 15:10:23 [djweitzner]
- great
- 15:13:42 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 15:59:20 [minjod]
- minjod has quit ("none")
- 16:20:10 [timbl]
- timbl has quit ()
- 16:20:23 [harveyj]
- harveyj has quit ()
- 16:32:11 [yosi_s]
- yosi_s (n=chatzill@w3cdhcp27.w3.org) has joined #dig
- 16:33:55 [DanC]
- lkagal, I also sent mail to paw-team... "But I can't get it to work on any PAW proofs."
- 16:34:31 [DanC]
- a couple weeks ago, in a DIG meeting, when I said I thought PAW was stalled, you said you and Yosi and Daniel K. had sync'd up. I'd like a pointer to the bits you sync'd on.
- 16:34:49 [DanC]
- hmm... you're prolly at lunch, aren't you?
- 16:35:07 [lkagal]
- Looking for appropriate links...
- 16:36:35 [DanC]
- cool.
- 16:36:57 [DanC]
- I'm particularly interested in a pointer to the current judy-proof, I think
- 16:37:12 [DanC]
- I can imagine that it's not checked in, since engine.py generates it on the fly
- 16:37:36 [DanC]
- it's easier for me to work at the cwm command-line level than with engine.py, today
- 16:38:02 [lkagal]
- DanC, here's the current request, policy, proof that works in PAW : http://dig.csail.mit.edu/2006/06/rein/
- 16:38:39 [DanC]
- hmm... I was there last night...
- 16:38:46 [lkagal]
- Actually, though cwm supports Example 1, engine.py implements only Example 2
- 16:39:11 [DanC]
- cwm supports http://dig.csail.mit.edu/2006/06/rein/example/judy.proof ? I couldn't get check.py to work on it.
- 16:39:48 [DanC]
- Proof failed: Extraction {{2} log:implies {6}}=
- 16:39:49 [DanC]
- ... etc.
- 16:40:16 [DanC]
- I just reproduced the problem now
- 16:40:24 [DanC]
- yosi_s, does it work for you?
- 16:41:27 [yosi_s]
- DanC, what exactly is the case?
- 16:41:50 [DanC]
- :~/w3ccvs/WWW/2000/10/swap$ PYTHONPATH=$swap/.. python check.py http://dig.csail.mit.edu/2006/06/rein/example/judy.proof
- 16:41:53 [lkagal]
- Have you checked out the paw tagged version of cwm ?
- 16:42:01 [DanC]
- no
- 16:42:10 [DanC]
- I wasn't aware there was such a thing
- 16:42:58 [DanC]
- for reference, judy.proof is Last-Modified: Mon, 10 Jul 2006 21:56:02 GMT Content-Length: 283279
- 16:47:15 [yosi_s]
- DanC, I don't know what generated that proof
- 16:47:27 [yosi_s]
- check.py seems to have found a real issue
- 16:47:46 [yosi_s]
- the files referenced have changed too much since the proof was generated
- 16:47:58 [yosi_s]
- so when it verifies parsings, it failed
- 16:51:45 [yosi_s]
- I can't svn update on engine.py stuff
- 16:52:11 [yosi_s]
- the version I have does not have any changes from my last conversation with eikeon
- 16:52:59 [tlr]
- tlr has quit ("leaving")
- 16:54:59 [tlr]
- tlr (n=roessler@ip-83-99-50-11.dyn.luxdsl.pt.lu) has joined #dig
- 16:59:54 [yosi_s]
- lkagal, the files on the web changed
- 17:00:01 [yosi_s]
- that's why things broke
- 17:00:34 [yosi_s]
- DanC, I think I have a fix for your formula break-up problem
- 17:00:39 [yosi_s]
- yosi_s has quit ("Chatzilla 0.9.72 [Firefox 1.5.0.4/2006060216]")
- 17:01:22 [DanC]
- cool, yosi_s!
- 17:04:26 [djweitzner]
- djweitzner has quit ()
- 17:05:51 [timbl]
- timbl (n=timbl@30-7-140.wireless.csail.mit.edu) has joined #dig
- 17:06:26 [lkagal]
- Yosi, I haven't committed any changes to the PAW examples since July, have you ?
- 17:17:34 [djweitzner]
- djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
- 18:07:34 [DanC]
- ah, got your message about the sync, lkagal
- 18:10:41 [djweitzner]
- djweitzner has quit ()
- 18:14:07 [djweitzner]
- djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
- 18:27:53 [DanC]
- yosi, I don't see any commits from you. ETA?
- 18:30:17 [djweitzner]
- Tim?
- 19:11:17 [DanC_lap]
- DanC_lap (n=connolly@64-126-89-30-dhcp-kc.everestkc.net) has joined #dig
- 19:22:12 [djweitzner]
- djweitzner has quit ()
- 19:26:09 [tlr]
- tlr has quit ("leaving")
- 19:32:20 [djweitzner]
- djweitzner (n=djweitzn@pool-70-108-151-162.washdc.east.verizon.net) has joined #dig
- 19:38:13 [tlr]
- tlr (n=roessler@ip-83-99-50-11.dyn.luxdsl.pt.lu) has joined #dig
- 20:22:19 [RalphS]
- RalphS has quit ("bye for today")
- 20:24:33 [djweitzner]
- djweitzner has quit ()
- 21:16:49 [timbl]
- Danny?
- 21:35:24 [jfisteus]
- jfisteus has left #dig
- 21:38:15 [tlr]
- tlr has quit ("leaving")
- 23:11:03 [timbl]
- timbl has quit ()
- 23:28:08 [lkagal]
- lkagal has quit ()