Regular-expression derivatives reexamined [pdf] | Hacker News Reader