13:48:21 <RRSAgent> RRSAgent has joined #ixml
13:48:26 <RRSAgent> logging to https://www.w3.org/2024/06/11-ixml-irc
13:48:54 <Steven> Meeting: ixml bi-weekly conference call
13:49:03 <Steven> https://lists.w3.org/Archives/Public/public-ixml/2024Jun/0001
13:49:14 <Steven> Previous meeting: https://www.w3.org/2024/04/30-ixml-minutes
13:49:19 <Steven> rrsagent, make minutes
13:49:21 <RRSAgent> I have made the request to generate https://www.w3.org/2024/06/11-ixml-minutes.html Steven
13:49:44 <Steven> rrsagent, make logs public
13:49:48 <Steven> rrsagent, make minutes
13:49:49 <RRSAgent> I have made the request to generate https://www.w3.org/2024/06/11-ixml-minutes.html Steven
13:50:18 <Steven> Agenda: https://lists.w3.org/Archives/Public/public-ixml/2024Jun/0001
13:50:19 <Steven> rrsagent, make minutes
13:50:21 <RRSAgent> I have made the request to generate https://www.w3.org/2024/06/11-ixml-minutes.html Steven
13:50:32 <Steven> Chair: Steven
13:50:49 <Steven> rrsagent, make minutes
13:50:50 <RRSAgent> I have made the request to generate https://www.w3.org/2024/06/11-ixml-minutes.html Steven
13:55:32 <norm> norm has joined #ixml
13:59:24 <john> john has joined #ixml
14:02:57 <cmsmcq> cmsmcq has joined #ixml
14:03:04 <Steven> Present: Bethan, John, Michael, Norm, Steven
14:03:43 <Steven> Topic: Prague
14:03:51 <Steven> Norm: interesting talks.
14:04:12 <Steven> Steven: 4 talks on ixml. Which was great.
14:04:47 <Steven> ... I liked how Ari used ixml to deconstruct VINs.
14:05:40 <Steven> Topic: Review of agenda
14:06:04 <Steven> Steven: No cahnges
14:06:06 <Steven> Topic: Previous Actions
14:06:36 <Steven> Michael ACTION 2023-01-10-f has some movement, but nothing to report yet
14:07:00 <Steven> Steven: ACTION 2024-03-05-c continues
14:07:43 <Steven> Steven: ACTION 2024-03-19-a Norm sent a message about this, so this action is now active, and Steven has to get W3C to do something
14:08:07 <Steven> Michael: ACTION 2024-04-16-a Nothing to report
14:08:19 <Steven> Norm: ACTION 2024-04-16-b, closed
14:08:36 <Steven> Norm: ACTION 2024-04-16-c closed
14:08:56 <Steven> Michael: I think the idea was to make the URL return something.
14:09:01 <Steven> Norm: Cannot do.
14:09:50 <Steven> Norm: ACTION 2024-04-30-a is completed, and just posted, let's discuss next time.
14:10:13 <Steven> Bethan: ACTION 2024-04-30-b continues
14:10:22 <Steven> Topic:  Status reports
14:15:34 <Steven> Steven: My paper at Prague provides plenty of work on my implementation, much of which is already working.
14:16:16 <Steven> Bethan: My implementation is still on my to be done list.
14:17:13 <Steven> Michael: I've been doing work on the algorithm I have for enumerating all the trees in a parse forest.
14:17:43 <Steven> ... Every tree has a numeral, and you can order them all, gives a total order, and you can get the next tree, even if infinite forest.
14:18:09 <Steven> ... I have figured out how to work out which numerals denote trees.
14:18:22 <Steven> Norm: We need to talk. I have something similar.
14:18:34 <Steven> ... and this might speed it up.
14:20:25 <Steven> Topic Issue 250 In spec grammar, alias delimiter ">" should be hidden
14:20:35 <Steven> s/Topic/Topic:
14:20:50 <Steven> Steven: You are right.
14:21:20 <Steven> ACTION: Steven to correct
14:22:37 <Steven> Norm: Bad we didn;t notice it
14:22:40 <Steven> s/;/'/
14:22:59 <Steven> ACTION: Norm to add tests for new spec grammar features
14:23:39 <Steven> Topic: Issue #246 (linebreak tests needed) requires a volunteer
14:23:49 <Steven> Action: Norm to write linebreak tests
14:28:11 <Steven> Topic:  Issue #234 Alternative syntaxes for prolog
14:28:20 <Steven> Michael: Is this still an issue for you Steven
14:28:23 <Steven> Steven: Yes
14:28:38 <Steven> Norm: Since I've just posted something about this maybe we should delay.
14:29:56 <Steven> Steven: My main problem is that the prolog now looks too much like a rule.
14:30:30 <Steven> ... If it started with *any* other character than a letter, I would be happy
14:31:27 <Steven> ... such as (
14:34:05 <Steven> Michael: Let us pause this for two weeks.
14:34:12 <Steven> Norm: Agree
14:34:34 <Steven> Topic:  Issue #252 Er, where are the authoritative versions of ixml.ixml and ixml.xml?
14:34:34 <Steven>         https://github.com/invisibleXML/ixml/issues/252
14:35:07 <Steven> Michael: I found them by following the links from the spec
14:35:16 <Steven> ... they should be better advertised.
14:35:49 <Steven> ... and they should be in the repo
14:36:10 <Steven> Norm: There is a reason that they aren't because they are generated from the repo
14:36:37 <Steven> John: XPath has a way of dealing with this
14:37:01 <norm> https://www.w3.org/TR/xpath-31/
14:37:24 <Steven> Norm: THis is a different issue
14:37:29 <Steven> s/TH/Th/
14:37:51 <Steven> Steven: We have a link, but we don;t expose the URL of that link.
14:37:56 <Steven> s/;/'/
14:39:11 <Steven> Michael: If at the front matter we provide links to resources, including the grammars, that would be useful
14:40:02 <Steven> ... I would also suggest that we add those pointers to the readme file in the repo
14:40:17 <Steven> ACTION MSM: Create a pull request for links to the grammar
14:40:39 <Steven> Norm: Make it more like a W3C spec
14:40:55 <Steven> ACTION: Norm make the spec more like a W3C report
14:42:39 <Steven> Topic:  Issue #249 A subtraction operator
14:42:40 <Steven>         https://github.com/invisibleXML/ixml/issues/249
14:43:02 <Steven> John: I need to express this.
14:43:20 <Steven> ... Michael has a technique to do this, but it is expensive
14:44:05 <Steven> ... ... I have an implementation
14:44:20 <Steven> ... it needs more exploration.
14:45:11 <Steven> Steven: I would like more detail about its generality wrt to Early and other parsers.
14:45:46 <Steven> ... a paper might be a good way
14:46:09 <Steven> Michael: We have a choice operator for alternatives
14:46:46 <Steven> ... the meaning of a;b is a set of strings, the union of the two sets
14:47:23 <Steven> ... this is just a set subtraction operator
14:50:12 <Steven> ... in terms of an (Early) parser, it requires a little more work. So a -| b parses against a and b, so I believe there is modest extra work in constructing the tree
14:51:38 <Steven> ... after parsing a;b you can create a tree that contains a or b
14:54:16 <Steven> .... with a -| b you'll look for a and b, there are 4 cases: a and no b gives an a tree, an a and a b, the rule doesn't match, no a and a b, not valid, similarly no a and no b.
14:54:23 <Steven> Steven: So you need an a and no b.
14:54:36 <Steven> Michael: Correct.
14:55:28 <Steven> Michael: A topic of concert, if a and b are regular than a-|b is regular.
14:55:49 <Steven> ... but if either is contect-free, it does affect decideability I fear.
14:56:01 <Steven> s/contect/context/
14:56:25 <Steven> Topic: AOB
14:56:44 <Steven> Steven: Next call 25th
14:57:00 <Steven> [ADJOURN]
14:57:05 <Steven> rrsagent, make minutes
14:57:06 <RRSAgent> I have made the request to generate https://www.w3.org/2024/06/11-ixml-minutes.html Steven
14:58:19 <Steven> s/cahnges/changes
14:58:43 <Steven> s/Michael ACTION 2023-01-10-f /Michael: ACTION 2023-01-10-f
15:00:25 <Steven> s/Early/Earley
15:01:21 <Steven> s/concert/concern
15:01:41 <Steven> s/regular than/regular then
15:01:52 <Steven> rrsagent, make minutes
15:01:53 <RRSAgent> I have made the request to generate https://www.w3.org/2024/06/11-ixml-minutes.html Steven