<DanC> guys, timbl has our meeting scheduled for 1pmET today.
<vlatko> it was resolved to meet at 11 in the minutes, right
<vlatko> i vote to wait for timbl
<vlatko> my preference is to put paw demo item / proofs as first item on the agenda (because I will have to leave at 1:30)
<eikeon_> I committed http://www.policyawareweb.org/2005/pf-dev/03-09-paw-minutes and the raw irc.txt from last telcon
<eikeon_> minutes 9 Mar
<yosi_s> I will be gone at 1pm ET
<eikeon_> And a bigger issue... the delay seems to be really big... I'm getting "Repository revision: 1.6 /sources/public/2000/10/swap/pycwmko.py,v" but the latest version is 1.11
<eikeon_> Version 1.6 is from "Mon Aug 29 20:22:13 2005"
<eikeon_> Hum... I'm now getting version 1.11
<DanC> get around the delay... well... not really. you can get the latest bits by http, but I doubt that helps much
<DanC> it's also possible for you to get W3C account privileges to cvs commit to swap like yosi does. it's a bit of a hassle
<eikeon_> Any ideas why cvs update wasn't getting me the same bits as a whole new cvs co
<DanC> not off the top of my head (which is clouded with a headcold and umpteen concurrent tasks)
<eikeon_> Looks like pycwmko.py somehow had a Sticky Tag set -- I've not been setting any sticky tags :|
<DanC> cvs update -A
<DanC> ^ clears stick tags
<eikeon_> We've tested pycwmko on my box... am getting different results than Vlad, but we can not track down why.
<DanC> eikeon_, can you pick up the SXIP stuff and install it and try it out? I didn't see python code, but I saw java and I think perl and php.
<eikeon_> I didn't see Python code for SXIP either and a quick google search didn't return anything for it.
<eikeon_> I can pull down one of the versions and give it a try.
<DanC> my preference is: python, java, php, perl
<DanC> my blog is in php
<DanC> lots of list archives are in python
<DanC> java norms include interfaces, exceptions, threads, and unit testing
<DanC> perl has no redeeming values other than wide deployment. ;-)
<vlatko> i've added a pychinko directory in swap which contains the lightweight rete engine, can someone please try to run it
<vlatko> cwm.py /test/rete/simple.n3 --rete
<vlatko> cwm.py test/rete/simple.n3 --rete
<vlatko> eikeon_ is getting different results because he is on CVS delay
<vlatko> what's the pass code? 79296 doesnt seem to work
<timbl> Do w have a bridge?
<amyvdh> i'm looking at that right now
<timbl> I can't find a record of our moving this to 1pm. I had it at 1pm in my calendar
<timbl> Who is here and coudl dial in if/when we get a bridge?
<amyvdh> passcode 79296 SWCWM should work now
<timbl> Thanks, Amy
<amyvdh> sure
<amyvdh> ping me if you need anything
<vlatko> i can stay till 1:45, have DMV appointment
<timbl> Ok, let's aim for 30 mins
<DanC> can you accept my regrets for the rest of this meeting?
<eikeon_> Next meeting 2006-04-06 @ 11:00 ?
<timbl> Er... Ok, but can you make 11:00 Thursday Aprul 6?
<timbl> Danc
<timbl> ?
<DanC> april 6... I'm at risk. might be taking that day off. but I'll put it on my calendar.
<DanC> http://calendar.sidekick.dngr.com/event?id=4654&event-date=2006-04-06 is in my calendar, but with lots of other stuff. at risk.
Vlad: At teh previous meeting,
ysoi got it running wiht --rete; no teh pychinko code is in the
CWM cvcs
... Also realize we don't have to copy between the two
enegines....... we just copy at the beginning and end will
work.
<timbl> test/rete
<eikeon_> cwm.py test/rete/simple.n3 --rete
<vlatko> cwm.py test/rete/simple.n3 --rete
<timbl> :Jim :ancestor :Michael .
<timbl> :John :ancestor :Jim,
<timbl> :Michael .
<timbl> Ezxcellent
<timbl> test/rete/detailed.tests
<timbl> cd test
<DanC> (did anybody accept scribe duties for this meeting?)
<timbl> python retest.py rete/detailed.tests
<timbl> I kinda did
<timbl> NameError: global name 'pychinko' is not defined
<timbl> File "/devel/WWW/2000/10/swap/pychinko/builtins.py", line 55, in __init__
<timbl> pychinko.nodes.AlphaNode.__init__(self, pattern)
<timbl> ACTION: Vlad to Send mail to public-cwm-announce@w3.org about the inclusion of the rete as an alpha test, test users welcome
<timbl> ACTION: Tim and Vlad talk 5pm Tuesday 28th. about proofs in cwm
<timbl> Daniel: The test-rein of the pfproxy now we have got past the proof-cheking bugs: now we need to teak the policy again.
<eikeon_> "Proof failed: I cannot assume {6} "
<timbl> It gets it from eth web only becasue of a rul eit belives
<eikeon_> """
<eikeon_> Traceback (most recent call last):
<eikeon_> File "pfproxy.py", line 456, in ?
<eikeon_> _testRein()
<eikeon_> File "pfproxy.py", line 446, in _testRein
<eikeon_> result = check.valid(proof, truth=trusted)
<eikeon_> File "/Users/eikeon/2000/10/swap/check.py", line 339, in valid
<eikeon_> g1 = valid(proof, e, truth, level)
<eikeon_> File "/Users/eikeon/2000/10/swap/check.py", line 298, in valid
<eikeon_> f2 = valid(proof, e, truth, level)
<eikeon_> File "/Users/eikeon/2000/10/swap/check.py", line 440, in valid
<eikeon_> f2 = valid(proof, r2, truth, level)
<eikeon_> File "/Users/eikeon/2000/10/swap/check.py", line 286, in valid
<eikeon_> if not valid(proof, rule, truth, level):
<eikeon_> File "/Users/eikeon/2000/10/swap/check.py", line 440, in valid
<eikeon_> f2 = valid(proof, r2, truth, level)
<eikeon_> File "/Users/eikeon/2000/10/swap/check.py", line 461, in valid
<eikeon_> return fail("I cannot assume %s" % g)
<eikeon_> File "/Users/eikeon/2000/10/swap/check.py", line 54, in fail
<eikeon_> raise RuntimeError
<eikeon_> RuntimeError
<eikeon_> """
<timbl> At the top level, the things should be belivbefrom hte command line ,... but if the builtins log:semantics etc pick up a file then that needs no further justifications
<timbl> -v=50 output gives the progress of the proof
<eikeon_> http://www.policyawareweb.org/2005site/dev.html
<eikeon_> svn co svn+ssh://mindswap.org/home/svn/paw
<eikeon_> http://www.policyawareweb.org/2005/demo/pfproxy.py
<timbl> timbl@mindswap.org's password:
<timbl> no
<timbl> ACTION: Eikeon to Ask ron to copy TimBL's keys across from the pychinko space to the policyawareweb.org space
Eikeon: I have ben looking into XSIP recently, afetr prompting by DanC.
TimBL: How does it fit in? So a proof version?
Eikeon: We coudl maybe swap out plans to use OPpeId for XSIP instead.
Vlad: retest.py uses shell
commands
... and so it won';t work on Cygwin
<DanC> eikeon_, if you make any tangible progress on SXIP at all, please send mail to paw-team
<DanC> even if just to say "I downloaded some code and got it to run; not quite sure what it does yet"
<timbl> Scribe: TimBL
<scribe> Scribe: DanC