IRC log of ixml on 2024-06-11

Timestamps are in UTC.

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