PCRE2 reimplementation in Verus Rust has bugs you can't file upstream issues for
jd_pressman · x · 2026-10-30
- Developer jdpressman revealed the regex library in question isn't upstream PCRE2 but a reimplementation in Verus (formally verified Rust).
- Since it's not an upstream dependency, discovered bugs can't be filed as issues there; the thread also touched on whether a PBT/fuzzing setup exists for such code.
- The author quipped that the bugs starting to amuse him is probably a good sign.
More from coding & agent
- Developer merges 3,033 PRs in a week at ~$11 per PR with agentic engineering — 0xkarasy · 2026-10-30
- Dev shows Hermes delegation routes: cost-weighted routing across six models per task type — intellectronica · 2026-10-30
- Lenovo ThinkSmart View boots mainline Linux 7.x, turning the $30 device into a Claude/OpenAI speaker — DavidBennett__ · 2026-10-30
- Physio student vibe-codes a full rugby club S&C app with Claude — Efficient-Rooster688 · 2026-10-30
- Building an enterprise MCP gateway with Azure APIM and Entra: per-client read/write control — Short-Legs-Long-Neck · 2026-10-30
- How an engineer broke the x402 agent payment protocol 20 ways, including a 10x overcharge — AI Engineer · 2026-10-30