Separating Parsing Expression Grammars using Cell-Probe Lower Bounds · HackerPapers discussions

Separating Parsing Expression Grammars using Cell-Probe Lower Bounds — mentioned by pcfwik

Sat, 26 Sep 2026 15:53:03 GMT

If I understand correctly, one of the recent cool generative AI-assisted results is actually supposed to have closed this problem, complete with a Lean proof! https://arxiv.org/abs/2608.29592

Paper and discussion history. A mention is not an endorsement.

Separating Parsing Expression Grammars using Cell-Probe Lower Bounds — HN submission

Sat, 05 Sep 2026 14:23:31 GMT

Separating Parsing Expression Grammars Using Cell-Probe Lower Bounds

1 point; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.