2025-11-28 18:16:53
Regex is kind of a nightmare, but it's so satisfying when it finally works.
Regex is kind of a nightmare, but it's so satisfying when it finally works.
from my link log —
Solving regex crosswords with Z3.
https://blog.nelhage.com/post/regex-crosswords-z3/
saved 2025-10-21 https://
@… #AskFedi I need a regex (for Discord’s AutoMod) that prevents any text in all Unicode “fonts” from being sent. By “Unicode fonts” I mean things like these:
you can bring down 20% of the internet with a single-character typo in a regex, but you can also destroy a nearly 50 year old bridge with a single incorrectly placed piece of heatshrink
isn't technology beautiful
https://blog.cloudflare.com/details-of-t…
Oh, how glad I am that I told Claude (command-line version) about `rename -n`. Seeing it iterate over half a dozen different regex patterns that might do what I wanted it to do, but were not quite right … lucky it could spot its errors before running the real thing.
Repairing Regex Vulnerabilities via Localization-Guided Instructions
Sicheol Sung, Joonghyuk Hahn, Yo-Sub Han
https://arxiv.org/abs/2510.09037 https://arxi…
Hypergraph-Guided Regex Filter Synthesis for Event-Based Anomaly Detection
Margarida Ferreira, Victor Nicolet, Luan Pham, Joey Dodds, Daniel Kroening, Ines Lynce, Ruben Martins
https://arxiv.org/abs/2509.06911
100k most used passwords
These are the latest 100k most insecure used (hacked?) passwords. I wonder why at least a minimal regex the first hurdle can stand in the way of the attackers, i.e. apparently has not yet been widely implemented? Am I wrong, or are there reliable sources?
💥
RegexPSPACE: A Benchmark for Evaluating LLM Reasoning on PSPACE-complete Regex Problems
Hyundong Jin, Joonghyuk Hahn, Yo-Sub Han
https://arxiv.org/abs/2510.09227 https://…
I wish they'd either make Mastodon filters case-sensitive or allow regex
Regular Expression Indexing for Log Analysis. Extended Version
Ling Zhang, Shaleen Deep, Jignesh M. Patel, Karthikeyan Sankaralingam
https://arxiv.org/abs/2510.10348 https://
When you've had enough of automating every little thing and just want to get stuff done and end up manually generating a bunch of (very slow to generate) PDF plots, then concatenate all of them with #ghostScript, then extract the text with #pdf2txt, use a regex in Python to find some numbers and…
@…
EDIT: nevermind. I converted the references but I'm still open to feedback if you have any.
do you have any advice for me?
I'm surely doing something wrong.
https://