News for hackers. Stuff that matters.
Re:Speed of Rust vs. C by burntsushi on Monday March 15, 2021 @05:25PM (#26469287)
Indeed. And in the regex crate and RE2, for example, captures are only implemented in the "NFA" engines (specifically, the PikeVM and the bounded backtracker). So if you support captures, then those engines have to be able to support everything.
Re:Speed of Rust vs. C by tsegratis on Tuesday March 16, 2021 @06:00AM (#26474790)
Can I ask; what about a zdd?

The seem similar to closed languages with a disjunct and conjunct

Though I don't think I will, I was considering adding zdd or bdd to a PEG, to provide that conjunct

ofc, sat solver can represent a regex with conjuncts, but is this a good way of going about it, particularly with unbounded strings??

Would love to hear your thoughts on that