On: RE#: High performance derivative-based regular expression matching (2024)

The claim here wasn't just "first implementation of derivatives." It was a far more precise "first industrial implementation of derivatives for standard regexes in an imperative language."