On: Triplebyte expands its recruiting platform beyond ...

[thaumasiotes]

I used the dragon book (2nd edition) - https://www.amazon.com/Compilers-Principles-Techniques-Tools...

That proof isn't a problem in the book; it's mentioned, with a hint for those inclined to derive it themselves, in the running text.

[bogomipz → thaumasiotes]

Thanks