Tootfinder

from my link log —
Adding lookbehinds to Rust’s regex crate.
https://systemf.epfl.ch/blog/rust-regex-lookbehinds/
saved 2025-07-15

Adding lookbehinds to rust-lang/regex – SYSTEMF @ EPFL
An annotated guide to adding captureless lookbehinds to the Rust linear-time regex engine.

from my link log —
RE#: high performance derivative-based regex matching with intersection, complement, and lookarounds.
https://arxiv.org/abs/2407.20479
saved 2025-04-17

RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds
We present a tool and theory RE# for regular expression matching that is built on symbolic derivatives, does not use backtracking, and, in addition to the classical operators, also supports complement, intersection and lookarounds. We develop the theory formally and show that the main matching algorithm has input-linear complexity both in theory as well as experimentally. We apply thorough evaluation on popular benchmarks that show that RE# is over 71% faster than the next fastest regex engine …

Apropos of last weekends #emacs hacking. How many times would you ask an #llm to generate a #regex for you before you give up and just use a

Sometimes I realize LLMs were trained on this and I can’t tell if it’s good or bad
https://stackoverflow.com/questions/1732348/regex-match-open-tags-except-xhtml-self-contained-tags

"Instead of using regex, the Lua string library has a special set of characters..."
🫤

Yay, I finally figured out how to build HTML documentation of my custom :nixos: #NixOS options. 🥳
Some thoughts:
- It still contains *all* normal NixOS options (it's a 13MB HTML file...)
- I don't see a way to filter for only my custom options - be it just by regex for example
- It's the documentation of *possible* options, doesn't include the actually chosen val…

📝 `nix build .#docs` now builds a HTML with NixOS options config (including custom ones) (b7be1d09) · Commits · Yann Büchau / 📦 Yanns NixOS Config · GitLab
My NixOS Config

CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward
Shudong Liu, Hongwei Liu, Junnan Liu, Linchen Xiao, Songyang Gao, Chengqi Lyu, Yuzhe Gu, Wenwei Zhang, Derek F. Wong, Songyang Zhang, Kai Chen
https://arxiv.org/abs/2508.03686

CompassVerifier: A Unified and Robust Verifier for LLMs Evaluation and Outcome Reward
Answer verification is crucial not only for evaluating large language models (LLMs) by matching their unstructured outputs against standard answers, but also serves as the reward model to guide LLM optimization. Most evaluation frameworks rely on regularized matching or employ general LLMs for answer verification, which demands extensive, repetitive customization for regex rules or evaluation prompts. Two fundamental limitations persist in current methodologies: 1) the absence of comprehensive …

from my link log —
The one-more-re-nightmare regex engine for Common Lisp.
https://applied-langua.ge/posts/omrn-compiler.html
saved 2025-06-24